P
Initializing...
Separation exponent at least $2.085$ via eight tournament layers · Prove2Me