Sturm (Fractions) instead of Arb: cells 2621/2621 pass (2916416 half-line positivity proofs for W1, plus W2), comparison boxes 320/320 pass (by kind {'comp3': [320, 320]}); 599 s
STURM RECHECK PASS

real	9m59.930s
user	59m40.854s
sys	0m0.492s
