  50/507 chunks, 68s, failures so far 0
  100/507 chunks, 128s, failures so far 0
  150/507 chunks, 186s, failures so far 0
  200/507 chunks, 241s, failures so far 0
  250/507 chunks, 306s, failures so far 0
  300/507 chunks, 362s, failures so far 0
  350/507 chunks, 417s, failures so far 0
  400/507 chunks, 473s, failures so far 0
  450/507 chunks, 536s, failures so far 0
  500/507 chunks, 597s, failures so far 0
polynomials: 1013217; exact ties: 1 [(618901, [7])]
piece checks: 7092512, Sturm fallbacks: 0, failures: 0, 607s
ALL CERTIFIED

real	10m6.933s
user	80m1.137s
sys	0m2.707s
