{
 "prereg_sha256": "74b3a8a8c89eadfefa67524aac5a0516566bccd8f7c9c10506ff5a62b0a269cd",
 "attempt1": "FAILS - 16.07% vs 5%, tested outside the expansion's small-g assumption",
 "attempt2": "FAILS - no convergence at p >= 0.8825, bracket started at 1e-14",
 "worst_bottom": 1.9984014443252818e-15,
 "worst_top_rel": 1.761631528293615e-14,
 "scored_points": 36,
 "house_bottom": -0.910796718213633,
 "house_top": 0.9972394605468828,
 "bottom_rows": [
  {
   "p": 0.05,
   "true_bottom": -0.33633633842861343,
   "exact_bottom": -0.33633633842861144,
   "err": 1.9984014443252818e-15,
   "iters": 34
  },
  {
   "p": 0.07250000000000001,
   "true_bottom": -0.5719976659934525,
   "exact_bottom": -0.5719976659934534,
   "err": 8.881784197001252e-16,
   "iters": 19
  },
  {
   "p": 0.095,
   "true_bottom": -0.6806376404846388,
   "exact_bottom": -0.6806376404846386,
   "err": 2.220446049250313e-16,
   "iters": 300
  },
  {
   "p": 0.11750000000000001,
   "true_bottom": -0.7440891148058113,
   "exact_bottom": -0.7440891148058113,
   "err": 0.0,
   "iters": 13
  },
  {
   "p": 0.14,
   "true_bottom": -0.7858390184626147,
   "exact_bottom": -0.7858390184626147,
   "err": 0.0,
   "iters": 12
  },
  {
   "p": 0.1625,
   "true_bottom": -0.8154319566808572,
   "exact_bottom": -0.8154319566808571,
   "err": 1.1102230246251565e-16,
   "iters": 12
  },
  {
   "p": 0.185,
   "true_bottom": -0.8375144877622978,
   "exact_bottom": -0.8375144877622976,
   "err": 1.1102230246251565e-16,
   "iters": 11
  },
  {
   "p": 0.20750000000000002,
   "true_bottom": -0.8546275898542255,
   "exact_bottom": -0.8546275898542254,
   "err": 1.1102230246251565e-16,
   "iters": 10
  },
  {
   "p": 0.22999999999999998,
   "true_bottom": -0.8682802124458098,
   "exact_bottom": -0.8682802124458098,
   "err": 0.0,
   "iters": 10
  },
  {
   "p": 0.2525,
   "true_bottom": -0.8794257082131203,
   "exact_bottom": -0.8794257082131203,
   "err": 0.0,
   "iters": 9
  },
  {
   "p": 0.275,
   "true_bottom": -0.8886962995364163,
   "exact_bottom": -0.8886962995364162,
   "err": 1.1102230246251565e-16,
   "iters": 9
  },
  {
   "p": 0.2975,
   "true_bottom": -0.8965279239713837,
   "exact_bottom": -0.8965279239713837,
   "err": 0.0,
   "iters": 9
  },
  {
   "p": 0.32,
   "true_bottom": -0.9032309865840444,
   "exact_bottom": -0.9032309865840445,
   "err": 1.1102230246251565e-16,
   "iters": 9
  },
  {
   "p": 0.3425,
   "true_bottom": -0.9090325432372843,
   "exact_bottom": -0.9090325432372844,
   "err": 1.1102230246251565e-16,
   "iters": 8
  },
  {
   "p": 0.365,
   "true_bottom": -0.9141025339619755,
   "exact_bottom": -0.9141025339619755,
   "err": 0.0,
   "iters": 8
  },
  {
   "p": 0.3875,
   "true_bottom": -0.9185706894380412,
   "exact_bottom": -0.9185706894380413,
   "err": 1.1102230246251565e-16,
   "iters": 8
  },
  {
   "p": 0.41,
   "true_bottom": -0.9225377648868751,
   "exact_bottom": -0.9225377648868751,
   "err": 0.0,
   "iters": 8
  },
  {
   "p": 0.4325,
   "true_bottom": -0.9260832053218977,
   "exact_bottom": -0.9260832053218977,
   "err": 0.0,
   "iters": 8
  },
  {
   "p": 0.45499999999999996,
   "true_bottom": -0.9292704987753175,
   "exact_bottom": -0.9292704987753175,
   "err": 0.0,
   "iters": 8
  },
  {
   "p": 0.47750000000000004,
   "true_bottom": -0.9321509924449218,
   "exact_bottom": -0.9321509924449218,
   "err": 0.0,
   "iters": 7
  },
  {
   "p": 0.5,
   "true_bottom": -0.9347666633161609,
   "exact_bottom": -0.934766663316161,
   "err": 1.1102230246251565e-16,
   "iters": 7
  },
  {
   "p": 0.5225000000000001,
   "true_bottom": -0.9371521629531869,
   "exact_bottom": -0.9371521629531869,
   "err": 0.0,
   "iters": 7
  },
  {
   "p": 0.545,
   "true_bottom": -0.9393363490784599,
   "exact_bottom": -0.93933634907846,
   "err": 1.1102230246251565e-16,
   "iters": 7
  },
  {
   "p": 0.5675,
   "true_bottom": -0.9413434482206513,
   "exact_bottom": -0.9413434482206512,
   "err": 1.1102230246251565e-16,
   "iters": 7
  },
  {
   "p": 0.5900000000000001,
   "true_bottom": -0.9431939491335515,
   "exact_bottom": -0.9431939491335514,
   "err": 1.1102230246251565e-16,
   "iters": 7
  },
  {
   "p": 0.6125,
   "true_bottom": -0.9449052970331695,
   "exact_bottom": -0.9449052970331695,
   "err": 0.0,
   "iters": 7
  },
  {
   "p": 0.6350000000000001,
   "true_bottom": -0.9464924386142883,
   "exact_bottom": -0.9464924386142882,
   "err": 1.1102230246251565e-16,
   "iters": 7
  },
  {
   "p": 0.6575000000000001,
   "true_bottom": -0.94796825397839,
   "exact_bottom": -0.94796825397839,
   "err": 0.0,
   "iters": 7
  },
  {
   "p": 0.68,
   "true_bottom": -0.9493439019387249,
   "exact_bottom": -0.949343901938725,
   "err": 1.1102230246251565e-16,
   "iters": 6
  },
  {
   "p": 0.7025000000000001,
   "true_bottom": -0.9506290983176533,
   "exact_bottom": -0.9506290983176534,
   "err": 1.1102230246251565e-16,
   "iters": 6
  },
  {
   "p": 0.7250000000000001,
   "true_bottom": -0.9518323419334673,
   "exact_bottom": -0.9518323419334674,
   "err": 1.1102230246251565e-16,
   "iters": 6
  },
  {
   "p": 0.7475,
   "true_bottom": -0.9529610994011772,
   "exact_bottom": -0.9529610994011772,
   "err": 0.0,
   "iters": 6
  },
  {
   "p": 0.77,
   "true_bottom": -0.9540219572473847,
   "exact_bottom": -0.9540219572473846,
   "err": 1.1102230246251565e-16,
   "iters": 6
  },
  {
   "p": 0.7925,
   "true_bottom": -0.9550207478916437,
   "exact_bottom": -0.9550207478916436,
   "err": 1.1102230246251565e-16,
   "iters": 6
  },
  {
   "p": 0.8150000000000001,
   "true_bottom": -0.9559626545871502,
   "exact_bottom": -0.9559626545871502,
   "err": 0.0,
   "iters": 6
  },
  {
   "p": 0.8375,
   "true_bottom": -0.9568522993099393,
   "exact_bottom": -0.9568522993099394,
   "err": 1.1102230246251565e-16,
   "iters": 6
  },
  {
   "p": 0.86,
   "true_bottom": -0.957693816744102,
   "exact_bottom": -0.957693816744102,
   "err": 0.0,
   "iters": 5
  },
  {
   "p": 0.8825000000000002,
   "true_bottom": -0.958490916863536,
   "exact_bottom": -0.9584909168635359,
   "err": 1.1102230246251565e-16,
   "iters": 5
  },
  {
   "p": 0.9050000000000001,
   "true_bottom": -0.9592469381096329,
   "exact_bottom": -0.9592469381096329,
   "err": 0.0,
   "iters": 5
  },
  {
   "p": 0.9275000000000001,
   "true_bottom": -0.9599648927734166,
   "exact_bottom": -0.9599648927734167,
   "err": 1.1102230246251565e-16,
   "iters": 5
  },
  {
   "p": 0.9500000000000001,
   "true_bottom": -0.9606475058836899,
   "exact_bottom": -0.96064750588369,
   "err": 1.1102230246251565e-16,
   "iters": 5
  }
 ],
 "top_rows": [
  {
   "p": 0.05,
   "true_gap": 0.20260923174702167,
   "from_log": 0.20260923174702214,
   "rel_err": 2.3288414915606508e-15,
   "tested": true
  },
  {
   "p": 0.07250000000000001,
   "true_gap": 0.09821204337799877,
   "from_log": 0.0982120433779989,
   "rel_err": 1.2717390451761024e-15,
   "tested": true
  },
  {
   "p": 0.095,
   "true_gap": 0.06002205255718111,
   "from_log": 0.060022052557181134,
   "rel_err": 3.468172250839021e-16,
   "tested": true
  },
  {
   "p": 0.11750000000000001,
   "true_gap": 0.04067563676784692,
   "from_log": 0.04067563676784693,
   "rel_err": 3.411818206318654e-16,
   "tested": true
  },
  {
   "p": 0.14,
   "true_gap": 0.029213278801431358,
   "from_log": 0.029213278801431368,
   "rel_err": 3.562880061018987e-16,
   "tested": true
  },
  {
   "p": 0.1625,
   "true_gap": 0.021751389146297324,
   "from_log": 0.021751389146297317,
   "rel_err": 3.1900923004213806e-16,
   "tested": true
  },
  {
   "p": 0.185,
   "true_gap": 0.016579726903456046,
   "from_log": 0.01657972690345605,
   "rel_err": 2.092583896077569e-16,
   "tested": true
  },
  {
   "p": 0.20750000000000002,
   "true_gap": 0.01283374984254948,
   "from_log": 0.012833749842549471,
   "rel_err": 6.758443546349337e-16,
   "tested": true
  },
  {
   "p": 0.22999999999999998,
   "true_gap": 0.010031991964079667,
   "from_log": 0.010031991964079673,
   "rel_err": 5.187574358676085e-16,
   "tested": true
  },
  {
   "p": 0.2525,
   "true_gap": 0.007886221801967293,
   "from_log": 0.007886221801967299,
   "rel_err": 6.599066775717862e-16,
   "tested": true
  },
  {
   "p": 0.275,
   "true_gap": 0.006213878692727577,
   "from_log": 0.006213878692727581,
   "rel_err": 6.979229728152899e-16,
   "tested": true
  },
  {
   "p": 0.2975,
   "true_gap": 0.004893945050985873,
   "from_log": 0.004893945050985874,
   "rel_err": 1.7723160537196382e-16,
   "tested": true
  },
  {
   "p": 0.32,
   "true_gap": 0.003843101271596965,
   "from_log": 0.003843101271596968,
   "rel_err": 6.770795329273065e-16,
   "tested": true
  },
  {
   "p": 0.3425,
   "true_gap": 0.003002090535742944,
   "from_log": 0.003002090535742942,
   "rel_err": 7.222981183125384e-16,
   "tested": true
  },
  {
   "p": 0.365,
   "true_gap": 0.002327547553602442,
   "from_log": 0.0023275475536024422,
   "rel_err": 1.8632524535233487e-16,
   "tested": true
  },
  {
   "p": 0.3875,
   "true_gap": 0.001786904724547817,
   "from_log": 0.0017869047245478162,
   "rel_err": 3.640492380789466e-16,
   "tested": true
  },
  {
   "p": 0.41,
   "true_gap": 0.0013551089647518373,
   "from_log": 0.0013551089647518386,
   "rel_err": 9.601018374347975e-16,
   "tested": true
  },
  {
   "p": 0.4325,
   "true_gap": 0.0010124455418550828,
   "from_log": 0.0010124455418550828,
   "rel_err": 0.0,
   "tested": true
  },
  {
   "p": 0.45499999999999996,
   "true_gap": 0.000743062726526759,
   "from_log": 0.000743062726526758,
   "rel_err": 1.3131892105502004e-15,
   "tested": true
  },
  {
   "p": 0.47750000000000004,
   "true_gap": 0.0005339550128244054,
   "from_log": 0.0005339550128244054,
   "rel_err": 0.0,
   "tested": true
  },
  {
   "p": 0.5,
   "true_gap": 0.0003742562971476493,
   "from_log": 0.0003742562971476494,
   "rel_err": 2.8969510486493473e-16,
   "tested": true
  },
  {
   "p": 0.5225000000000001,
   "true_gap": 0.0002547493877939787,
   "from_log": 0.0002547493877939779,
   "rel_err": 3.19196696174886e-15,
   "tested": true
  },
  {
   "p": 0.545,
   "true_gap": 0.00016753098856369164,
   "from_log": 0.00016753098856369145,
   "rel_err": 1.1325390115084889e-15,
   "tested": true
  },
  {
   "p": 0.5675,
   "true_gap": 0.00010579068936140906,
   "from_log": 0.00010579068936140893,
   "rel_err": 1.2810699351593954e-15,
   "tested": true
  },
  {
   "p": 0.5900000000000001,
   "true_gap": 6.367343828073511e-05,
   "from_log": 6.367343828073508e-05,
   "rel_err": 4.2568856094486193e-16,
   "tested": true
  },
  {
   "p": 0.6125,
   "true_gap": 3.6200456883364975e-05,
   "from_log": 3.6200456883365016e-05,
   "rel_err": 1.123123434579899e-15,
   "tested": true
  },
  {
   "p": 0.6350000000000001,
   "true_gap": 1.9225752871300448e-05,
   "from_log": 1.9225752871300458e-05,
   "rel_err": 5.286864673177335e-16,
   "tested": true
  },
  {
   "p": 0.6575000000000001,
   "true_gap": 9.406238609106458e-06,
   "from_log": 9.406238609106443e-06,
   "rel_err": 1.6209022207683237e-15,
   "tested": true
  },
  {
   "p": 0.68,
   "true_gap": 4.16498186809066e-06,
   "from_log": 4.164981868090638e-06,
   "rel_err": 5.287623650257973e-15,
   "tested": true
  },
  {
   "p": 0.7025000000000001,
   "true_gap": 1.6311730685572535e-06,
   "from_log": 1.631173068557251e-06,
   "rel_err": 1.5578352112019986e-15,
   "tested": true
  },
  {
   "p": 0.7250000000000001,
   "true_gap": 5.481356384649866e-07,
   "from_log": 5.481356384649825e-07,
   "rel_err": 7.340165858810385e-15,
   "tested": true
  },
  {
   "p": 0.7475,
   "true_gap": 1.5168113761598096e-07,
   "from_log": 1.5168113761598016e-07,
   "rel_err": 5.235281067454506e-15,
   "tested": true
  },
  {
   "p": 0.77,
   "true_gap": 3.2646532776645354e-08,
   "from_log": 3.2646532776645374e-08,
   "rel_err": 6.080993297847118e-16,
   "tested": true
  },
  {
   "p": 0.7925,
   "true_gap": 5.035950349880727e-09,
   "from_log": 5.035950349880703e-09,
   "rel_err": 4.7633983850944735e-15,
   "tested": true
  },
  {
   "p": 0.8150000000000001,
   "true_gap": 4.930313912024386e-10,
   "from_log": 4.9303139120243e-10,
   "rel_err": 1.761631528293615e-14,
   "tested": true
  },
  {
   "p": 0.8375,
   "true_gap": 2.536270678321153e-11,
   "from_log": 2.536270678321135e-11,
   "rel_err": 7.134323656485639e-15,
   "tested": true
  },
  {
   "p": 0.86,
   "true_gap": 5.026879343232402e-13,
   "from_log": 5.026879343232394e-13,
   "rel_err": 1.6069483904240395e-15,
   "tested": false
  },
  {
   "p": 0.8825000000000002,
   "true_gap": 2.2193610188812663e-15,
   "from_log": 2.219361018881227e-15,
   "rel_err": 1.777225288066608e-14,
   "tested": false
  },
  {
   "p": 0.9050000000000001,
   "true_gap": 7.509270214062363e-19,
   "from_log": 7.509270214061957e-19,
   "rel_err": 5.4115940255380446e-14,
   "tested": false
  },
  {
   "p": 0.9275000000000001,
   "true_gap": 1.7814893704863413e-24,
   "from_log": 1.7814893704862293e-24,
   "rel_err": 6.289080764044238e-14,
   "tested": false
  },
  {
   "p": 0.9500000000000001,
   "true_gap": 3.661303167677575e-35,
   "from_log": 3.661303167677444e-35,
   "rel_err": 3.5770179304105855e-14,
   "tested": false
  }
 ],
 "leg1": true,
 "leg2": true,
 "leg3": true,
 "holds": true,
 "summary": "bottom worst 1.998e-15 | top worst 1.762e-14 over 36 scored | house bottom -0.910796718 | heaven +0.997239461 | HOLDS"
}