P
Initializing...
Top-layer-free resilience on the full domain, $k\ge51$ (Erdős 624) · Prove2Me