odd k in [7,201]: 98 values checked; failures of (C1)/(C2)/(C3): []; time 0.6s
odd k in [203,1001]: 400 values checked; failures of (C1)/(C2)/(C3): []; time 58.7s
