P
Initializing...
Optimized Mermin equals optimized Bell · Prove2Me