P
Initializing...
Eleven-step Syracuse descent on 194 further residual classes modulo $2^{20}$ · Prove2Me