P
Initializing...
Every entry is at most $4$ in the no-four orbit-matrix case · Prove2Me