P

Initializing...

Dense-pool circuit packing (small-m): $m^4\le 2^{120}a^{28}n^3$ (Erdős 624 Round 9) · Prove2Me