P
Initializing...
Certified Syracuse descent on 26 progressions inside $n \equiv 15 \pmod{16}$ · Prove2Me