All 10001 values agree modulo 2147483171.
Counts agree for k=0,...,10000 (10001 values).
