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