P
Initializing...
Syracuse descent at step 12 on 525 new classes modulo $2^{21}$ · Prove2Me