beta in [0.01230,0.01385] ST_lo=0.92921 lb in [6.485191e-01, 6.485191e-01] OK
beta in [0.01385,0.01540] ST_lo=0.91519 lb in [6.089128e-01, 6.089128e-01] OK
beta in [0.01540,0.01695] ST_lo=0.90029 lb in [5.684246e-01, 5.684246e-01] OK
beta in [0.01695,0.01850] ST_lo=0.88466 lb in [5.272103e-01, 5.272103e-01] OK
beta in [0.01850,0.02005] ST_lo=0.86845 lb in [4.854182e-01, 4.854182e-01] OK
beta in [0.02005,0.02160] ST_lo=0.85181 lb in [4.431877e-01, 4.431877e-01] OK
beta in [0.02160,0.02315] ST_lo=0.83486 lb in [4.006465e-01, 4.006465e-01] OK
beta in [0.02315,0.02470] ST_lo=0.81771 lb in [3.579106e-01, 3.579106e-01] OK
beta in [0.02470,0.02625] ST_lo=0.80047 lb in [3.150833e-01, 3.150833e-01] OK
beta in [0.02625,0.02780] ST_lo=0.78323 lb in [2.722554e-01, 2.722554e-01] OK
beta in [0.02780,0.02935] ST_lo=0.76606 lb in [2.295055e-01, 2.295055e-01] OK
beta in [0.02935,0.03090] ST_lo=0.74905 lb in [1.869010e-01, 1.869010e-01] OK
beta in [0.03090,0.03245] ST_lo=0.73223 lb in [1.444984e-01, 1.444984e-01] OK
beta in [0.03245,0.03400] ST_lo=0.71566 lb in [1.023447e-01, 1.023447e-01] OK
beta in [0.03400,0.03555] ST_lo=0.69939 lb in [6.047794e-02, 6.047794e-02] OK
beta in [0.03555,0.03710] ST_lo=0.68342 lb in [1.892861e-02, 1.892861e-02] OK
T=16000 cells 16 on [123/10000, 371/10000] (exact rationals, covering [3^-4, 3^-3]): certified min lower endpoint of lb = 1.892861e-02; fails = []
