P
Initializing...
Round six: the parameter map is admissible for all large n · Prove2Me