PrimeMange
PrimeMange
precompute proof
init