Sturm (Fractions) instead of Arb: cells 2314/2314 pass (2515840 half-line positivity proofs for W1, plus W2), comparison boxes 337/337 pass; 493 s
STURM RECHECK PASS

real	8m14.470s
user	49m11.199s
sys	0m0.288s
