u=0 I201 (0.25046,0.25236) ET_lo=5.1385e-02 tail=4.73e-02 lb in [4.087277e-03, 4.087277e-03] rad 8.3e-36 OK
u=0 c=1 r=0 T=800 Dspan=60 intervals 201-201: certified min lower endpoint of lb = 4.087277e-03; fails = []
