P
Initializing...
Syracuse descent within ten steps on 155 progressions modulo $2^{16}$ · Prove2Me