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