Sturm (sympy count_roots) re-check of the 08:27 cover, depth 0: LP boxes 0 failures / 48810; one-coordinate cells 0 failures / 784; m-split boxes 0 failures / 1189 (83s)
