Rop 386 Div prover