P
Initializing...
An eight-vertex candidate counterexample to OPG-500 · Prove2Me