P
Initializing...
Certified Syracuse descent on 13 progressions inside $n \equiv 27 \pmod{32}$ · Prove2Me