P
Initializing...
Three two-helper extensions of $(0,u)$, $u\equiv 3$, by $t\equiv 2 \pmod 4$ are never safe · Prove2Me