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