beta in [0.01230,0.01385] ST_lo=0.92921 lb in [7.845465e-01, 7.845465e-01] OK
beta in [0.01385,0.01540] ST_lo=0.91519 lb in [7.611427e-01, 7.611427e-01] OK
beta in [0.01540,0.01695] ST_lo=0.90029 lb in [7.373251e-01, 7.373251e-01] OK
beta in [0.01695,0.01850] ST_lo=0.88466 lb in [7.132577e-01, 7.132577e-01] OK
beta in [0.01850,0.02005] ST_lo=0.86845 lb in [6.890907e-01, 6.890907e-01] OK
beta in [0.02005,0.02160] ST_lo=0.85181 lb in [6.649589e-01, 6.649589e-01] OK
beta in [0.02160,0.02315] ST_lo=0.83486 lb in [6.409814e-01, 6.409814e-01] OK
beta in [0.02315,0.02470] ST_lo=0.81771 lb in [6.172612e-01, 6.172612e-01] OK
beta in [0.02470,0.02625] ST_lo=0.80047 lb in [5.938859e-01, 5.938859e-01] OK
beta in [0.02625,0.02780] ST_lo=0.78323 lb in [5.709281e-01, 5.709281e-01] OK
beta in [0.02780,0.02935] ST_lo=0.76606 lb in [5.484473e-01, 5.484473e-01] OK
beta in [0.02935,0.03090] ST_lo=0.74905 lb in [5.264903e-01, 5.264903e-01] OK
beta in [0.03090,0.03245] ST_lo=0.73223 lb in [5.050929e-01, 5.050929e-01] OK
beta in [0.03245,0.03400] ST_lo=0.71566 lb in [4.842814e-01, 4.842814e-01] OK
beta in [0.03400,0.03555] ST_lo=0.69939 lb in [4.640735e-01, 4.640735e-01] OK
beta in [0.03555,0.03710] ST_lo=0.68342 lb in [4.444797e-01, 4.444797e-01] OK
T=16000 cells 16 on [123/10000, 371/10000] (exact rationals, covering [3^-4, 3^-3]): certified min lower endpoint of lb = 4.444797e-01; fails = []
