CRT reconstruction report
=========================
Range: k=0,...,10000, equivalently N=0,...,20000 over even N.
Prime moduli: 17.
CRT product: 527 bits.
p(20000): 507 bits.
The CRT reconstruction is unique because 0 <= a_N <= p(N).
