Sturm (Fractions) instead of Arb: cells 2408/2408 pass (2639424 half-line positivity proofs for W1, plus W2), comparison boxes 345/345 pass; 514 s
STURM RECHECK PASS

real	8m35.354s
user	51m19.036s
sys	0m0.299s
