P
Initializing...
Spencer's bound from the partial colouring step and the residual colouring · Prove2Me