P
Initializing...
Syracuse descent for $n \equiv 7 \pmod{32}$ · Prove2Me