Rop 368 Div prover