  50/507 chunks, 101s, failures 0
  100/507 chunks, 187s, failures 0
  150/507 chunks, 275s, failures 0
  200/507 chunks, 361s, failures 0
  250/507 chunks, 458s, failures 0
  300/507 chunks, 543s, failures 0
  350/507 chunks, 627s, failures 0
  400/507 chunks, 713s, failures 0
  450/507 chunks, 808s, failures 0
  500/507 chunks, 893s, failures 0
Sturm (all): 1013217 polynomials, 1 exact ties skipped, 7092512 piece checks, 0 failures, 906s
ALL CERTIFIED (Sturm)

real	15m6.675s
user	119m39.807s
sys	0m3.007s
