P
Initializing...
Syracuse descent within ten steps on 424 progressions inside $n \equiv 15 \pmod{16}$ · Prove2Me