P
Initializing...
Syracuse descent at step 11 on 194 new classes modulo $2^{22}$ · Prove2Me