Rop 382 Div prover