Sturm (Fractions) instead of Arb: cells 2794/2794 pass (3140032 half-line positivity proofs for W1, plus W2), comparison boxes 339/339 pass (by kind {'comp3': [318, 318], 'comp8': [21, 21]}); 654 s
STURM RECHECK PASS

real	10m55.443s
user	65m16.463s
sys	0m0.472s
