u=0 I201 (0.25046,0.25236) ET_lo=5.1385e-02 tail=1.95e+00 lb in [-1.896598e+00, -1.896598e+00] rad 1.2e-34 FAIL
u=0 c=1 r=0 T=800 Dspan=60 intervals 201-201: certified min lower endpoint of lb = -1.896598e+00; fails = [201]
