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