P
Initializing...
Residual Syracuse descent inside $n \equiv 27 \pmod{32}$ modulo $2^{16}$ · Prove2Me