P
Initializing...
Remaining Syracuse descent classes congruent to 27 modulo 32, refined modulo 8192 · Prove2Me