P
Initializing...
Certified exponent 2.006470828 for the depth-20 seed · Prove2Me