cell    0  t in [0.24000,0.24100]  cert value <= 0.343498   R >= 0.356389   margin 0.012891
cell   40  t in [0.28000,0.28100]  cert value <= 0.320060   R >= 0.339369   margin 0.019309
cell   80  t in [0.32000,0.32100]  cert value <= 0.296635   R >= 0.323422   margin 0.026787
cell  120  t in [0.36000,0.36100]  cert value <= 0.273531   R >= 0.308493   margin 0.034961
cell  160  t in [0.40000,0.40100]  cert value <= 0.251042   R >= 0.294524   margin 0.043483
cell  200  t in [0.44000,0.44100]  cert value <= 0.231402   R >= 0.281460   margin 0.050059
cell  240  t in [0.48000,0.48100]  cert value <= 0.215313   R >= 0.269244   margin 0.053931
cell  280  t in [0.52000,0.52100]  cert value <= 0.201955   R >= 0.257819   margin 0.055864
cell  320  t in [0.56000,0.56100]  cert value <= 0.190744   R >= 0.247132   margin 0.056388
cell  360  t in [0.60000,0.60100]  cert value <= 0.181250   R >= 0.237130   margin 0.055880
cell  400  t in [0.64000,0.64100]  cert value <= 0.173151   R >= 0.227766   margin 0.054615
cell  440  t in [0.68000,0.68100]  cert value <= 0.166201   R >= 0.218992   margin 0.052791
cell  480  t in [0.72000,0.72100]  cert value <= 0.160208   R >= 0.210766   margin 0.050558
cell  520  t in [0.76000,0.76100]  cert value <= 0.155008   R >= 0.203046   margin 0.048038
ALL 560 CELLS VERIFIED (exact rational arithmetic).
worst cell 0: t in [0.24000,0.24100], value 0.343498, R 0.356389, margin 1.289e-02
worst certificate (l0, l1, l2, mu) = ['1086102588205062494985511889764254689/7726391960931095864489764254689000000000000', '1/8', '31284308225/222554065968', '197621119709/942923241348']
