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