P
Initializing...
Counting obstruction: a counterexample has at least nine vertices · Prove2Me