Sturm (Fractions) instead of Arb: cells 3072/3072 pass (3438208 half-line positivity proofs for W1, plus W2), comparison boxes 1151/1151 pass; 940 s
STURM RECHECK PASS

real	15m41.229s
user	72m5.038s
sys	0m0.524s
