P
Initializing...
Berlekamp–van Lint–Seidel graph: existence at $(243,22,1,2)$ · Prove2Me