Sturm (Fractions) instead of Arb: cells 2373/2373 pass (2588096 half-line positivity proofs for W1, plus W2), comparison boxes 330/330 pass; 537 s
STURM RECHECK PASS

real	8m58.519s
user	50m24.383s
sys	0m0.331s
