certified by flip bound: 18/200
largest true values: (true, best bound, K)
  0.8520 0.8520 (-1.306,1.000)
  0.8493 0.8493 (+1.285,1.000)
  0.8431 0.8574 (-1.331,0.934) (+1.114,0.066)
  0.8430 0.8558 (-1.274,0.937) (+1.006,0.063)
  0.8421 0.8421 (+1.125,0.379) (+1.384,0.621)
  0.8419 0.8500 (-1.380,0.963) (+0.000,0.037)
  0.8387 0.8575 (+1.339,0.951) (-0.663,0.047) (+1.109,0.002)
  0.8348 0.8348 (-1.210,1.000)
  0.8223 0.8621 (-1.404,0.840) (-0.814,0.118) (+0.000,0.042)
  0.8210 0.8210 (+0.918,0.088) (+1.214,0.525) (+1.204,0.350) (+1.219,0.037)
uncertified with largest true value:
  0.8223 0.8621 (-1.404,0.840) (-0.814,0.118) (+0.000,0.042)
  0.8168 inf (+0.846,1.000)
  0.8134 1.1830 (+0.987,0.840) (-0.726,0.160)
  0.8126 inf (-0.839,0.761) (-0.672,0.239)
  0.8085 1.2463 (-0.998,0.757) (-1.227,0.019) (+0.512,0.001) (+1.199,0.223)
  0.8074 inf (-0.533,1.000)
  0.8069 inf (-0.788,0.968) (+0.000,0.032)
  0.8064 inf (+0.528,1.000)
  0.8056 0.8655 (-1.142,0.840) (+1.138,0.040) (+0.350,0.106) (+0.123,0.014)
  0.8046 0.8954 (-1.041,0.725) (+1.274,0.275)
  0.8037 inf (-0.521,1.000)
  0.8023 2.9984 (-0.599,0.936) (-0.721,0.064)
  0.8023 1.0291 (+0.855,0.226) (-0.873,0.538) (-1.184,0.180) (+1.005,0.055)
  0.8019 inf (-0.884,0.958) (-1.356,0.042)
  0.8016 inf (+0.552,1.000)
