P
Initializing...
Adjacency-matrix form of Conway's 99-graph problem: $A^2+A=12I+2J$ · Prove2Me