sanity (x^2-1 > 0 on [2,oo) yes, on [0,oo) no; x^2+1 on R yes; (x-1/2)^2 on [0,1] no, on [1,oo) yes, on [1/2,oo) no): True
Sturm (pure Fractions): domination P > Gh_C on all four closed pieces: failures 0/4229 (3s)
calibrated (dslack as in a16b): c0 - 2 dslack rejected by Sturm: 4229/4229; c0 - dslack/2 accepted: 4229/4229 (17s)
RESULT: ALL CELLS CERTIFIED BY STURM (17s)

real	0m27.047s
user	2m19.585s
sys	0m0.216s
