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