{
  "JS": {
    "18": {
      "Phi": "[1.98745061583005217264810e-13 +/- 3.95e-38]",
      "first": "[8.61235428559478245115539 +/- 3.26e-24]",
      "second": "[2.62726805016402198015252e-6 +/- 2.05e-30]",
      "lhs": "[8.61235691286283261517737 +/- 3.11e-24]"
    },
    "19": {
      "Phi": "[5.21924892386550031626647e-15 +/- 1.03e-39]",
      "first": "[0.226169246566490260341504 +/- 4.75e-25]",
      "second": "[2.62726805016402198015252e-6 +/- 2.05e-30]",
      "lhs": "[0.226171873834540424363485 +/- 3.73e-25]"
    },
    "20": {
      "Phi": "[1.11879454610057964570051e-16 +/- 1.07e-40]",
      "first": "[0.00484814813865711104438656 +/- 2.53e-27]",
      "second": "[2.62726805016402198015252e-6 +/- 2.05e-30]",
      "lhs": "[0.00485077540670727506636672 +/- 4.96e-27]"
    },
    "eps": "[4.43863605783419279368288e-5 +/- 1.80e-29]",
    "inv_z_minus_1": "[1.92717035507949177868212e-30 +/- 2.61e-54]"
  },
  "grids": [
    {
      "nrows": 501,
      "original_worst_index": 0,
      "samples": [
        {
          "index": 0,
          "row": [
            350.0,
            353.5,
            37,
            100,
            0.9030171186644637,
            true
          ],
          "main": "[3.09214365590208471624094e-5 +/- 3.09e-29]",
          "rem": "[2.97366137337047719881747e-6 +/- 1.02e-31]",
          "X": "[7.65455608809896715830524e-11 +/- 2.32e-36]",
          "Y": "[2.51120935963689551330835e-8 +/- 3.82e-32]",
          "margin": "[2.79225865464931200187872e-5 +/- 3.27e-29]",
          "relative_margin": "[0.903017118664467114037617 +/- 4.97e-26]",
          "s1": "[2.50854873909864947537975 +/- 3.56e-24]",
          "s2": "[2.52637927004193962994841 +/- 3.11e-24]",
          "log_z1": "[9.45945945945945945945946 +/- 5.43e-25]"
        },
        {
          "index": 1,
          "row": [
            353.5,
            357.035,
            38,
            100,
            0.9430610079679671,
            true
          ],
          "main": "[5.15311666204511476250366e-5 +/- 1.41e-30]",
          "rem": "[2.91294426378755855870752e-6 +/- 1.51e-30]",
          "X": "[1.06449485732287446482365e-10 +/- 4.60e-34]",
          "Y": "[2.10819723297832941252442e-8 +/- 2.97e-33]",
          "margin": "[4.85970339348480734847574e-5 +/- 4.95e-29]",
          "relative_margin": "[0.943061007967970078740437 +/- 2.45e-26]",
          "s1": "[2.59465979085388394427134 +/- 3.19e-24]",
          "s2": "[2.61282268783056803484933 +/- 3.13e-24]",
          "log_z1": "[9.30263157894736842105263 +/- 1.58e-24]"
        },
        {
          "index": 125,
          "row": [
            1214.05892839534,
            1226.1995176792934,
            39,
            0.1,
            0.9999838694492681,
            true
          ],
          "main": "[1.65442644143827028102781e-5 +/- 4.24e-29]",
          "rem": "[2.26899588014436053780414e-10 +/- 1.56e-34]",
          "X": "[3.99685083872352744550369e-11 +/- 3.89e-35]",
          "Y": "[1.21011931175843705813268e-21 +/- 4.00e-45]",
          "margin": "[1.65439975462862999288305e-5 +/- 1.05e-29]",
          "relative_margin": "[0.999983869449271441737219 +/- 7.87e-26]",
          "s1": "[3.89010138613730783133140 +/- 4.15e-24]",
          "s2": "[3.89890342910976657088937 +/- 3.31e-24]",
          "log_z1": "[31.1297161127010253832664 +/- 4.24e-23]"
        },
        {
          "index": 250,
          "row": [
            4211.254518904114,
            4253.367064093155,
            34,
            0.1,
            0.9999827586635516,
            true
          ],
          "main": "[1.21852905531664560937947e-6 +/- 8.36e-31]",
          "rem": "[1.91255576917744679258557e-11 +/- 7.28e-36]",
          "X": "[1.88351172044843552610555e-12 +/- 2.27e-36]",
          "Y": "[1.52945682782320153614915e-62 +/- 3.81e-86]",
          "margin": "[1.21850804624723338647602e-6 +/- 2.80e-30]",
          "relative_margin": "[0.999982758663553768514805 +/- 4.26e-25]",
          "s1": "[3.97234078999345780582169 +/- 1.27e-25]",
          "s2": "[3.97485127218806412767178 +/- 1.18e-24]",
          "log_z1": "[123.860427026591584281585 +/- 1.50e-23]"
        },
        {
          "index": 375,
          "row": [
            14607.74613834502,
            14753.823599728472,
            32,
            0.1,
            0.9999807212068781,
            true
          ],
          "main": "[9.43165302803044610758680e-8 +/- 4.81e-32]",
          "rem": "[1.59861476683378093684825e-12 +/- 3.38e-36]",
          "X": "[2.19694108122953097933259e-13 +/- 5.59e-38]",
          "Y": "[2.59541104241091725646102e-207 +/- 2.50e-231]",
          "margin": "[9.43147119714295043418333e-8 +/- 3.35e-32]",
          "relative_margin": "[0.999980721206881203090069 +/- 1.02e-25]",
          "s1": "[3.91648844490440526285430 +/- 2.89e-24]",
          "s2": "[3.91725054729275505121868 +/- 3.37e-25]",
          "log_z1": "[456.492066823281902543386 +/- 4.87e-22]"
        },
        {
          "index": 500,
          "row": [
            50670.470351400916,
            51046.0,
            30,
            0.1,
            0.9999781158141264,
            true
          ],
          "main": "[7.06522825220694402728262e-9 +/- 4.30e-33]",
          "rem": "[1.32502438353697315862829e-13 +/- 2.20e-37]",
          "X": "[2.21143299251625729803934e-14 +/- 1.76e-38]",
          "Y": "[5.99642841862241516039922e-743 +/- 2.71e-767]",
          "margin": "[7.06507363543866516739377e-9 +/- 2.49e-33]",
          "relative_margin": "[0.999978115814130907559066 +/- 1.23e-25]",
          "s1": "[3.72522004265863580897351 +/- 1.92e-24]",
          "s2": "[3.72538932250488441977462 +/- 4.72e-24]",
          "log_z1": "[1689.01567838003053717936 +/- 7.88e-22]"
        }
      ],
      "min_relative_margin": "[0.903017118664467114037617 +/- 4.97e-26]",
      "min_index": 0,
      "min_log_z1": "[9.25848181221188089769688 +/- 3.03e-24]",
      "min_M": 30,
      "max_M": 48
    },
    {
      "nrows": 449,
      "original_worst_index": 447,
      "samples": [
        {
          "index": 0,
          "row": [
            51046.0,
            53598.3,
            32,
            0.1,
            0.9999779177439193,
            true
          ],
          "main": "[7.22428751412183948794161e-9 +/- 2.67e-33]",
          "rem": "[1.41841039526362527093250e-13 +/- 1.17e-37]",
          "X": "[1.76875273356995031233873e-14 +/- 1.79e-39]",
          "Y": "[7.66262814854835848728452e-702 +/- 3.87e-726]",
          "margin": "[7.22412798555497742591140e-9 +/- 3.98e-33]",
          "relative_margin": "[0.999977917743922813155711 +/- 2.10e-25]",
          "s1": "[3.97374861067187671442626 +/- 3.70e-24]",
          "s2": "[3.97491128869005832946406 +/- 2.90e-24]",
          "log_z1": "1595.18750000000000000000"
        },
        {
          "index": 1,
          "row": [
            53598.3,
            56278.215000000004,
            32,
            0.1,
            0.999977798933858,
            true
          ],
          "main": "[6.55401357352620515874534e-9 +/- 2.49e-33]",
          "rem": "[1.28661114781304172708687e-13 +/- 4.87e-37]",
          "X": "[1.68449740376106649403660e-14 +/- 1.41e-38]",
          "Y": "[1.75917195772437954838183e-736 +/- 8.33e-761]",
          "margin": "[6.55386806743738624390769e-9 +/- 3.43e-33]",
          "relative_margin": "[0.999977798933861433960427 +/- 1.54e-25]",
          "s1": "[3.97491128869005832946406 +/- 2.90e-24]",
          "s2": "[3.97602276242834084031055 +/- 4.00e-24]",
          "log_z1": "[1674.94687500000009094947 +/- 1.78e-22]"
        },
        {
          "index": 112,
          "row": [
            12054888.893766787,
            12657633.338455128,
            25,
            0.1,
            0.9999551307345379,
            true
          ],
          "main": "[7.17951238872021481673462e-14 +/- 3.23e-38]",
          "rem": "[2.54695024965403586100429e-18 +/- 2.69e-42]",
          "X": "[6.74444221981031724289859e-19 +/- 4.67e-43]",
          "Y": "[1.60659697164476721970489e-209425 +/- 1.58e-209449]",
          "margin": "[7.17919024927305130997609e-14 +/- 2.65e-38]",
          "relative_margin": "[0.999955130734551050788056 +/- 3.21e-25]",
          "s1": "[3.12487915819094584492799 +/- 4.10e-24]",
          "s2": "[3.12488462346750513708879 +/- 2.57e-24]",
          "log_z1": "[482195.555750671476125717 +/- 1.64e-19]"
        },
        {
          "index": 224,
          "row": [
            2846850805.960543,
            2989193346.2585707,
            21,
            0.1,
            0.9998648065402513,
            true
          ],
          "main": "[4.62819422318170732887561e-19 +/- 2.61e-43]",
          "rem": "[4.56691650969590900567132e-23 +/- 1.84e-47]",
          "X": "[1.69009938214575671068074e-23 +/- 4.00e-47]",
          "Y": "[3.16169763662708115316323e-58874850 +/- 2.09e-58874874]",
          "margin": "[4.62756852159252316230398e-19 +/- 2.60e-43]",
          "relative_margin": "[0.999864806540302446393423 +/- 8.12e-26]",
          "s1": "[2.62499944924390000797077 +/- 2.13e-24]",
          "s2": "[2.62499947444208336038017 +/- 2.49e-26]",
          "log_z1": "[135564324.093359197889056 +/- 4.76e-16]"
        },
        {
          "index": 336,
          "row": [
            672304787113.2865,
            705920026468.9508,
            20,
            0.1,
            0.9972304464413744,
            true
          ],
          "main": "[3.93277946733842871249277e-24 +/- 1.65e-48]",
          "rem": "[8.18879722072257004757217e-28 +/- 4.02e-52]",
          "X": "[1.00731636328807107131114e-26 +/- 3.76e-50]",
          "Y": "[9.50519870528723917597330e-14598912961 +/- 3.10e-14598912985]",
          "margin": "[3.92188742398347574477490e-24 +/- 3.07e-48]",
          "relative_margin": "[0.997230446444960634434156 +/- 3.29e-25]",
          "s1": "[2.49999999729121745547530 +/- 2.43e-24]",
          "s2": "[2.49999999741606015782404 +/- 1.45e-24]",
          "log_z1": "[33615239355.6643249511719 +/- 2.51e-14]"
        },
        {
          "index": 447,
          "row": [
            151209264312453.97,
            158769727528076.7,
            20,
            0.1,
            0.4237175056658013,
            true
          ],
          "main": "[7.77454909826733643325151e-29 +/- 4.73e-53]",
          "rem": "[1.61880942209733221109753e-32 +/- 1.73e-57]",
          "X": "[4.47871773098017627938226e-29 +/- 3.33e-53]",
          "Y": "[3.52267734274907770411555e-3283467455178 +/- 3.11e-3283467455202]",
          "margin": "[3.29421255786506282165815e-29 +/- 3.88e-53]",
          "relative_margin": "[0.423717506472397570647074 +/- 3.79e-25]",
          "s1": "[2.49999999998580728518812 +/- 2.90e-24]",
          "s2": "[2.49999999998646469066484 +/- 8.79e-25]",
          "log_z1": "[7560463215622.69843750000 +/- 3e-16]"
        },
        {
          "index": 448,
          "row": [
            158769727528076.7,
            159011874857757.0,
            20,
            0.1,
            0.44951068613049,
            true
          ],
          "main": "[7.75088856503279790656165e-29 +/- 4.97e-53]",
          "rem": "[1.33586399528690663779454e-32 +/- 3.08e-56]",
          "X": "[4.26544545807634246383205e-29 +/- 2.24e-53]",
          "Y": "[4.71819003545310887656606e-3447640827937 +/- 1.87e-3447640827961]",
          "margin": "[3.48410724296116853609180e-29 +/- 2.74e-53]",
          "relative_margin": "[0.449510686901021847755640 +/- 1.49e-25]",
          "s1": "[2.49999999998646469066484 +/- 8.79e-25]",
          "s2": "[2.49999999998648472753220 +/- 4.39e-24]",
          "log_z1": "[7938486376403.83437500000 +/- 3e-16]"
        }
      ],
      "min_relative_margin": "[0.423717506472397570647074 +/- 3.79e-25]",
      "min_index": 447,
      "min_log_z1": "1595.18750000000000000000",
      "min_M": 20,
      "max_M": 32
    }
  ],
  "elapsed_seconds": 1.0176856517791748
}