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