P
Initializing...
First-contraction quarter gap from a supplied numerical certificate · Prove2Me