Rop 384 Div prover