P

Initializing...

Line-system form of Conway's 99-graph problem: $99$ points, $231$ lines of size $3$ · Prove2Me