P
Initializing...
Collatz descent for $n \equiv 3 \pmod 4$ · Prove2Me