P
Initializing...
Residual Syracuse descent modulo $2^{16}$ after 155 further certified progressions · Prove2Me