P
Initializing...
Collatz descent for $n \equiv 15 \pmod{16}$ · Prove2Me