P
Initializing...
Graph BSG with explicit bounds $\delta/8$ and $2^{13}K^3/\delta^5 + 2^{12}/\delta^5$ · Prove2Me