WEIGHT I0201 greenW=9.072045e-01 excW=6.166e-12
PARTS I0201 absNmid/Dn_max=5.193361e-02 box=5.461e-04 width=2.775e-06 trunc=1.188e-11 green=4.729747e-02 exc=6.165931e-12 SA/Sw=0.0521 bound=phi
I0201 (0.25046,0.25236) ET_lo=5.1385e-02 tail=4.730e-02 lb in [4.087277e-03, 4.087277e-03] rad 3.8e-35 OK
u=0 c=1 r=0 T=800 Dspan=60 intervals 201-201: certified min lower endpoint of lb = 4.087277e-03; fails = []
