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