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