P
Initializing...
Propagation of a $\{0,2\}$-block along the second column · Prove2Me