P
Initializing...
s_c / W_c ≤ m^{τ50} · Prove2Me