finished proving share1.bpl ,did not put all updates