Rop 380 Div prover