P

Initializing...

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