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