P
Initializing...
General-gap round count has affine-logarithmic controller form · Prove2Me