P
Initializing...
A cubic symmetric lower bound at total one · Prove2Me