P
Initializing...
Freiman lower construction: initial n base n14 · Prove2Me