Rop 383 Div prover