P
Initializing...
Certified exponent 2.000252407 for the depth-9 seed · Prove2Me