{
  "table": "T457",
  "entries": 392,
  "selection_matches": true,
  "exact_rational_probabilities": true,
  "upper_tail_examples_exact": true,
  "arb_precision_bits": 600,
  "closed_form_enclosures": 42,
  "mpmath_decimal_digits": 150,
  "known_answer_control_count": 4,
  "maximum_control_residual": "7.63734090874901e-152",
  "numerical_brackets": [
    {
      "nu": 1,
      "k": 2,
      "p": "1/200",
      "lower_cdf_minus_p": "-3.14180491151e-102",
      "upper_cdf_minus_p": "5.86080290111e-102"
    },
    {
      "nu": 1,
      "k": 2,
      "p": "1/100",
      "lower_cdf_minus_p": "-4.51595270837e-102",
      "upper_cdf_minus_p": "4.48498919444e-102"
    },
    {
      "nu": 1,
      "k": 2,
      "p": "1/40",
      "lower_cdf_minus_p": "-4.71348606273e-102",
      "upper_cdf_minus_p": "4.27580022516e-102"
    },
    {
      "nu": 1,
      "k": 2,
      "p": "1/20",
      "lower_cdf_minus_p": "-4.75650742428e-101",
      "upper_cdf_minus_p": "4.19123379808e-101"
    },
    {
      "nu": 1,
      "k": 2,
      "p": "1/10",
      "lower_cdf_minus_p": "-3.42235287368e-101",
      "upper_cdf_minus_p": "5.36048720315e-101"
    },
    {
      "nu": 1,
      "k": 2,
      "p": "1/4",
      "lower_cdf_minus_p": "-2.49698912455e-101",
      "upper_cdf_minus_p": "5.18769131807e-101"
    },
    {
      "nu": 1,
      "k": 2,
      "p": "1/2",
      "lower_cdf_minus_p": "-1.65436239591e-100",
      "upper_cdf_minus_p": "2.84721918488e-100"
    },
    {
      "nu": 1,
      "k": 2,
      "p": "3/4",
      "lower_cdf_minus_p": "-4.84551527221e-101",
      "upper_cdf_minus_p": "8.33931191726e-101"
    },
    {
      "nu": 1,
      "k": 2,
      "p": "9/10",
      "lower_cdf_minus_p": "-1.28535335959e-101",
      "upper_cdf_minus_p": "9.17877487861e-102"
    },
    {
      "nu": 1,
      "k": 2,
      "p": "19/20",
      "lower_cdf_minus_p": "-2.72673075353e-101",
      "upper_cdf_minus_p": "2.81546316705e-101"
    },
    {
      "nu": 1,
      "k": 2,
      "p": "39/40",
      "lower_cdf_minus_p": "-3.70531960675e-102",
      "upper_cdf_minus_p": "1.01715540799e-101"
    },
    {
      "nu": 1,
      "k": 2,
      "p": "99/100",
      "lower_cdf_minus_p": "-5.74767092186e-103",
      "upper_cdf_minus_p": "1.64649167667e-102"
    },
    {
      "nu": 1,
      "k": 2,
      "p": "199/200",
      "lower_cdf_minus_p": "-1.69984745971e-102",
      "upper_cdf_minus_p": "3.85364202253e-102"
    },
    {
      "nu": 1,
      "k": 2,
      "p": "999/1000",
      "lower_cdf_minus_p": "-1.05307815667e-103",
      "upper_cdf_minus_p": "1.16836148534e-103"
    },
    {
      "nu": 1,
      "k": 3,
      "p": "1/200",
      "lower_cdf_minus_p": "-1.09282095092e-101",
      "upper_cdf_minus_p": "3.7543206805e-102"
    },
    {
      "nu": 1,
      "k": 3,
      "p": "1/4",
      "lower_cdf_minus_p": "-1.97300511818e-100",
      "upper_cdf_minus_p": "3.53789454314e-100"
    },
    {
      "nu": 1,
      "k": 3,
      "p": "1/2",
      "lower_cdf_minus_p": "-2.22594087392e-100",
      "upper_cdf_minus_p": "9.79336857139e-101"
    },
    {
      "nu": 1,
      "k": 3,
      "p": "19/20",
      "lower_cdf_minus_p": "-1.53150832986e-101",
      "upper_cdf_minus_p": "2.16623912377e-101"
    },
    {
      "nu": 1,
      "k": 3,
      "p": "999/1000",
      "lower_cdf_minus_p": "-9.13933993307e-103",
      "upper_cdf_minus_p": "5.6702624172e-103"
    },
    {
      "nu": 2,
      "k": 2,
      "p": "1/200",
      "lower_cdf_minus_p": "-5.75084608861e-102",
      "upper_cdf_minus_p": "4.24877891373e-102"
    },
    {
      "nu": 2,
      "k": 2,
      "p": "1/100",
      "lower_cdf_minus_p": "-6.76524812938e-102",
      "upper_cdf_minus_p": "3.23325190812e-102"
    },
    {
      "nu": 2,
      "k": 2,
      "p": "1/40",
      "lower_cdf_minus_p": "-6.06720376946e-102",
      "upper_cdf_minus_p": "3.92342269553e-102"
    },
    {
      "nu": 2,
      "k": 2,
      "p": "1/20",
      "lower_cdf_minus_p": "-5.96296357983e-101",
      "upper_cdf_minus_p": "3.99955986744e-101"
    },
    {
      "nu": 2,
      "k": 2,
      "p": "1/10",
      "lower_cdf_minus_p": "-5.2446162657e-101",
      "upper_cdf_minus_p": "4.60575936166e-101"
    },
    {
      "nu": 2,
      "k": 2,
      "p": "1/4",
      "lower_cdf_minus_p": "-4.03215211049e-101",
      "upper_cdf_minus_p": "5.04515260718e-101"
    },
    {
      "nu": 2,
      "k": 2,
      "p": "1/2",
      "lower_cdf_minus_p": "-4.71036876901e-100",
      "upper_cdf_minus_p": "1.78482175938e-100"
    },
    {
      "nu": 2,
      "k": 2,
      "p": "3/4",
      "lower_cdf_minus_p": "-1.17619922729e-100",
      "upper_cdf_minus_p": "1.71759126919e-100"
    },
    {
      "nu": 2,
      "k": 2,
      "p": "9/10",
      "lower_cdf_minus_p": "-2.68112717812e-101",
      "upper_cdf_minus_p": "5.60078081461e-101"
    },
    {
      "nu": 2,
      "k": 2,
      "p": "19/20",
      "lower_cdf_minus_p": "-1.79925133741e-101",
      "upper_cdf_minus_p": "1.24518518681e-101"
    },
    {
      "nu": 2,
      "k": 2,
      "p": "39/40",
      "lower_cdf_minus_p": "-3.14322082879e-102",
      "upper_cdf_minus_p": "7.82814415508e-102"
    },
    {
      "nu": 2,
      "k": 2,
      "p": "99/100",
      "lower_cdf_minus_p": "-9.5150976276e-102",
      "upper_cdf_minus_p": "1.85573069719e-101"
    },
    {
      "nu": 2,
      "k": 2,
      "p": "199/200",
      "lower_cdf_minus_p": "-6.53634747958e-102",
      "upper_cdf_minus_p": "3.4261759677e-102"
    },
    {
      "nu": 2,
      "k": 2,
      "p": "999/1000",
      "lower_cdf_minus_p": "-6.19771189587e-103",
      "upper_cdf_minus_p": "2.7398526488e-103"
    },
    {
      "nu": 2,
      "k": 3,
      "p": "1/200",
      "lower_cdf_minus_p": "-1.00580063764e-101",
      "upper_cdf_minus_p": "4.68021645432e-102"
    },
    {
      "nu": 2,
      "k": 3,
      "p": "1/4",
      "lower_cdf_minus_p": "-2.64350822834e-100",
      "upper_cdf_minus_p": "4.160977351e-100"
    },
    {
      "nu": 2,
      "k": 3,
      "p": "1/2",
      "lower_cdf_minus_p": "-3.8905746335e-100",
      "upper_cdf_minus_p": "1.34054989711e-100"
    },
    {
      "nu": 2,
      "k": 3,
      "p": "19/20",
      "lower_cdf_minus_p": "-1.24131440301e-101",
      "upper_cdf_minus_p": "1.03863864421e-101"
    },
    {
      "nu": 2,
      "k": 3,
      "p": "999/1000",
      "lower_cdf_minus_p": "-2.67210895384e-103",
      "upper_cdf_minus_p": "3.94179330602e-103"
    },
    {
      "nu": 3,
      "k": 2,
      "p": "1/200",
      "lower_cdf_minus_p": "-3.61808502218e-103",
      "upper_cdf_minus_p": "6.77755169097e-103"
    },
    {
      "nu": 3,
      "k": 2,
      "p": "1/100",
      "lower_cdf_minus_p": "-4.12557202293e-102",
      "upper_cdf_minus_p": "6.26910279021e-102"
    },
    {
      "nu": 3,
      "k": 2,
      "p": "1/40",
      "lower_cdf_minus_p": "-2.86829291749e-102",
      "upper_cdf_minus_p": "7.51964901103e-102"
    },
    {
      "nu": 3,
      "k": 2,
      "p": "1/20",
      "lower_cdf_minus_p": "-2.85115490385e-102",
      "upper_cdf_minus_p": "7.51274694802e-102"
    },
    {
      "nu": 3,
      "k": 2,
      "p": "1/10",
      "lower_cdf_minus_p": "-7.02976008997e-101",
      "upper_cdf_minus_p": "3.23807456953e-101"
    },
    {
      "nu": 3,
      "k": 2,
      "p": "1/4",
      "lower_cdf_minus_p": "-6.9378495574e-101",
      "upper_cdf_minus_p": "2.6617739649e-101"
    },
    {
      "nu": 3,
      "k": 2,
      "p": "1/2",
      "lower_cdf_minus_p": "-3.20930097242e-100",
      "upper_cdf_minus_p": "4.07040896777e-100"
    },
    {
      "nu": 3,
      "k": 2,
      "p": "3/4",
      "lower_cdf_minus_p": "-1.24392910643e-100",
      "upper_cdf_minus_p": "2.46314677975e-100"
    },
    {
      "nu": 3,
      "k": 2,
      "p": "9/10",
      "lower_cdf_minus_p": "-4.05157028067e-101",
      "upper_cdf_minus_p": "8.78243457447e-101"
    },
    {
      "nu": 3,
      "k": 2,
      "p": "19/20",
      "lower_cdf_minus_p": "-4.03800682647e-101",
      "upper_cdf_minus_p": "1.39089780024e-101"
    },
    {
      "nu": 3,
      "k": 2,
      "p": "39/40",
      "lower_cdf_minus_p": "-9.22594503108e-102",
      "upper_cdf_minus_p": "1.31612099358e-101"
    },
    {
      "nu": 3,
      "k": 2,
      "p": "99/100",
      "lower_cdf_minus_p": "-2.738260486e-102",
      "upper_cdf_minus_p": "4.05345495248e-102"
    },
    {
      "nu": 3,
      "k": 2,
      "p": "199/200",
      "lower_cdf_minus_p": "-1.18577434092e-101",
      "upper_cdf_minus_p": "1.54335533578e-101"
    },
    {
      "nu": 3,
      "k": 2,
      "p": "999/1000",
      "lower_cdf_minus_p": "-1.52842413048e-102",
      "upper_cdf_minus_p": "1.70795844348e-102"
    },
    {
      "nu": 4,
      "k": 2,
      "p": "1/200",
      "lower_cdf_minus_p": "-6.05442748021e-103",
      "upper_cdf_minus_p": "4.55187961004e-103"
    },
    {
      "nu": 4,
      "k": 2,
      "p": "1/100",
      "lower_cdf_minus_p": "-6.31724478874e-102",
      "upper_cdf_minus_p": "4.28817842212e-102"
    },
    {
      "nu": 4,
      "k": 2,
      "p": "1/40",
      "lower_cdf_minus_p": "-6.30561545497e-102",
      "upper_cdf_minus_p": "4.29362073775e-102"
    },
    {
      "nu": 4,
      "k": 2,
      "p": "1/20",
      "lower_cdf_minus_p": "-4.89360302025e-102",
      "upper_cdf_minus_p": "5.68353864657e-102"
    },
    {
      "nu": 4,
      "k": 2,
      "p": "1/10",
      "lower_cdf_minus_p": "-5.61311557613e-101",
      "upper_cdf_minus_p": "4.87567888765e-101"
    },
    {
      "nu": 4,
      "k": 2,
      "p": "1/4",
      "lower_cdf_minus_p": "-4.67401280343e-101",
      "upper_cdf_minus_p": "5.19778165397e-101"
    },
    {
      "nu": 4,
      "k": 2,
      "p": "1/2",
      "lower_cdf_minus_p": "-5.70487119677e-100",
      "upper_cdf_minus_p": "1.98686167391e-100"
    },
    {
      "nu": 4,
      "k": 2,
      "p": "3/4",
      "lower_cdf_minus_p": "-3.11733302386e-100",
      "upper_cdf_minus_p": "1.05876797892e-100"
    },
    {
      "nu": 4,
      "k": 2,
      "p": "9/10",
      "lower_cdf_minus_p": "-9.15880339622e-101",
      "upper_cdf_minus_p": "6.74405547289e-101"
    },
    {
      "nu": 4,
      "k": 2,
      "p": "19/20",
      "lower_cdf_minus_p": "-2.02566052574e-101",
      "upper_cdf_minus_p": "5.20968737568e-101"
    },
    {
      "nu": 4,
      "k": 2,
      "p": "39/40",
      "lower_cdf_minus_p": "-9.29653915913e-102",
      "upper_cdf_minus_p": "2.27471267875e-101"
    },
    {
      "nu": 4,
      "k": 2,
      "p": "99/100",
      "lower_cdf_minus_p": "-5.51642392618e-102",
      "upper_cdf_minus_p": "5.13295881309e-102"
    },
    {
      "nu": 4,
      "k": 2,
      "p": "199/200",
      "lower_cdf_minus_p": "-1.39134721429e-102",
      "upper_cdf_minus_p": "3.18250337522e-102"
    },
    {
      "nu": 4,
      "k": 2,
      "p": "999/1000",
      "lower_cdf_minus_p": "-4.6176368887e-102",
      "upper_cdf_minus_p": "1.67134481999e-102"
    },
    {
      "nu": 5,
      "k": 2,
      "p": "1/200",
      "lower_cdf_minus_p": "-5.22401480016e-103",
      "upper_cdf_minus_p": "5.51260437183e-103"
    },
    {
      "nu": 5,
      "k": 2,
      "p": "1/100",
      "lower_cdf_minus_p": "-3.60168306546e-102",
      "upper_cdf_minus_p": "7.13409787565e-102"
    },
    {
      "nu": 5,
      "k": 2,
      "p": "1/40",
      "lower_cdf_minus_p": "-6.70500878296e-102",
      "upper_cdf_minus_p": "4.02490454198e-102"
    },
    {
      "nu": 5,
      "k": 2,
      "p": "1/20",
      "lower_cdf_minus_p": "-3.0332398697e-102",
      "upper_cdf_minus_p": "7.6757176845e-102"
    },
    {
      "nu": 5,
      "k": 2,
      "p": "1/10",
      "lower_cdf_minus_p": "-4.06235638286e-101",
      "upper_cdf_minus_p": "6.56277817182e-101"
    },
    {
      "nu": 5,
      "k": 2,
      "p": "1/4",
      "lower_cdf_minus_p": "-4.18240620458e-101",
      "upper_cdf_minus_p": "5.85598960609e-101"
    },
    {
      "nu": 5,
      "k": 2,
      "p": "1/2",
      "lower_cdf_minus_p": "-5.60580763125e-100",
      "upper_cdf_minus_p": "2.33870709631e-100"
    },
    {
      "nu": 5,
      "k": 2,
      "p": "3/4",
      "lower_cdf_minus_p": "-2.27750780881e-100",
      "upper_cdf_minus_p": "2.19993324318e-100"
    },
    {
      "nu": 5,
      "k": 2,
      "p": "9/10",
      "lower_cdf_minus_p": "-1.21760120914e-100",
      "upper_cdf_minus_p": "5.86844755522e-101"
    },
    {
      "nu": 5,
      "k": 2,
      "p": "19/20",
      "lower_cdf_minus_p": "-2.66833008028e-101",
      "upper_cdf_minus_p": "5.91249211175e-101"
    },
    {
      "nu": 5,
      "k": 2,
      "p": "39/40",
      "lower_cdf_minus_p": "-1.28737233763e-101",
      "upper_cdf_minus_p": "2.68370881139e-101"
    },
    {
      "nu": 5,
      "k": 2,
      "p": "99/100",
      "lower_cdf_minus_p": "-6.49295974839e-102",
      "upper_cdf_minus_p": "7.47750343628e-102"
    },
    {
      "nu": 5,
      "k": 2,
      "p": "199/200",
      "lower_cdf_minus_p": "-4.14467653269e-102",
      "upper_cdf_minus_p": "2.11234935604e-102"
    },
    {
      "nu": 5,
      "k": 2,
      "p": "999/1000",
      "lower_cdf_minus_p": "-5.54235558651e-103",
      "upper_cdf_minus_p": "3.90384543672e-103"
    },
    {
      "nu": 6,
      "k": 2,
      "p": "1/200",
      "lower_cdf_minus_p": "-7.41854740064e-103",
      "upper_cdf_minus_p": "3.40650071639e-103"
    },
    {
      "nu": 6,
      "k": 2,
      "p": "1/100",
      "lower_cdf_minus_p": "-3.99990292438e-102",
      "upper_cdf_minus_p": "6.82433689987e-102"
    },
    {
      "nu": 6,
      "k": 2,
      "p": "1/40",
      "lower_cdf_minus_p": "-3.15187283421e-102",
      "upper_cdf_minus_p": "7.66670886016e-102"
    },
    {
      "nu": 6,
      "k": 2,
      "p": "1/20",
      "lower_cdf_minus_p": "-3.57855975422e-102",
      "upper_cdf_minus_p": "7.21981318386e-102"
    },
    {
      "nu": 6,
      "k": 2,
      "p": "1/10",
      "lower_cdf_minus_p": "-4.09749002395e-101",
      "upper_cdf_minus_p": "6.62002992494e-101"
    },
    {
      "nu": 6,
      "k": 2,
      "p": "1/4",
      "lower_cdf_minus_p": "-6.13590368713e-101",
      "upper_cdf_minus_p": "4.01484042542e-101"
    },
    {
      "nu": 6,
      "k": 2,
      "p": "1/2",
      "lower_cdf_minus_p": "-4.29491250857e-100",
      "upper_cdf_minus_p": "3.82021354556e-100"
    },
    {
      "nu": 6,
      "k": 2,
      "p": "3/4",
      "lower_cdf_minus_p": "-2.70143311748e-100",
      "upper_cdf_minus_p": "1.98502450183e-100"
    },
    {
      "nu": 6,
      "k": 2,
      "p": "9/10",
      "lower_cdf_minus_p": "-1.367099373e-100",
      "upper_cdf_minus_p": "5.93612063503e-101"
    },
    {
      "nu": 6,
      "k": 2,
      "p": "19/20",
      "lower_cdf_minus_p": "-6.39684922339e-101",
      "upper_cdf_minus_p": "3.20677968106e-101"
    },
    {
      "nu": 6,
      "k": 2,
      "p": "39/40",
      "lower_cdf_minus_p": "-2.8773579378e-101",
      "upper_cdf_minus_p": "1.70099338173e-101"
    },
    {
      "nu": 6,
      "k": 2,
      "p": "99/100",
      "lower_cdf_minus_p": "-1.11364934102e-101",
      "upper_cdf_minus_p": "5.60785696816e-102"
    },
    {
      "nu": 6,
      "k": 2,
      "p": "199/200",
      "lower_cdf_minus_p": "-4.31853216601e-102",
      "upper_cdf_minus_p": "3.40002757205e-102"
    },
    {
      "nu": 6,
      "k": 2,
      "p": "999/1000",
      "lower_cdf_minus_p": "-3.64965283424e-103",
      "upper_cdf_minus_p": "8.78195667444e-103"
    },
    {
      "nu": 7,
      "k": 2,
      "p": "1/200",
      "lower_cdf_minus_p": "-6.08310582328e-103",
      "upper_cdf_minus_p": "4.80583441664e-103"
    },
    {
      "nu": 7,
      "k": 2,
      "p": "1/100",
      "lower_cdf_minus_p": "-4.95049976905e-102",
      "upper_cdf_minus_p": "5.93765331758e-102"
    },
    {
      "nu": 7,
      "k": 2,
      "p": "1/40",
      "lower_cdf_minus_p": "-7.78253402706e-102",
      "upper_cdf_minus_p": "3.10010885381e-102"
    },
    {
      "nu": 7,
      "k": 2,
      "p": "1/20",
      "lower_cdf_minus_p": "-5.48408495789e-102",
      "upper_cdf_minus_p": "5.37887671898e-102"
    },
    {
      "nu": 7,
      "k": 2,
      "p": "1/10",
      "lower_cdf_minus_p": "-2.78131937317e-101",
      "upper_cdf_minus_p": "8.00288778931e-101"
    },
    {
      "nu": 7,
      "k": 2,
      "p": "1/4",
      "lower_cdf_minus_p": "-3.57980238744e-101",
      "upper_cdf_minus_p": "6.65177932852e-101"
    },
    {
      "nu": 7,
      "k": 2,
      "p": "1/2",
      "lower_cdf_minus_p": "-4.06834333909e-100",
      "upper_cdf_minus_p": "4.16958850449e-100"
    },
    {
      "nu": 7,
      "k": 2,
      "p": "3/4",
      "lower_cdf_minus_p": "-3.21717607036e-100",
      "upper_cdf_minus_p": "1.62246748214e-100"
    },
    {
      "nu": 7,
      "k": 2,
      "p": "9/10",
      "lower_cdf_minus_p": "-1.26493810357e-100",
      "upper_cdf_minus_p": "8.142712343e-101"
    },
    {
      "nu": 7,
      "k": 2,
      "p": "19/20",
      "lower_cdf_minus_p": "-4.8434493405e-101",
      "upper_cdf_minus_p": "5.55780112839e-101"
    },
    {
      "nu": 7,
      "k": 2,
      "p": "39/40",
      "lower_cdf_minus_p": "-3.52215705474e-101",
      "upper_cdf_minus_p": "1.54340459079e-101"
    },
    {
      "nu": 7,
      "k": 2,
      "p": "99/100",
      "lower_cdf_minus_p": "-8.59973309417e-102",
      "upper_cdf_minus_p": "1.04545104531e-101"
    },
    {
      "nu": 7,
      "k": 2,
      "p": "199/200",
      "lower_cdf_minus_p": "-4.68858059424e-102",
      "upper_cdf_minus_p": "4.28107579625e-102"
    },
    {
      "nu": 7,
      "k": 2,
      "p": "999/1000",
      "lower_cdf_minus_p": "-9.1363484478e-103",
      "upper_cdf_minus_p": "6.01274188865e-103"
    },
    {
      "nu": 8,
      "k": 2,
      "p": "1/200",
      "lower_cdf_minus_p": "-3.47238747091e-103",
      "upper_cdf_minus_p": "7.4648553859e-103"
    },
    {
      "nu": 8,
      "k": 2,
      "p": "1/100",
      "lower_cdf_minus_p": "-4.71639145455e-102",
      "upper_cdf_minus_p": "6.22007996865e-102"
    },
    {
      "nu": 8,
      "k": 2,
      "p": "1/40",
      "lower_cdf_minus_p": "-6.38351810408e-102",
      "upper_cdf_minus_p": "4.54755311455e-102"
    },
    {
      "nu": 8,
      "k": 2,
      "p": "1/20",
      "lower_cdf_minus_p": "-5.72258172563e-102",
      "upper_cdf_minus_p": "5.18920062824e-102"
    },
    {
      "nu": 8,
      "k": 2,
      "p": "1/10",
      "lower_cdf_minus_p": "-5.14082094615e-101",
      "upper_cdf_minus_p": "5.69376805698e-101"
    },
    {
      "nu": 8,
      "k": 2,
      "p": "1/4",
      "lower_cdf_minus_p": "-2.76877732773e-101",
      "upper_cdf_minus_p": "7.52373750347e-101"
    },
    {
      "nu": 8,
      "k": 2,
      "p": "1/2",
      "lower_cdf_minus_p": "-2.52842067038e-101",
      "upper_cdf_minus_p": "5.80209535703e-101"
    },
    {
      "nu": 8,
      "k": 2,
      "p": "3/4",
      "lower_cdf_minus_p": "-3.53904562714e-100",
      "upper_cdf_minus_p": "1.4175705791e-100"
    },
    {
      "nu": 8,
      "k": 2,
      "p": "9/10",
      "lower_cdf_minus_p": "-5.98304186544e-101",
      "upper_cdf_minus_p": "1.57363248956e-100"
    },
    {
      "nu": 8,
      "k": 2,
      "p": "19/20",
      "lower_cdf_minus_p": "-7.11835617997e-101",
      "upper_cdf_minus_p": "3.91983918887e-101"
    },
    {
      "nu": 8,
      "k": 2,
      "p": "39/40",
      "lower_cdf_minus_p": "-3.59690518599e-101",
      "upper_cdf_minus_p": "1.8658725926e-101"
    },
    {
      "nu": 8,
      "k": 2,
      "p": "99/100",
      "lower_cdf_minus_p": "-1.04707529365e-101",
      "upper_cdf_minus_p": "1.05190977426e-101"
    },
    {
      "nu": 8,
      "k": 2,
      "p": "199/200",
      "lower_cdf_minus_p": "-3.4654406624e-102",
      "upper_cdf_minus_p": "6.574308546e-102"
    },
    {
      "nu": 8,
      "k": 2,
      "p": "999/1000",
      "lower_cdf_minus_p": "-1.12264103034e-102",
      "upper_cdf_minus_p": "6.35689116007e-103"
    },
    {
      "nu": 9,
      "k": 2,
      "p": "1/200",
      "lower_cdf_minus_p": "-3.68358534547e-103",
      "upper_cdf_minus_p": "7.29144617623e-103"
    },
    {
      "nu": 9,
      "k": 2,
      "p": "1/100",
      "lower_cdf_minus_p": "-6.67357109526e-102",
      "upper_cdf_minus_p": "4.30070113886e-102"
    },
    {
      "nu": 9,
      "k": 2,
      "p": "1/40",
      "lower_cdf_minus_p": "-4.08128202163e-102",
      "upper_cdf_minus_p": "6.88767500322e-102"
    },
    {
      "nu": 9,
      "k": 2,
      "p": "1/20",
      "lower_cdf_minus_p": "-5.20709805406e-102",
      "upper_cdf_minus_p": "5.74287327686e-102"
    },
    {
      "nu": 9,
      "k": 2,
      "p": "1/10",
      "lower_cdf_minus_p": "-3.89357567093e-101",
      "upper_cdf_minus_p": "6.98040896913e-101"
    },
    {
      "nu": 9,
      "k": 2,
      "p": "1/4",
      "lower_cdf_minus_p": "-7.56156983373e-101",
      "upper_cdf_minus_p": "2.77850986795e-101"
    },
    {
      "nu": 9,
      "k": 2,
      "p": "1/2",
      "lower_cdf_minus_p": "-3.5925359192e-101",
      "upper_cdf_minus_p": "4.81025841922e-101"
    },
    {
      "nu": 9,
      "k": 2,
      "p": "3/4",
      "lower_cdf_minus_p": "-1.99001929511e-100",
      "upper_cdf_minus_p": "3.05878847728e-100"
    },
    {
      "nu": 9,
      "k": 2,
      "p": "9/10",
      "lower_cdf_minus_p": "-1.28154342532e-100",
      "upper_cdf_minus_p": "9.64834116321e-101"
    },
    {
      "nu": 9,
      "k": 2,
      "p": "19/20",
      "lower_cdf_minus_p": "-6.54290388886e-101",
      "upper_cdf_minus_p": "5.01453631673e-101"
    },
    {
      "nu": 9,
      "k": 2,
      "p": "39/40",
      "lower_cdf_minus_p": "-1.8640554266e-101",
      "upper_cdf_minus_p": "3.92768756442e-101"
    },
    {
      "nu": 9,
      "k": 2,
      "p": "99/100",
      "lower_cdf_minus_p": "-8.1028941427e-102",
      "upper_cdf_minus_p": "1.45240144814e-101"
    },
    {
      "nu": 9,
      "k": 2,
      "p": "199/200",
      "lower_cdf_minus_p": "-5.4908341645e-102",
      "upper_cdf_minus_p": "5.46836920622e-102"
    },
    {
      "nu": 9,
      "k": 2,
      "p": "999/1000",
      "lower_cdf_minus_p": "-1.14593769864e-102",
      "upper_cdf_minus_p": "8.29191139769e-103"
    },
    {
      "nu": 10,
      "k": 2,
      "p": "1/200",
      "lower_cdf_minus_p": "-4.34505609888e-103",
      "upper_cdf_minus_p": "6.66034110572e-103"
    },
    {
      "nu": 10,
      "k": 2,
      "p": "1/100",
      "lower_cdf_minus_p": "-5.04498842409e-102",
      "upper_cdf_minus_p": "5.9596591589e-102"
    },
    {
      "nu": 10,
      "k": 2,
      "p": "1/40",
      "lower_cdf_minus_p": "-7.98067955078e-102",
      "upper_cdf_minus_p": "3.01872046424e-102"
    },
    {
      "nu": 10,
      "k": 2,
      "p": "1/20",
      "lower_cdf_minus_p": "-6.8403418872e-102",
      "upper_cdf_minus_p": "4.1403137166e-102"
    },
    {
      "nu": 10,
      "k": 2,
      "p": "1/10",
      "lower_cdf_minus_p": "-4.22050710391e-101",
      "upper_cdf_minus_p": "6.68512233584e-101"
    },
    {
      "nu": 10,
      "k": 2,
      "p": "1/4",
      "lower_cdf_minus_p": "-4.40456300596e-101",
      "upper_cdf_minus_p": "5.97367296664e-101"
    },
    {
      "nu": 10,
      "k": 2,
      "p": "1/2",
      "lower_cdf_minus_p": "-4.91329377064e-101",
      "upper_cdf_minus_p": "3.54748426861e-101"
    },
    {
      "nu": 10,
      "k": 2,
      "p": "3/4",
      "lower_cdf_minus_p": "-3.59492719816e-100",
      "upper_cdf_minus_p": "1.52838644262e-100"
    },
    {
      "nu": 10,
      "k": 2,
      "p": "9/10",
      "lower_cdf_minus_p": "-8.26388168517e-101",
      "upper_cdf_minus_p": "1.48101908776e-100"
    },
    {
      "nu": 10,
      "k": 2,
      "p": "19/20",
      "lower_cdf_minus_p": "-7.89669339828e-101",
      "upper_cdf_minus_p": "4.09159063382e-101"
    },
    {
      "nu": 10,
      "k": 2,
      "p": "39/40",
      "lower_cdf_minus_p": "-3.25897551827e-101",
      "upper_cdf_minus_p": "2.80913158406e-101"
    },
    {
      "nu": 10,
      "k": 2,
      "p": "99/100",
      "lower_cdf_minus_p": "-8.76514597938e-102",
      "upper_cdf_minus_p": "1.52600501918e-101"
    },
    {
      "nu": 10,
      "k": 2,
      "p": "199/200",
      "lower_cdf_minus_p": "-3.22092193721e-102",
      "upper_cdf_minus_p": "8.53353009772e-102"
    },
    {
      "nu": 10,
      "k": 2,
      "p": "999/1000",
      "lower_cdf_minus_p": "-1.17565038074e-102",
      "upper_cdf_minus_p": "9.9243962786e-103"
    },
    {
      "nu": 10,
      "k": 3,
      "p": "1/200",
      "lower_cdf_minus_p": "-9.05190614282e-102",
      "upper_cdf_minus_p": "5.73103773406e-102"
    },
    {
      "nu": 10,
      "k": 3,
      "p": "1/4",
      "lower_cdf_minus_p": "-3.23462232833e-100",
      "upper_cdf_minus_p": "4.84256665256e-100"
    },
    {
      "nu": 10,
      "k": 3,
      "p": "1/2",
      "lower_cdf_minus_p": "-5.09621924082e-100",
      "upper_cdf_minus_p": "2.75485101497e-100"
    },
    {
      "nu": 10,
      "k": 3,
      "p": "19/20",
      "lower_cdf_minus_p": "-8.58105180309e-101",
      "upper_cdf_minus_p": "2.98703803381e-101"
    },
    {
      "nu": 10,
      "k": 3,
      "p": "999/1000",
      "lower_cdf_minus_p": "-9.08088964397e-103",
      "upper_cdf_minus_p": "1.10586494283e-102"
    },
    {
      "nu": 20,
      "k": 2,
      "p": "1/200",
      "lower_cdf_minus_p": "-2.88201534023e-103",
      "upper_cdf_minus_p": "8.26142912631e-103"
    },
    {
      "nu": 20,
      "k": 2,
      "p": "1/100",
      "lower_cdf_minus_p": "-8.20598586891e-102",
      "upper_cdf_minus_p": "2.93675191016e-102"
    },
    {
      "nu": 20,
      "k": 2,
      "p": "1/40",
      "lower_cdf_minus_p": "-4.60633667879e-102",
      "upper_cdf_minus_p": "6.53145398912e-102"
    },
    {
      "nu": 20,
      "k": 2,
      "p": "1/20",
      "lower_cdf_minus_p": "-6.81152126083e-102",
      "upper_cdf_minus_p": "4.30859688047e-102"
    },
    {
      "nu": 20,
      "k": 2,
      "p": "1/10",
      "lower_cdf_minus_p": "-3.81991289246e-101",
      "upper_cdf_minus_p": "7.22944816797e-101"
    },
    {
      "nu": 20,
      "k": 2,
      "p": "1/4",
      "lower_cdf_minus_p": "-6.92364886255e-101",
      "upper_cdf_minus_p": "3.62734971837e-101"
    },
    {
      "nu": 20,
      "k": 2,
      "p": "1/2",
      "lower_cdf_minus_p": "-4.29265301838e-101",
      "upper_cdf_minus_p": "4.43066196028e-101"
    },
    {
      "nu": 20,
      "k": 2,
      "p": "3/4",
      "lower_cdf_minus_p": "-3.54656098695e-100",
      "upper_cdf_minus_p": "1.92006301836e-100"
    },
    {
      "nu": 20,
      "k": 2,
      "p": "9/10",
      "lower_cdf_minus_p": "-1.91793857451e-100",
      "upper_cdf_minus_p": "6.80601968644e-101"
    },
    {
      "nu": 20,
      "k": 2,
      "p": "19/20",
      "lower_cdf_minus_p": "-6.56212704178e-101",
      "upper_cdf_minus_p": "7.54282394369e-101"
    },
    {
      "nu": 20,
      "k": 2,
      "p": "39/40",
      "lower_cdf_minus_p": "-1.92380884692e-101",
      "upper_cdf_minus_p": "5.54442294487e-101"
    },
    {
      "nu": 20,
      "k": 2,
      "p": "99/100",
      "lower_cdf_minus_p": "-1.4508864192e-101",
      "upper_cdf_minus_p": "1.69022401151e-101"
    },
    {
      "nu": 20,
      "k": 2,
      "p": "199/200",
      "lower_cdf_minus_p": "-1.04532362335e-101",
      "upper_cdf_minus_p": "5.63840904871e-102"
    },
    {
      "nu": 20,
      "k": 2,
      "p": "999/1000",
      "lower_cdf_minus_p": "-9.36603298226e-103",
      "upper_cdf_minus_p": "2.36558546868e-102"
    },
    {
      "nu": 30,
      "k": 2,
      "p": "1/200",
      "lower_cdf_minus_p": "-4.71600746236e-103",
      "upper_cdf_minus_p": "6.47392971135e-103"
    },
    {
      "nu": 30,
      "k": 2,
      "p": "1/100",
      "lower_cdf_minus_p": "-5.53277057637e-102",
      "upper_cdf_minus_p": "5.65647401547e-102"
    },
    {
      "nu": 30,
      "k": 2,
      "p": "1/40",
      "lower_cdf_minus_p": "-2.9506553193e-102",
      "upper_cdf_minus_p": "8.23374087677e-102"
    },
    {
      "nu": 30,
      "k": 2,
      "p": "1/20",
      "lower_cdf_minus_p": "-3.49195548721e-102",
      "upper_cdf_minus_p": "7.67512039554e-102"
    },
    {
      "nu": 30,
      "k": 2,
      "p": "1/10",
      "lower_cdf_minus_p": "-7.27947311847e-101",
      "upper_cdf_minus_p": "3.81824917095e-101"
    },
    {
      "nu": 30,
      "k": 2,
      "p": "1/4",
      "lower_cdf_minus_p": "-4.62487587085e-101",
      "upper_cdf_minus_p": "5.98405980404e-101"
    },
    {
      "nu": 30,
      "k": 2,
      "p": "1/2",
      "lower_cdf_minus_p": "-2.73891855388e-101",
      "upper_cdf_minus_p": "6.07243137513e-101"
    },
    {
      "nu": 30,
      "k": 2,
      "p": "3/4",
      "lower_cdf_minus_p": "-2.1602644025e-100",
      "upper_cdf_minus_p": "3.42361723508e-100"
    },
    {
      "nu": 30,
      "k": 2,
      "p": "9/10",
      "lower_cdf_minus_p": "-1.67770154229e-100",
      "upper_cdf_minus_p": "1.02395931601e-100"
    },
    {
      "nu": 30,
      "k": 2,
      "p": "19/20",
      "lower_cdf_minus_p": "-3.83960165719e-101",
      "upper_cdf_minus_p": "1.10384532878e-100"
    },
    {
      "nu": 30,
      "k": 2,
      "p": "39/40",
      "lower_cdf_minus_p": "-3.88080781793e-101",
      "upper_cdf_minus_p": "4.11537398515e-101"
    },
    {
      "nu": 30,
      "k": 2,
      "p": "99/100",
      "lower_cdf_minus_p": "-2.4914304608e-101",
      "upper_cdf_minus_p": "9.40399451613e-102"
    },
    {
      "nu": 30,
      "k": 2,
      "p": "199/200",
      "lower_cdf_minus_p": "-4.80017910892e-102",
      "upper_cdf_minus_p": "1.30553536657e-101"
    },
    {
      "nu": 30,
      "k": 2,
      "p": "999/1000",
      "lower_cdf_minus_p": "-1.46728877426e-102",
      "upper_cdf_minus_p": "2.33232768379e-102"
    },
    {
      "nu": 60,
      "k": 2,
      "p": "1/200",
      "lower_cdf_minus_p": "-4.84394421691e-103",
      "upper_cdf_minus_p": "6.3927054455e-103"
    },
    {
      "nu": 60,
      "k": 2,
      "p": "1/100",
      "lower_cdf_minus_p": "-5.92996258904e-102",
      "upper_cdf_minus_p": "5.30600849372e-102"
    },
    {
      "nu": 60,
      "k": 2,
      "p": "1/40",
      "lower_cdf_minus_p": "-3.85434719447e-102",
      "upper_cdf_minus_p": "7.37687348578e-102"
    },
    {
      "nu": 60,
      "k": 2,
      "p": "1/20",
      "lower_cdf_minus_p": "-4.21464301494e-102",
      "upper_cdf_minus_p": "6.99960701021e-102"
    },
    {
      "nu": 60,
      "k": 2,
      "p": "1/10",
      "lower_cdf_minus_p": "-4.7169420924e-101",
      "upper_cdf_minus_p": "6.42934798027e-101"
    },
    {
      "nu": 60,
      "k": 2,
      "p": "1/4",
      "lower_cdf_minus_p": "-7.53801484428e-101",
      "upper_cdf_minus_p": "3.12901254214e-101"
    },
    {
      "nu": 60,
      "k": 2,
      "p": "1/2",
      "lower_cdf_minus_p": "-3.14189191648e-101",
      "upper_cdf_minus_p": "5.75771966474e-101"
    },
    {
      "nu": 60,
      "k": 2,
      "p": "3/4",
      "lower_cdf_minus_p": "-1.51921631624e-100",
      "upper_cdf_minus_p": "4.18327537058e-100"
    },
    {
      "nu": 60,
      "k": 2,
      "p": "9/10",
      "lower_cdf_minus_p": "-1.57866575747e-100",
      "upper_cdf_minus_p": "1.22918334304e-100"
    },
    {
      "nu": 60,
      "k": 2,
      "p": "19/20",
      "lower_cdf_minus_p": "-5.43082985006e-101",
      "upper_cdf_minus_p": "1.02555576006e-100"
    },
    {
      "nu": 60,
      "k": 2,
      "p": "39/40",
      "lower_cdf_minus_p": "-5.63394446875e-101",
      "upper_cdf_minus_p": "2.92314114693e-101"
    },
    {
      "nu": 60,
      "k": 2,
      "p": "99/100",
      "lower_cdf_minus_p": "-1.29376306737e-101",
      "upper_cdf_minus_p": "2.45374082412e-101"
    },
    {
      "nu": 60,
      "k": 2,
      "p": "199/200",
      "lower_cdf_minus_p": "-1.42124167255e-101",
      "upper_cdf_minus_p": "5.59087140761e-102"
    },
    {
      "nu": 60,
      "k": 2,
      "p": "999/1000",
      "lower_cdf_minus_p": "-2.61124438647e-102",
      "upper_cdf_minus_p": "1.75982894701e-102"
    },
    {
      "nu": 120,
      "k": 2,
      "p": "1/200",
      "lower_cdf_minus_p": "-3.44403041561e-103",
      "upper_cdf_minus_p": "7.81605422828e-103"
    },
    {
      "nu": 120,
      "k": 2,
      "p": "1/100",
      "lower_cdf_minus_p": "-3.90917726764e-102",
      "upper_cdf_minus_p": "7.35023575885e-102"
    },
    {
      "nu": 120,
      "k": 2,
      "p": "1/40",
      "lower_cdf_minus_p": "-5.89231746002e-102",
      "upper_cdf_minus_p": "5.36239388928e-102"
    },
    {
      "nu": 120,
      "k": 2,
      "p": "1/20",
      "lower_cdf_minus_p": "-6.36184856027e-102",
      "upper_cdf_minus_p": "4.87606600272e-102"
    },
    {
      "nu": 120,
      "k": 2,
      "p": "1/10",
      "lower_cdf_minus_p": "-3.56048917991e-101",
      "upper_cdf_minus_p": "7.61015854635e-101"
    },
    {
      "nu": 120,
      "k": 2,
      "p": "1/4",
      "lower_cdf_minus_p": "-6.51969999817e-101",
      "upper_cdf_minus_p": "4.17642729031e-101"
    },
    {
      "nu": 120,
      "k": 2,
      "p": "1/2",
      "lower_cdf_minus_p": "-3.05209969025e-101",
      "upper_cdf_minus_p": "5.89172112418e-101"
    },
    {
      "nu": 120,
      "k": 2,
      "p": "3/4",
      "lower_cdf_minus_p": "-1.76643716005e-100",
      "upper_cdf_minus_p": "3.99585517455e-100"
    },
    {
      "nu": 120,
      "k": 2,
      "p": "9/10",
      "lower_cdf_minus_p": "-1.62953283376e-100",
      "upper_cdf_minus_p": "1.23256452297e-100"
    },
    {
      "nu": 120,
      "k": 2,
      "p": "19/20",
      "lower_cdf_minus_p": "-7.53386691051e-101",
      "upper_cdf_minus_p": "8.57015339846e-101"
    },
    {
      "nu": 120,
      "k": 2,
      "p": "39/40",
      "lower_cdf_minus_p": "-5.75914062733e-101",
      "upper_cdf_minus_p": "3.09119069962e-101"
    },
    {
      "nu": 120,
      "k": 2,
      "p": "99/100",
      "lower_cdf_minus_p": "-1.54079718485e-101",
      "upper_cdf_minus_p": "2.37443104848e-101"
    },
    {
      "nu": 120,
      "k": 2,
      "p": "199/200",
      "lower_cdf_minus_p": "-1.34382641041e-101",
      "upper_cdf_minus_p": "7.41288354705e-102"
    },
    {
      "nu": 120,
      "k": 2,
      "p": "999/1000",
      "lower_cdf_minus_p": "-3.36777857451e-102",
      "upper_cdf_minus_p": "1.31989682218e-102"
    },
    {
      "nu": 120,
      "k": 3,
      "p": "1/200",
      "lower_cdf_minus_p": "-4.72283377319e-102",
      "upper_cdf_minus_p": "1.0070379641e-101"
    },
    {
      "nu": 120,
      "k": 3,
      "p": "1/4",
      "lower_cdf_minus_p": "-3.46244084962e-100",
      "upper_cdf_minus_p": "4.94157020206e-100"
    },
    {
      "nu": 120,
      "k": 3,
      "p": "1/2",
      "lower_cdf_minus_p": "-2.53908020805e-100",
      "upper_cdf_minus_p": "6.0941337721e-100"
    },
    {
      "nu": 120,
      "k": 3,
      "p": "19/20",
      "lower_cdf_minus_p": "-4.55663194504e-101",
      "upper_cdf_minus_p": "1.2691962695e-100"
    },
    {
      "nu": 120,
      "k": 3,
      "p": "999/1000",
      "lower_cdf_minus_p": "-2.74663891811e-102",
      "upper_cdf_minus_p": "2.18098651078e-102"
    }
  ],
  "limitations": "The 216 mpmath endpoint checks are numerical cross-checks, not a fresh proof of all Arb remainder bounds. No values were modified."
}