Recorded data and provenance for the associated calculation.
| version | NSP-I1 |
|---|---|
| status | passed |
| created_at | 2026-10-18T12:44:50.860030+00:00 |
| assertions | 6336 |
| scope | Exact rational trapping constants and nonlinear mixtures; no ODE simulation, no PDE claim, no parent checker replay. |
| noncommuting_material_frobenius_squared | 1428059/40000000 |
| min_nonlinear_ratio_lower | 755.2617561858949 |
| max_rss_kib | 705964 |
| source_sha256 | c36735d547816a264d2265c5bc4294059ecffc03605d5afbdf0c113a8f77c1c6 |
View complete data
{
"version": "NSP-I1",
"status": "passed",
"created_at": "2026-10-18T12:44:50.860030+00:00",
"assertions": 6336,
"scope": "Exact rational trapping constants and nonlinear mixtures; no ODE simulation, no PDE claim, no parent checker replay.",
"rows": [
{
"d": 2,
"n": 76,
"K": 77,
"Kmax": 101,
"count": 2926,
"law": "128",
"k0": "0",
"x0": "1/2",
"gap": 76,
"max_gap": 2925,
"gamma": "179/5852",
"H0": "128/1463",
"H1": "128/2140369",
"beta": "6802/77",
"rho": "1/8",
"pmin": "63/1424",
"tau": "63/5696",
"Ebar": "1/32",
"relative_Ebar": "1/93632",
"tau_decimal": 0.011060393258426966,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 1.0680109364319891e-05,
"limiting_barrier": "material",
"full_kernel_dimension": 353
},
{
"d": 2,
"n": 76,
"K": 77,
"Kmax": 101,
"count": 2926,
"law": "128",
"k0": "3/4",
"x0": "8/25",
"gap": 76,
"max_gap": 2925,
"gamma": "179/5852",
"H0": "128/1463",
"H1": "128/2140369",
"beta": "6802/77",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "31827/23476352",
"Ebar": "1/32",
"relative_Ebar": "1/93632",
"tau_decimal": 0.001355704668255102,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 1.0680109364319891e-05,
"limiting_barrier": "material",
"full_kernel_dimension": 353
},
{
"d": 2,
"n": 76,
"K": 77,
"Kmax": 101,
"count": 2926,
"law": "variable",
"k0": "0",
"x0": "1/2",
"gap": 76,
"max_gap": 2925,
"gamma": "1/5852",
"H0": "79/2926",
"H1": "79/4280738",
"beta": "38/77",
"rho": "1/8",
"pmin": "63/1424",
"tau": "1463/1386608",
"Ebar": "361/693304",
"relative_Ebar": "19/106768816",
"tau_decimal": 0.0010550927154610388,
"Ebar_decimal": 0.0005206951063314217,
"relative_Ebar_decimal": 1.7795458179474425e-07,
"limiting_barrier": "spectral",
"full_kernel_dimension": 353
},
{
"d": 2,
"n": 76,
"K": 77,
"Kmax": 101,
"count": 2926,
"law": "variable",
"k0": "3/4",
"x0": "8/25",
"gap": 76,
"max_gap": 2925,
"gamma": "1/5852",
"H0": "79/2926",
"H1": "79/4280738",
"beta": "38/77",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "1463/1386608",
"Ebar": "361/693304",
"relative_Ebar": "19/106768816",
"tau_decimal": 0.0010550927154610388,
"Ebar_decimal": 0.0005206951063314217,
"relative_Ebar_decimal": 1.7795458179474425e-07,
"limiting_barrier": "spectral",
"full_kernel_dimension": 353
},
{
"d": 2,
"n": 81,
"K": 82,
"Kmax": 101,
"count": 3321,
"law": "128",
"k0": "0",
"x0": "1/2",
"gap": 81,
"max_gap": 3320,
"gamma": "29/1107",
"H0": "256/3321",
"H1": "512/11029041",
"beta": "7047/82",
"rho": "1/8",
"pmin": "63/1424",
"tau": "63/5696",
"Ebar": "1/32",
"relative_Ebar": "1/106272",
"tau_decimal": 0.011060393258426966,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 9.409816320385426e-06,
"limiting_barrier": "material",
"full_kernel_dimension": 373
},
{
"d": 2,
"n": 81,
"K": 82,
"Kmax": 101,
"count": 3321,
"law": "128",
"k0": "3/4",
"x0": "8/25",
"gap": 81,
"max_gap": 3320,
"gamma": "29/1107",
"H0": "256/3321",
"H1": "512/11029041",
"beta": "7047/82",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "31827/23476352",
"Ebar": "1/32",
"relative_Ebar": "1/106272",
"tau_decimal": 0.001355704668255102,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 9.409816320385426e-06,
"limiting_barrier": "material",
"full_kernel_dimension": 373
},
{
"d": 2,
"n": 81,
"K": 82,
"Kmax": 101,
"count": 3321,
"law": "variable",
"k0": "0",
"x0": "1/2",
"gap": 81,
"max_gap": 3320,
"gamma": "1/6642",
"H0": "28/1107",
"H1": "56/3676347",
"beta": "81/164",
"rho": "1/8",
"pmin": "63/1424",
"tau": "1107/1115632",
"Ebar": "2187/4462528",
"relative_Ebar": "27/182963648",
"tau_decimal": 0.0009922626816011013,
"Ebar_decimal": 0.000490080958595666,
"relative_Ebar_decimal": 1.4757029768011622e-07,
"limiting_barrier": "spectral",
"full_kernel_dimension": 373
},
{
"d": 2,
"n": 81,
"K": 82,
"Kmax": 101,
"count": 3321,
"law": "variable",
"k0": "3/4",
"x0": "8/25",
"gap": 81,
"max_gap": 3320,
"gamma": "1/6642",
"H0": "28/1107",
"H1": "56/3676347",
"beta": "81/164",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "1107/1115632",
"Ebar": "2187/4462528",
"relative_Ebar": "27/182963648",
"tau_decimal": 0.0009922626816011013,
"Ebar_decimal": 0.000490080958595666,
"relative_Ebar_decimal": 1.4757029768011622e-07,
"limiting_barrier": "spectral",
"full_kernel_dimension": 373
},
{
"d": 2,
"n": 95,
"K": 96,
"Kmax": 101,
"count": 4560,
"law": "128",
"k0": "0",
"x0": "1/2",
"gap": 95,
"max_gap": 4559,
"gamma": "1/57",
"H0": "16/285",
"H1": "2/81225",
"beta": "475/6",
"rho": "1/8",
"pmin": "63/1424",
"tau": "63/5696",
"Ebar": "1/32",
"relative_Ebar": "1/145920",
"tau_decimal": 0.011060393258426966,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 6.853070175438597e-06,
"limiting_barrier": "material",
"full_kernel_dimension": 429
},
{
"d": 2,
"n": 95,
"K": 96,
"Kmax": 101,
"count": 4560,
"law": "128",
"k0": "3/4",
"x0": "8/25",
"gap": 95,
"max_gap": 4559,
"gamma": "1/57",
"H0": "16/285",
"H1": "2/81225",
"beta": "475/6",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "31827/23476352",
"Ebar": "1/32",
"relative_Ebar": "1/145920",
"tau_decimal": 0.001355704668255102,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 6.853070175438597e-06,
"limiting_barrier": "material",
"full_kernel_dimension": 429
},
{
"d": 2,
"n": 95,
"K": 96,
"Kmax": 101,
"count": 4560,
"law": "variable",
"k0": "0",
"x0": "1/2",
"gap": 95,
"max_gap": 4559,
"gamma": "1/9120",
"H0": "49/2280",
"H1": "49/5198400",
"beta": "95/192",
"rho": "1/8",
"pmin": "63/1424",
"tau": "285/335111",
"Ebar": "9025/21447104",
"relative_Ebar": "95/1029460992",
"tau_decimal": 0.0008504644729656741,
"Ebar_decimal": 0.0004208027340194741,
"relative_Ebar_decimal": 9.228130132006012e-08,
"limiting_barrier": "spectral",
"full_kernel_dimension": 429
},
{
"d": 2,
"n": 95,
"K": 96,
"Kmax": 101,
"count": 4560,
"law": "variable",
"k0": "3/4",
"x0": "8/25",
"gap": 95,
"max_gap": 4559,
"gamma": "1/9120",
"H0": "49/2280",
"H1": "49/5198400",
"beta": "95/192",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "285/335111",
"Ebar": "9025/21447104",
"relative_Ebar": "95/1029460992",
"tau_decimal": 0.0008504644729656741,
"Ebar_decimal": 0.0004208027340194741,
"relative_Ebar_decimal": 9.228130132006012e-08,
"limiting_barrier": "spectral",
"full_kernel_dimension": 429
},
{
"d": 3,
"n": 1,
"K": 3,
"Kmax": 102,
"count": 1,
"law": "128",
"k0": "0",
"x0": "1/2",
"gap": 3,
"max_gap": 171699,
"gamma": "127",
"H0": "256",
"H1": "512",
"beta": "1143/2",
"rho": "1/8",
"pmin": "63/1424",
"tau": "127/175820288",
"Ebar": "1/3072",
"relative_Ebar": "1/3072",
"tau_decimal": 7.223284721271756e-07,
"Ebar_decimal": 0.0003255208333333333,
"relative_Ebar_decimal": 0.0003255208333333333,
"limiting_barrier": "current",
"full_kernel_dimension": 81
},
{
"d": 3,
"n": 1,
"K": 3,
"Kmax": 102,
"count": 1,
"law": "128",
"k0": "3/4",
"x0": "8/25",
"gap": 3,
"max_gap": 171699,
"gamma": "127",
"H0": "256",
"H1": "512",
"beta": "1143/2",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "127/175820288",
"Ebar": "1/12288",
"relative_Ebar": "1/12288",
"tau_decimal": 7.223284721271756e-07,
"Ebar_decimal": 8.138020833333333e-05,
"relative_Ebar_decimal": 8.138020833333333e-05,
"limiting_barrier": "current",
"full_kernel_dimension": 81
},
{
"d": 3,
"n": 1,
"K": 3,
"Kmax": 102,
"count": 1,
"law": "variable",
"k0": "0",
"x0": "1/2",
"gap": 3,
"max_gap": 171699,
"gamma": "1/3",
"H0": "4",
"H1": "8",
"beta": "3/2",
"rho": "1/8",
"pmin": "63/1424",
"tau": "1/8241576",
"Ebar": "1/5494384",
"relative_Ebar": "1/5494384",
"tau_decimal": 1.213360163153261e-07,
"Ebar_decimal": 1.8200402447298915e-07,
"relative_Ebar_decimal": 1.8200402447298915e-07,
"limiting_barrier": "spectral",
"full_kernel_dimension": 81
},
{
"d": 3,
"n": 1,
"K": 3,
"Kmax": 102,
"count": 1,
"law": "variable",
"k0": "3/4",
"x0": "8/25",
"gap": 3,
"max_gap": 171699,
"gamma": "1/3",
"H0": "4",
"H1": "8",
"beta": "3/2",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "1/8241576",
"Ebar": "1/5494384",
"relative_Ebar": "1/5494384",
"tau_decimal": 1.213360163153261e-07,
"Ebar_decimal": 1.8200402447298915e-07,
"relative_Ebar_decimal": 1.8200402447298915e-07,
"limiting_barrier": "spectral",
"full_kernel_dimension": 81
},
{
"d": 3,
"n": 4,
"K": 6,
"Kmax": 102,
"count": 20,
"law": "128",
"k0": "0",
"x0": "1/2",
"gap": 10,
"max_gap": 171680,
"gamma": "63/10",
"H0": "64/5",
"H1": "32/25",
"beta": "315",
"rho": "1/8",
"pmin": "63/1424",
"tau": "21/1465088",
"Ebar": "6615/1465088",
"relative_Ebar": "1323/5860352",
"tau_decimal": 1.4333609994757994e-05,
"Ebar_decimal": 0.004515087148348768,
"relative_Ebar_decimal": 0.0002257543574174384,
"limiting_barrier": "spectral",
"full_kernel_dimension": 153
},
{
"d": 3,
"n": 4,
"K": 6,
"Kmax": 102,
"count": 20,
"law": "128",
"k0": "3/4",
"x0": "8/25",
"gap": 10,
"max_gap": 171680,
"gamma": "63/10",
"H0": "64/5",
"H1": "32/25",
"beta": "315",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "21/1465088",
"Ebar": "5/3072",
"relative_Ebar": "1/12288",
"tau_decimal": 1.4333609994757994e-05,
"Ebar_decimal": 0.0016276041666666667,
"relative_Ebar_decimal": 8.138020833333333e-05,
"limiting_barrier": "current",
"full_kernel_dimension": 153
},
{
"d": 3,
"n": 4,
"K": 6,
"Kmax": 102,
"count": 20,
"law": "variable",
"k0": "0",
"x0": "1/2",
"gap": 10,
"max_gap": 171680,
"gamma": "1/60",
"H0": "3/10",
"H1": "3/100",
"beta": "5/6",
"rho": "1/8",
"pmin": "63/1424",
"tau": "1/618084",
"Ebar": "5/3708504",
"relative_Ebar": "1/14834016",
"tau_decimal": 1.6179030681913785e-06,
"Ebar_decimal": 1.3482525568261488e-06,
"relative_Ebar_decimal": 6.741262784130743e-08,
"limiting_barrier": "spectral",
"full_kernel_dimension": 153
},
{
"d": 3,
"n": 4,
"K": 6,
"Kmax": 102,
"count": 20,
"law": "variable",
"k0": "3/4",
"x0": "8/25",
"gap": 10,
"max_gap": 171680,
"gamma": "1/60",
"H0": "3/10",
"H1": "3/100",
"beta": "5/6",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "1/618084",
"Ebar": "5/3708504",
"relative_Ebar": "1/14834016",
"tau_decimal": 1.6179030681913785e-06,
"Ebar_decimal": 1.3482525568261488e-06,
"relative_Ebar_decimal": 6.741262784130743e-08,
"limiting_barrier": "spectral",
"full_kernel_dimension": 153
},
{
"d": 4,
"n": 3,
"K": 6,
"Kmax": 103,
"count": 15,
"law": "128",
"k0": "0",
"x0": "1/2",
"gap": 10,
"max_gap": 4421260,
"gamma": "253/30",
"H0": "256/15",
"H1": "512/225",
"beta": "1265/3",
"rho": "1/8",
"pmin": "63/1424",
"tau": "759/1810951168",
"Ebar": "320045/1810951168",
"relative_Ebar": "64009/5432853504",
"tau_decimal": 4.1911676770292684e-07,
"Ebar_decimal": 0.0001767275703814008,
"relative_Ebar_decimal": 1.1781838025426721e-05,
"limiting_barrier": "spectral",
"full_kernel_dimension": 377
},
{
"d": 4,
"n": 3,
"K": 6,
"Kmax": 103,
"count": 15,
"law": "128",
"k0": "3/4",
"x0": "8/25",
"gap": 10,
"max_gap": 4421260,
"gamma": "253/30",
"H0": "256/15",
"H1": "512/225",
"beta": "1265/3",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "759/1810951168",
"Ebar": "320045/1810951168",
"relative_Ebar": "64009/5432853504",
"tau_decimal": 4.1911676770292684e-07,
"Ebar_decimal": 0.0001767275703814008,
"relative_Ebar_decimal": 1.1781838025426721e-05,
"limiting_barrier": "spectral",
"full_kernel_dimension": 377
},
{
"d": 4,
"n": 3,
"K": 6,
"Kmax": 103,
"count": 15,
"law": "variable",
"k0": "0",
"x0": "1/2",
"gap": 10,
"max_gap": 4421260,
"gamma": "1/60",
"H0": "1/3",
"H1": "2/45",
"beta": "5/6",
"rho": "1/8",
"pmin": "63/1424",
"tau": "3/70740280",
"Ebar": "1/28296112",
"relative_Ebar": "1/424441680",
"tau_decimal": 4.2408653174683503e-08,
"Ebar_decimal": 3.5340544312236255e-08,
"relative_Ebar_decimal": 2.356036287482417e-09,
"limiting_barrier": "spectral",
"full_kernel_dimension": 377
},
{
"d": 4,
"n": 3,
"K": 6,
"Kmax": 103,
"count": 15,
"law": "variable",
"k0": "3/4",
"x0": "8/25",
"gap": 10,
"max_gap": 4421260,
"gamma": "1/60",
"H0": "1/3",
"H1": "2/45",
"beta": "5/6",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "3/70740280",
"Ebar": "1/28296112",
"relative_Ebar": "1/424441680",
"tau_decimal": 4.2408653174683503e-08,
"Ebar_decimal": 3.5340544312236255e-08,
"relative_Ebar_decimal": 2.356036287482417e-09,
"limiting_barrier": "spectral",
"full_kernel_dimension": 377
},
{
"d": 4,
"n": 20,
"K": 23,
"Kmax": 103,
"count": 8855,
"law": "128",
"k0": "0",
"x0": "1/2",
"gap": 1540,
"max_gap": 4412420,
"gamma": "489/35420",
"H0": "256/8855",
"H1": "512/78411025",
"beta": "376530/23",
"rho": "1/8",
"pmin": "63/1424",
"tau": "288673/1206093824",
"Ebar": "1/32",
"relative_Ebar": "1/283360",
"tau_decimal": 0.00023934539275113643,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 3.529079616036138e-06,
"limiting_barrier": "material",
"full_kernel_dimension": 10441
},
{
"d": 4,
"n": 20,
"K": 23,
"Kmax": 103,
"count": 8855,
"law": "128",
"k0": "3/4",
"x0": "8/25",
"gap": 1540,
"max_gap": 4412420,
"gamma": "489/35420",
"H0": "256/8855",
"H1": "512/78411025",
"beta": "376530/23",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "288673/1206093824",
"Ebar": "1/32",
"relative_Ebar": "1/283360",
"tau_decimal": 0.00023934539275113643,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 3.529079616036138e-06,
"limiting_barrier": "material",
"full_kernel_dimension": 10441
},
{
"d": 4,
"n": 20,
"K": 23,
"Kmax": 103,
"count": 8855,
"law": "variable",
"k0": "0",
"x0": "1/2",
"gap": 1540,
"max_gap": 4412420,
"gamma": "1/35420",
"H0": "27/17710",
"H1": "27/78411025",
"beta": "770/23",
"rho": "1/8",
"pmin": "63/1424",
"tau": "1771/190807812",
"Ebar": "29645/95403906",
"relative_Ebar": "77/2194289838",
"tau_decimal": 9.2815906300524e-06,
"Ebar_decimal": 0.0003107315123974065,
"relative_Ebar_decimal": 3.509107988677656e-08,
"limiting_barrier": "spectral",
"full_kernel_dimension": 10441
},
{
"d": 4,
"n": 20,
"K": 23,
"Kmax": 103,
"count": 8855,
"law": "variable",
"k0": "3/4",
"x0": "8/25",
"gap": 1540,
"max_gap": 4412420,
"gamma": "1/35420",
"H0": "27/17710",
"H1": "27/78411025",
"beta": "770/23",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "1771/190807812",
"Ebar": "29645/95403906",
"relative_Ebar": "77/2194289838",
"tau_decimal": 9.2815906300524e-06,
"Ebar_decimal": 0.0003107315123974065,
"relative_Ebar_decimal": 3.509107988677656e-08,
"limiting_barrier": "spectral",
"full_kernel_dimension": 10441
},
{
"d": 4,
"n": 72,
"K": 75,
"Kmax": 103,
"count": 1215450,
"law": "128",
"k0": "0",
"x0": "1/2",
"gap": 64824,
"max_gap": 3205825,
"gamma": "437/4861800",
"H0": "128/607725",
"H1": "128/369329675625",
"beta": "4721348/25",
"rho": "1/8",
"pmin": "63/1424",
"tau": "63/5696",
"Ebar": "1/32",
"relative_Ebar": "1/38894400",
"tau_decimal": 0.011060393258426966,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 2.5710642148998313e-08,
"limiting_barrier": "material",
"full_kernel_dimension": 304345
},
{
"d": 4,
"n": 72,
"K": 75,
"Kmax": 103,
"count": 1215450,
"law": "128",
"k0": "3/4",
"x0": "8/25",
"gap": 64824,
"max_gap": 3205825,
"gamma": "437/4861800",
"H0": "128/607725",
"H1": "128/369329675625",
"beta": "4721348/25",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "31827/23476352",
"Ebar": "1/32",
"relative_Ebar": "1/38894400",
"tau_decimal": 0.001355704668255102,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 2.5710642148998313e-08,
"limiting_barrier": "material",
"full_kernel_dimension": 304345
},
{
"d": 4,
"n": 72,
"K": 75,
"Kmax": 103,
"count": 1215450,
"law": "variable",
"k0": "0",
"x0": "1/2",
"gap": 64824,
"max_gap": 3205825,
"gamma": "1/4861800",
"H0": "79/2430900",
"H1": "79/1477318702500",
"beta": "10804/25",
"rho": "1/8",
"pmin": "63/1424",
"tau": "24309/48203272",
"Ebar": "1/32",
"relative_Ebar": "1/38894400",
"tau_decimal": 0.0005043018656492862,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 2.5710642148998313e-08,
"limiting_barrier": "material",
"full_kernel_dimension": 304345
},
{
"d": 4,
"n": 72,
"K": 75,
"Kmax": 103,
"count": 1215450,
"law": "variable",
"k0": "3/4",
"x0": "8/25",
"gap": 64824,
"max_gap": 3205825,
"gamma": "1/4861800",
"H0": "79/2430900",
"H1": "79/1477318702500",
"beta": "10804/25",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "24309/48203272",
"Ebar": "1/32",
"relative_Ebar": "1/38894400",
"tau_decimal": 0.0005043018656492862,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 2.5710642148998313e-08,
"limiting_barrier": "material",
"full_kernel_dimension": 304345
},
{
"d": 5,
"n": 10,
"K": 14,
"Kmax": 104,
"count": 2002,
"law": "128",
"k0": "0",
"x0": "1/2",
"gap": 715,
"max_gap": 91960518,
"gamma": "313/5005",
"H0": "128/1001",
"H1": "128/1002001",
"beta": "223795/14",
"rho": "1/8",
"pmin": "63/1424",
"tau": "24101/9054672640",
"Ebar": "1/32",
"relative_Ebar": "1/64064",
"tau_decimal": 2.661719640037699e-06,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 1.560939060939061e-05,
"limiting_barrier": "material",
"full_kernel_dimension": 12281
},
{
"d": 5,
"n": 10,
"K": 14,
"Kmax": 104,
"count": 2002,
"law": "128",
"k0": "3/4",
"x0": "8/25",
"gap": 715,
"max_gap": 91960518,
"gamma": "313/5005",
"H0": "128/1001",
"H1": "128/1002001",
"beta": "223795/14",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "24101/9054672640",
"Ebar": "1/32",
"relative_Ebar": "1/64064",
"tau_decimal": 2.661719640037699e-06,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 1.560939060939061e-05,
"limiting_barrier": "material",
"full_kernel_dimension": 12281
},
{
"d": 5,
"n": 10,
"K": 14,
"Kmax": 104,
"count": 2002,
"law": "variable",
"k0": "0",
"x0": "1/2",
"gap": 715,
"max_gap": 91960518,
"gamma": "1/10010",
"H0": "19/5005",
"H1": "19/5010005",
"beta": "715/28",
"rho": "1/8",
"pmin": "63/1424",
"tau": "77/537621188",
"Ebar": "605/165421904",
"relative_Ebar": "55/30106786528",
"tau_decimal": 1.4322352191223534e-07,
"Ebar_decimal": 3.657314934544581e-06,
"relative_Ebar_decimal": 1.826830636635655e-09,
"limiting_barrier": "spectral",
"full_kernel_dimension": 12281
},
{
"d": 5,
"n": 10,
"K": 14,
"Kmax": 104,
"count": 2002,
"law": "variable",
"k0": "3/4",
"x0": "8/25",
"gap": 715,
"max_gap": 91960518,
"gamma": "1/10010",
"H0": "19/5005",
"H1": "19/5010005",
"beta": "715/28",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "77/537621188",
"Ebar": "605/165421904",
"relative_Ebar": "55/30106786528",
"tau_decimal": 1.4322352191223534e-07,
"Ebar_decimal": 3.657314934544581e-06,
"relative_Ebar_decimal": 1.826830636635655e-09,
"limiting_barrier": "spectral",
"full_kernel_dimension": 12281
},
{
"d": 5,
"n": 15,
"K": 19,
"Kmax": 104,
"count": 11628,
"law": "128",
"k0": "0",
"x0": "1/2",
"gap": 3060,
"max_gap": 91950892,
"gamma": "69/6460",
"H0": "64/2907",
"H1": "32/8450649",
"beta": "950130/19",
"rho": "1/8",
"pmin": "63/1424",
"tau": "106191/6923799040",
"Ebar": "1/32",
"relative_Ebar": "1/372096",
"tau_decimal": 1.5337100251829376e-05,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 2.6874785001719985e-06,
"limiting_barrier": "material",
"full_kernel_dimension": 35461
},
{
"d": 5,
"n": 15,
"K": 19,
"Kmax": 104,
"count": 11628,
"law": "128",
"k0": "3/4",
"x0": "8/25",
"gap": 3060,
"max_gap": 91950892,
"gamma": "69/6460",
"H0": "64/2907",
"H1": "32/8450649",
"beta": "950130/19",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "106191/6923799040",
"Ebar": "1/32",
"relative_Ebar": "1/372096",
"tau_decimal": 1.5337100251829376e-05,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 2.6874785001719985e-06,
"limiting_barrier": "material",
"full_kernel_dimension": 35461
},
{
"d": 5,
"n": 15,
"K": 19,
"Kmax": 104,
"count": 11628,
"law": "variable",
"k0": "0",
"x0": "1/2",
"gap": 3060,
"max_gap": 91950892,
"gamma": "1/58140",
"H0": "4/4845",
"H1": "2/14084415",
"beta": "1530/19",
"rho": "1/8",
"pmin": "63/1424",
"tau": "57/86547488",
"Ebar": "2295/43273744",
"relative_Ebar": "15/3288804544",
"tau_decimal": 6.58597971093049e-07,
"Ebar_decimal": 5.303446819854552e-05,
"relative_Ebar_decimal": 4.560927777652694e-09,
"limiting_barrier": "spectral",
"full_kernel_dimension": 35461
},
{
"d": 5,
"n": 15,
"K": 19,
"Kmax": 104,
"count": 11628,
"law": "variable",
"k0": "3/4",
"x0": "8/25",
"gap": 3060,
"max_gap": 91950892,
"gamma": "1/58140",
"H0": "4/4845",
"H1": "2/14084415",
"beta": "1530/19",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "57/86547488",
"Ebar": "2295/43273744",
"relative_Ebar": "15/3288804544",
"tau_decimal": 6.58597971093049e-07,
"Ebar_decimal": 5.303446819854552e-05,
"relative_Ebar_decimal": 4.560927777652694e-09,
"limiting_barrier": "spectral",
"full_kernel_dimension": 35461
},
{
"d": 5,
"n": 22,
"K": 26,
"Kmax": 104,
"count": 65780,
"law": "128",
"k0": "0",
"x0": "1/2",
"gap": 12650,
"max_gap": 91896740,
"gamma": "307/164450",
"H0": "64/16445",
"H1": "32/270438025",
"beta": "1941775/13",
"rho": "1/8",
"pmin": "63/1424",
"tau": "77671/905153280",
"Ebar": "1/32",
"relative_Ebar": "1/2104960",
"tau_decimal": 8.580977577631934e-05,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 4.7506840985101853e-07,
"limiting_barrier": "material",
"full_kernel_dimension": 109661
},
{
"d": 5,
"n": 22,
"K": 26,
"Kmax": 104,
"count": 65780,
"law": "128",
"k0": "3/4",
"x0": "8/25",
"gap": 12650,
"max_gap": 91896740,
"gamma": "307/164450",
"H0": "64/16445",
"H1": "32/270438025",
"beta": "1941775/13",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "77671/905153280",
"Ebar": "1/32",
"relative_Ebar": "1/2104960",
"tau_decimal": 8.580977577631934e-05,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 4.7506840985101853e-07,
"limiting_barrier": "material",
"full_kernel_dimension": 109661
},
{
"d": 5,
"n": 22,
"K": 26,
"Kmax": 104,
"count": 65780,
"law": "variable",
"k0": "0",
"x0": "1/2",
"gap": 12650,
"max_gap": 91896740,
"gamma": "1/328900",
"H0": "31/164450",
"H1": "31/5408760500",
"beta": "6325/26",
"rho": "1/8",
"pmin": "63/1424",
"tau": "253/87686724",
"Ebar": "1600225/2279854824",
"relative_Ebar": "1265/118552450848",
"tau_decimal": 2.8852714351604695e-06,
"Ebar_decimal": 0.000701897762591922,
"relative_Ebar_decimal": 1.0670382526481028e-08,
"limiting_barrier": "spectral",
"full_kernel_dimension": 109661
},
{
"d": 5,
"n": 22,
"K": 26,
"Kmax": 104,
"count": 65780,
"law": "variable",
"k0": "3/4",
"x0": "8/25",
"gap": 12650,
"max_gap": 91896740,
"gamma": "1/328900",
"H0": "31/164450",
"H1": "31/5408760500",
"beta": "6325/26",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "253/87686724",
"Ebar": "1600225/2279854824",
"relative_Ebar": "1265/118552450848",
"tau_decimal": 2.8852714351604695e-06,
"Ebar_decimal": 0.000701897762591922,
"relative_Ebar_decimal": 1.0670382526481028e-08,
"limiting_barrier": "spectral",
"full_kernel_dimension": 109661
},
{
"d": 6,
"n": 13,
"K": 18,
"Kmax": 105,
"count": 18564,
"law": "128",
"k0": "0",
"x0": "1/2",
"gap": 6188,
"max_gap": 1609325536,
"gamma": "125/18564",
"H0": "64/4641",
"H1": "32/21538881",
"beta": "386750/3",
"rho": "1/8",
"pmin": "63/1424",
"tau": "375/266315264",
"Ebar": "1/32",
"relative_Ebar": "1/594048",
"tau_decimal": 1.4081055451631943e-06,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 1.6833656539538892e-06,
"limiting_barrier": "material",
"full_kernel_dimension": 134637
},
{
"d": 6,
"n": 13,
"K": 18,
"Kmax": 105,
"count": 18564,
"law": "128",
"k0": "3/4",
"x0": "8/25",
"gap": 6188,
"max_gap": 1609325536,
"gamma": "125/18564",
"H0": "64/4641",
"H1": "32/21538881",
"beta": "386750/3",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "375/266315264",
"Ebar": "1/32",
"relative_Ebar": "1/594048",
"tau_decimal": 1.4081055451631943e-06,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 1.6833656539538892e-06,
"limiting_barrier": "material",
"full_kernel_dimension": 134637
},
{
"d": 6,
"n": 13,
"K": 18,
"Kmax": 105,
"count": 18564,
"law": "variable",
"k0": "0",
"x0": "1/2",
"gap": 6188,
"max_gap": 1609325536,
"gamma": "1/111384",
"H0": "2/4641",
"H1": "1/21538881",
"beta": "1547/9",
"rho": "1/8",
"pmin": "63/1424",
"tau": "1/16644704",
"Ebar": "1547/149802336",
"relative_Ebar": "1/1797628032",
"tau_decimal": 6.007916992696296e-08,
"Ebar_decimal": 1.032694176411241e-05,
"relative_Ebar_decimal": 5.562886104348422e-10,
"limiting_barrier": "spectral",
"full_kernel_dimension": 134637
},
{
"d": 6,
"n": 13,
"K": 18,
"Kmax": 105,
"count": 18564,
"law": "variable",
"k0": "3/4",
"x0": "8/25",
"gap": 6188,
"max_gap": 1609325536,
"gamma": "1/111384",
"H0": "2/4641",
"H1": "1/21538881",
"beta": "1547/9",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "1/16644704",
"Ebar": "1547/149802336",
"relative_Ebar": "1/1797628032",
"tau_decimal": 6.007916992696296e-08,
"Ebar_decimal": 1.032694176411241e-05,
"relative_Ebar_decimal": 5.562886104348422e-10,
"limiting_barrier": "spectral",
"full_kernel_dimension": 134637
},
{
"d": 6,
"n": 35,
"K": 40,
"Kmax": 105,
"count": 3838380,
"law": "128",
"k0": "0",
"x0": "1/2",
"gap": 575757,
"max_gap": 1605505720,
"gamma": "1/31635",
"H0": "64/959595",
"H1": "32/920822564025",
"beta": "52393887/10",
"rho": "1/8",
"pmin": "63/1424",
"tau": "703/2484608",
"Ebar": "1/32",
"relative_Ebar": "1/122828160",
"tau_decimal": 0.00028294201741280715,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 8.141455509876563e-09,
"limiting_barrier": "material",
"full_kernel_dimension": 4887077
},
{
"d": 6,
"n": 35,
"K": 40,
"Kmax": 105,
"count": 3838380,
"law": "128",
"k0": "3/4",
"x0": "8/25",
"gap": 575757,
"max_gap": 1605505720,
"gamma": "1/31635",
"H0": "64/959595",
"H1": "32/920822564025",
"beta": "52393887/10",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "703/2484608",
"Ebar": "1/32",
"relative_Ebar": "1/122828160",
"tau_decimal": 0.00028294201741280715,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 8.141455509876563e-09,
"limiting_barrier": "material",
"full_kernel_dimension": 4887077
},
{
"d": 6,
"n": 35,
"K": 40,
"Kmax": 105,
"count": 3838380,
"law": "variable",
"k0": "0",
"x0": "1/2",
"gap": 575757,
"max_gap": 1605505720,
"gamma": "1/23030280",
"H0": "23/5757570",
"H1": "23/11049870768300",
"beta": "575757/80",
"rho": "1/8",
"pmin": "63/1424",
"tau": "2109/325017784",
"Ebar": "1/32",
"relative_Ebar": "1/122828160",
"tau_decimal": 6.4888756979525776e-06,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 8.141455509876563e-09,
"limiting_barrier": "material",
"full_kernel_dimension": 4887077
},
{
"d": 6,
"n": 35,
"K": 40,
"Kmax": 105,
"count": 3838380,
"law": "variable",
"k0": "3/4",
"x0": "8/25",
"gap": 575757,
"max_gap": 1605505720,
"gamma": "1/23030280",
"H0": "23/5757570",
"H1": "23/11049870768300",
"beta": "575757/80",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "2109/325017784",
"Ebar": "1/32",
"relative_Ebar": "1/122828160",
"tau_decimal": 6.4888756979525776e-06,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 8.141455509876563e-09,
"limiting_barrier": "material",
"full_kernel_dimension": 4887077
},
{
"d": 10,
"n": 23,
"K": 32,
"Kmax": 109,
"count": 64512240,
"law": "128",
"k0": "0",
"x0": "1/2",
"gap": 20160075,
"max_gap": 42634150600470,
"gamma": "1/516925",
"H0": "16/4032015",
"H1": "2/16257144960225",
"beta": "786242925/2",
"rho": "1/8",
"pmin": "63/1424",
"tau": "268801/1457578901080",
"Ebar": "1/32",
"relative_Ebar": "1/2064391680",
"tau_decimal": 1.844160887625573e-07,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 4.84404199885169e-10,
"limiting_barrier": "material",
"full_kernel_dimension": 1401374301
},
{
"d": 10,
"n": 23,
"K": 32,
"Kmax": 109,
"count": 64512240,
"law": "128",
"k0": "3/4",
"x0": "8/25",
"gap": 20160075,
"max_gap": 42634150600470,
"gamma": "1/516925",
"H0": "16/4032015",
"H1": "2/16257144960225",
"beta": "786242925/2",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "268801/1457578901080",
"Ebar": "1/32",
"relative_Ebar": "1/2064391680",
"tau_decimal": 1.844160887625573e-07,
"Ebar_decimal": 0.03125,
"relative_Ebar_decimal": 4.84404199885169e-10,
"limiting_barrier": "material",
"full_kernel_dimension": 1401374301
},
{
"d": 10,
"n": 23,
"K": 32,
"Kmax": 109,
"count": 64512240,
"law": "variable",
"k0": "0",
"x0": "1/2",
"gap": 20160075,
"max_gap": 42634150600470,
"gamma": "1/645122400",
"H0": "7/53760200",
"H1": "7/1734095462424000",
"beta": "20160075/64",
"rho": "1/8",
"pmin": "63/1424",
"tau": "20677/4591373538402",
"Ebar": "138949956925/97949302152576",
"relative_Ebar": "103385/4701566503323648",
"tau_decimal": 4.50344539102704e-09,
"Ebar_decimal": 0.0014185905756485852,
"relative_Ebar_decimal": 2.198947944837422e-11,
"limiting_barrier": "spectral",
"full_kernel_dimension": 1401374301
},
{
"d": 10,
"n": 23,
"K": 32,
"Kmax": 109,
"count": 64512240,
"law": "variable",
"k0": "3/4",
"x0": "8/25",
"gap": 20160075,
"max_gap": 42634150600470,
"gamma": "1/645122400",
"H0": "7/53760200",
"H1": "7/1734095462424000",
"beta": "20160075/64",
"rho": "1/16",
"pmin": "31827/5869088",
"tau": "20677/4591373538402",
"Ebar": "138949956925/97949302152576",
"relative_Ebar": "103385/4701566503323648",
"tau_decimal": 4.50344539102704e-09,
"Ebar_decimal": 0.0014185905756485852,
"relative_Ebar_decimal": 2.198947944837422e-11,
"limiting_barrier": "spectral",
"full_kernel_dimension": 1401374301
}
],
"mixtures": [
{
"d": 2,
"n": 76,
"law": "128",
"k0": "0",
"kind": 0,
"t": "63/11392",
"B_minus_c_lower": "68135853205875268224207/38358442214428469344",
"beta_t": "30609/62656",
"nonlinear_ratio_lower": 3636.036727724637
},
{
"d": 2,
"n": 76,
"law": "128",
"k0": "0",
"kind": 1,
"t": "21/5696",
"B_minus_c_lower": "21571069745835824357175/38404675607063161312",
"beta_t": "10203/31328",
"nonlinear_ratio_lower": 1724.6158192403302
},
{
"d": 2,
"n": 76,
"law": "128",
"k0": "0",
"kind": 2,
"t": "63/22784",
"B_minus_c_lower": "1701349968755763769740975/2463131685390600295168",
"beta_t": "30609/125312",
"nonlinear_ratio_lower": 2827.805576363113
},
{
"d": 2,
"n": 76,
"law": "128",
"k0": "3/4",
"kind": 0,
"t": "31827/46952704",
"B_minus_c_lower": "12021500708103445047675229291998777/51752889913884490768393337868352",
"beta_t": "108243627/1807679104",
"nonlinear_ratio_lower": 3879.2081362397557
},
{
"d": 2,
"n": 76,
"law": "128",
"k0": "3/4",
"kind": 1,
"t": "10609/23476352",
"B_minus_c_lower": "520347401220705192988979822883835/17258623577451443372833212529088",
"beta_t": "36081209/903839552",
"nonlinear_ratio_lower": 755.2617561858949
},
{
"d": 2,
"n": 76,
"law": "128",
"k0": "3/4",
"kind": 2,
"t": "31827/93905408",
"B_minus_c_lower": "256250506224570349138740911252698425/3314274693622223527359131661369856",
"beta_t": "108243627/3615358208",
"nonlinear_ratio_lower": 2582.4102013724637
},
{
"d": 2,
"n": 76,
"law": "variable",
"k0": "0",
"kind": 0,
"t": "1463/2773216",
"B_minus_c_lower": "190589827692320871713247695341980935426832181681590859706418939/3710162651198839569630790254110259411431363180763062265184256",
"beta_t": "361/1386608",
"nonlinear_ratio_lower": 197311.8950936794
},
{
"d": 2,
"n": 76,
"law": "variable",
"k0": "0",
"kind": 1,
"t": "1463/4159824",
"B_minus_c_lower": "269404030313090952953192145798066836410320551204684378613788275/16697646842892626216659723747099480544633110716837518056095744",
"beta_t": "361/2079912",
"nonlinear_ratio_lower": 92957.95815449634
},
{
"d": 2,
"n": 76,
"law": "variable",
"k0": "0",
"kind": 2,
"t": "1463/5546432",
"B_minus_c_lower": "9660958183458487482333011400709701220567954096984461018167167875/475051607748928958464834710036068270232115685931724841257271296",
"beta_t": "361/2773216",
"nonlinear_ratio_lower": 156226.93243836027
},
{
"d": 2,
"n": 76,
"law": "variable",
"k0": "3/4",
"kind": 0,
"t": "1463/2773216",
"B_minus_c_lower": "1147793424797516619595573228383797758479285311669595208229399447421/20998698082463805372212699955698310882501321599462334221120438272",
"beta_t": "361/1386608",
"nonlinear_ratio_lower": 209950.95904117983
},
{
"d": 2,
"n": 76,
"law": "variable",
"k0": "3/4",
"kind": 1,
"t": "1463/4159824",
"B_minus_c_lower": "1798333782196230609039194371108921124459171029735250057128498033655/252071450002494887482836533228326884666260090633109309094182780928",
"beta_t": "361/2079912",
"nonlinear_ratio_lower": 41104.02979840942
},
{
"d": 2,
"n": 76,
"law": "variable",
"k0": "3/4",
"kind": 2,
"t": "1463/5546432",
"B_minus_c_lower": "6281665010675805151054535324748557626002342477136956961184746881075/336144125623848268741530965832217023607449243686326021191676985344",
"beta_t": "361/2773216",
"nonlinear_ratio_lower": 143557.45212780646
},
{
"d": 2,
"n": 81,
"law": "128",
"k0": "0",
"kind": 0,
"t": "63/11392",
"B_minus_c_lower": "995255073362751863967641/541608665995317135232",
"beta_t": "443961/934144",
"nonlinear_ratio_lower": 3866.4981184618555
},
{
"d": 2,
"n": 81,
"law": "128",
"k0": "0",
"kind": 1,
"t": "21/5696",
"B_minus_c_lower": "29150258643137437590715/45195607971870856768",
"beta_t": "147987/467072",
"nonlinear_ratio_lower": 2035.665640633309
},
{
"d": 2,
"n": 81,
"law": "128",
"k0": "0",
"kind": 2,
"t": "63/22784",
"B_minus_c_lower": "19385387021685164008585/33961256626899781856",
"beta_t": "443961/1868288",
"nonlinear_ratio_lower": 2402.0925031016404
},
{
"d": 2,
"n": 81,
"law": "128",
"k0": "3/4",
"kind": 0,
"t": "31827/46952704",
"B_minus_c_lower": "78712792797336856156044544020052379/313269259088057162112951718791424",
"beta_t": "224284869/3850121728",
"nonlinear_ratio_lower": 4313.224137410856
},
{
"d": 2,
"n": 81,
"law": "128",
"k0": "3/4",
"kind": 1,
"t": "10609/23476352",
"B_minus_c_lower": "7138575400248624226393117601670505/235057670386677574806074538967936",
"beta_t": "74761623/1925060864",
"nonlinear_ratio_lower": 781.9930036576756
},
{
"d": 2,
"n": 81,
"law": "128",
"k0": "3/4",
"kind": 2,
"t": "31827/93905408",
"B_minus_c_lower": "1114113727029137174533057270796635/19591002430233680374155575079488",
"beta_t": "224284869/7700243456",
"nonlinear_ratio_lower": 1952.4384304795644
},
{
"d": 2,
"n": 81,
"law": "variable",
"k0": "0",
"kind": 0,
"t": "1107/2231264",
"B_minus_c_lower": "6122043054616388755284792747210654197058487905592520757699670655/115282242687992299042817953995357380433398306786268130299609088",
"beta_t": "2187/8925056",
"nonlinear_ratio_lower": 216718.5716389217
},
{
"d": 2,
"n": 81,
"law": "variable",
"k0": "0",
"kind": 1,
"t": "369/1115632",
"B_minus_c_lower": "259585176823471763220491612167153452877791862088227865199505/14005868317809729334054185450206593783733952563628157698048",
"beta_t": "729/4462528",
"nonlinear_ratio_lower": 113454.90490482298
},
{
"d": 2,
"n": 81,
"law": "variable",
"k0": "0",
"kind": 2,
"t": "1107/4462528",
"B_minus_c_lower": "2463301181431195689678716397370858643303549273320343078925905/147086703076559781373205378510189147401300805747804255289344",
"beta_t": "2187/17850112",
"nonlinear_ratio_lower": 136689.8491079953
},
{
"d": 2,
"n": 81,
"law": "variable",
"k0": "3/4",
"kind": 0,
"t": "1107/2231264",
"B_minus_c_lower": "19294886951550834933428503529738464250301416799085163864998584064821/326242432588905288342549213740203022494220541914096770077140451328",
"beta_t": "2187/8925056",
"nonlinear_ratio_lower": 241359.25597910964
},
{
"d": 2,
"n": 81,
"law": "variable",
"k0": "3/4",
"kind": 1,
"t": "369/1115632",
"B_minus_c_lower": "71515329095378182474120520769391123850868018874941747939954210605/9990302072003247206567210742927418105415965173782734021502959616",
"beta_t": "729/4462528",
"nonlinear_ratio_lower": 43820.158822564335
},
{
"d": 2,
"n": 81,
"law": "variable",
"k0": "3/4",
"kind": 2,
"t": "1107/4462528",
"B_minus_c_lower": "11427695513370503257872894465120748791371902365888078876882597485/832614239437429351518419889382490686070164440752126338350972928",
"beta_t": "2187/17850112",
"nonlinear_ratio_lower": 112022.94575398129
},
{
"d": 2,
"n": 95,
"law": "128",
"k0": "0",
"kind": 0,
"t": "63/11392",
"B_minus_c_lower": "253311110158319095941975/111475642739043204928",
"beta_t": "9975/22784",
"nonlinear_ratio_lower": 5190.286375054162
},
{
"d": 2,
"n": 95,
"law": "128",
"k0": "0",
"kind": 1,
"t": "21/5696",
"B_minus_c_lower": "8561543377762849309003/8723694564746127208",
"beta_t": "3325/11392",
"nonlinear_ratio_lower": 3362.481754680089
},
{
"d": 2,
"n": 95,
"law": "128",
"k0": "0",
"kind": 2,
"t": "63/22784",
"B_minus_c_lower": "4336402788999948068408811/8946033966024783060224",
"beta_t": "9975/45568",
"nonlinear_ratio_lower": 2214.3493323407192
},
{
"d": 2,
"n": 95,
"law": "128",
"k0": "3/4",
"kind": 0,
"t": "31827/46952704",
"B_minus_c_lower": "190459957921905927514971539180635/581248281898517577471843762816",
"beta_t": "5039275/93905408",
"nonlinear_ratio_lower": 6106.108918035585
},
{
"d": 2,
"n": 95,
"law": "128",
"k0": "3/4",
"kind": 1,
"t": "10609/23476352",
"B_minus_c_lower": "206759087182888062197035730154777/5042841409247878121254173821168",
"beta_t": "5039275/140858112",
"nonlinear_ratio_lower": 1146.0487709000772
},
{
"d": 2,
"n": 95,
"law": "128",
"k0": "3/4",
"kind": 2,
"t": "31827/93905408",
"B_minus_c_lower": "59919342032010688517532144239196475/1721400561210478587362967198396928",
"beta_t": "5039275/187810816",
"nonlinear_ratio_lower": 1297.2916899313077
},
{
"d": 2,
"n": 95,
"law": "variable",
"k0": "0",
"kind": 0,
"t": "285/670222",
"B_minus_c_lower": "911374567124352300924989622232651924917636657789974851881256775/13868553708137904408919959739391898726345418822626414231027712",
"beta_t": "9025/42894208",
"nonlinear_ratio_lower": 312332.4983017673
},
{
"d": 2,
"n": 95,
"law": "variable",
"k0": "0",
"kind": 1,
"t": "95/335111",
"B_minus_c_lower": "12018112410989395995824976647605037457881411058415058449467497/424602324235942342267058541204077856263269329358846706057216",
"beta_t": "9025/64341312",
"nonlinear_ratio_lower": 201788.58577612028
},
{
"d": 2,
"n": 95,
"law": "variable",
"k0": "0",
"kind": 2,
"t": "285/1340444",
"B_minus_c_lower": "185698218867268437818736711480512655880148239776579675509977/13205819717483402490046990517891933565432711111871278612480",
"beta_t": "9025/85788416",
"nonlinear_ratio_lower": 133666.88048120245
},
{
"d": 2,
"n": 95,
"law": "variable",
"k0": "3/4",
"kind": 0,
"t": "285/670222",
"B_minus_c_lower": "12134955748690379767442406492577737954778402701840859927333661196275/156994640830772320020211423870409583810855650432937906240841842688",
"beta_t": "9025/42894208",
"nonlinear_ratio_lower": 367370.95075818995
},
{
"d": 2,
"n": 95,
"law": "variable",
"k0": "3/4",
"kind": 1,
"t": "95/335111",
"B_minus_c_lower": "827140015084211147796053790339924925408174082272975666284407929/85845555931608410930195054265359432135150027439830265216630784",
"beta_t": "9025/64341312",
"nonlinear_ratio_lower": 68691.64485925983
},
{
"d": 2,
"n": 95,
"law": "variable",
"k0": "3/4",
"kind": 2,
"t": "285/1340444",
"B_minus_c_lower": "137375496703738607860315305680880817885885661003988037651564659/16611752733774170238609816400216109982549497066414510524334080",
"beta_t": "9025/85788416",
"nonlinear_ratio_lower": 78609.54022972417
},
{
"d": 3,
"n": 1,
"law": "128",
"k0": "0",
"kind": 0,
"t": "127/351640576",
"B_minus_c_lower": "562004223849484018733619583093641/1428344264916512208256789504",
"beta_t": "145161/703281152",
"nonlinear_ratio_lower": 1906275698.0039222
},
{
"d": 3,
"n": 1,
"law": "128",
"k0": "0",
"kind": 1,
"t": "127/527460864",
"B_minus_c_lower": "36055118965695570030328325415617/353218725955038079154475520",
"beta_t": "48387/351640576",
"nonlinear_ratio_lower": 741811393.3579555
},
{
"d": 3,
"n": 1,
"law": "128",
"k0": "0",
"kind": 2,
"t": "127/703281152",
"B_minus_c_lower": "2699544359099213603765875623971433/5733918678513516267641460736",
"beta_t": "145161/1406562304",
"nonlinear_ratio_lower": 4561923116.612599
},
{
"d": 3,
"n": 1,
"law": "128",
"k0": "3/4",
"kind": 0,
"t": "127/351640576",
"B_minus_c_lower": "3614677307242185154616739002588920209/16045071859802121614614033386496",
"beta_t": "145161/703281152",
"nonlinear_ratio_lower": 1091457660.2204828
},
{
"d": 3,
"n": 1,
"law": "128",
"k0": "3/4",
"kind": 1,
"t": "127/527460864",
"B_minus_c_lower": "494219576687373858671369989205304073/3997140476819526654927329681920",
"beta_t": "48387/351640576",
"nonlinear_ratio_lower": 898547042.3537247
},
{
"d": 3,
"n": 1,
"law": "128",
"k0": "3/4",
"kind": 2,
"t": "127/703281152",
"B_minus_c_lower": "36056571067364753036868469231354357617/65162963322649330235760628209664",
"beta_t": "145161/1406562304",
"nonlinear_ratio_lower": 5361577900.292039
},
{
"d": 3,
"n": 1,
"law": "variable",
"k0": "0",
"kind": 0,
"t": "1/16483152",
"B_minus_c_lower": "98423542414350147308758013248221018766374526005783125440980256663/116894558802131868475391012702034193849213783398551088401481728",
"beta_t": "1/10988768",
"nonlinear_ratio_lower": 9252385093.135138
},
{
"d": 3,
"n": 1,
"law": "variable",
"k0": "0",
"kind": 1,
"t": "1/24724728",
"B_minus_c_lower": "394553770794248902554430962932389985236068088385101647687929977/1823104399287544761261680585151909955836156136382983577796608",
"beta_t": "1/16483152",
"nonlinear_ratio_lower": 3567261303.6951036
},
{
"d": 3,
"n": 1,
"law": "variable",
"k0": "0",
"kind": 2,
"t": "1/32966304",
"B_minus_c_lower": "472806437653024717672305437997851004581990194095714792572192558653/467864896571790432343859908019732194452932969625112045150011392",
"beta_t": "1/21977536",
"nonlinear_ratio_lower": 22209660482.52493
},
{
"d": 3,
"n": 1,
"law": "variable",
"k0": "3/4",
"kind": 0,
"t": "1/16483152",
"B_minus_c_lower": "37231276524453020727984633066662604274845597614189880621915159573113/77741345020203287876585018724154629265244613806201486828808175616",
"beta_t": "1/10988768",
"nonlinear_ratio_lower": 5262654768.382739
},
{
"d": 3,
"n": 1,
"law": "variable",
"k0": "3/4",
"kind": 1,
"t": "1/24724728",
"B_minus_c_lower": "55627486340746975079648855900491395226503333032891216313271147614665/212273720438181288010832434019743972761311688743507583433904750592",
"beta_t": "1/16483152",
"nonlinear_ratio_lower": 4319499893.0613365
},
{
"d": 3,
"n": 1,
"law": "variable",
"k0": "3/4",
"kind": 2,
"t": "1/32966304",
"B_minus_c_lower": "6315581430867934922194025103454611661228289155903838123663640827072295/5300124850298256587408801426540061840033854240087391146985555755008",
"beta_t": "1/21977536",
"nonlinear_ratio_lower": 26188235594.114494
},
{
"d": 3,
"n": 4,
"law": "128",
"k0": "0",
"kind": 0,
"t": "21/2930176",
"B_minus_c_lower": "16355973753621285105609/41899750064573840",
"beta_t": "6615/2930176",
"nonlinear_ratio_lower": 172913471.88184842
},
{
"d": 3,
"n": 4,
"law": "128",
"k0": "0",
"kind": 1,
"t": "7/1465088",
"B_minus_c_lower": "12415646150887185280422328505/122624426139989239684224",
"beta_t": "2205/1465088",
"nonlinear_ratio_lower": 67274031.7788324
},
{
"d": 3,
"n": 4,
"law": "128",
"k0": "0",
"kind": 2,
"t": "21/5860352",
"B_minus_c_lower": "2011254714650286225036741321/4305858919372831689728",
"beta_t": "6615/5860352",
"nonlinear_ratio_lower": 413810144.40446377
},
{
"d": 3,
"n": 4,
"law": "128",
"k0": "3/4",
"kind": 0,
"t": "21/2930176",
"B_minus_c_lower": "194510770793248874495798142225/870328128320616579042992",
"beta_t": "6615/2930176",
"nonlinear_ratio_lower": 98997560.62926541
},
{
"d": 3,
"n": 4,
"law": "128",
"k0": "3/4",
"kind": 1,
"t": "7/1465088",
"B_minus_c_lower": "170198195318655063026347073889185/1387664035843980195571284096",
"beta_t": "2205/1465088",
"nonlinear_ratio_lower": 81494018.84332144
},
{
"d": 3,
"n": 4,
"law": "128",
"k0": "3/4",
"kind": 2,
"t": "21/5860352",
"B_minus_c_lower": "49670411079782083894061693621939721/90475977744207014309149641728",
"beta_t": "6615/5860352",
"nonlinear_ratio_lower": 486360530.20801246
},
{
"d": 3,
"n": 4,
"law": "variable",
"k0": "0",
"kind": 0,
"t": "1/1236168",
"B_minus_c_lower": "17330832329437068182056989569461539662175461320451078440555/18731956845204060135532967449188497894461436525958660096",
"beta_t": "5/7417008",
"nonlinear_ratio_lower": 1372445207.9015353
},
{
"d": 3,
"n": 4,
"law": "variable",
"k0": "0",
"kind": 1,
"t": "1/1854252",
"B_minus_c_lower": "23674653167191170017207510419307802868813992799788191738041099787/99627011518973727551770269436230144689337113812812986132201472",
"beta_t": "5/11125512",
"nonlinear_ratio_lower": 528757480.30896395
},
{
"d": 3,
"n": 4,
"law": "variable",
"k0": "0",
"kind": 2,
"t": "1/2472336",
"B_minus_c_lower": "426262504923438752914989861386946462726378837051563964899707181/383787614426162144284780960597816969096849960998302065360896",
"beta_t": "5/14834016",
"nonlinear_ratio_lower": 3295147931.0705595
},
{
"d": 3,
"n": 4,
"law": "variable",
"k0": "3/4",
"kind": 0,
"t": "1/1236168",
"B_minus_c_lower": "25758292044128686863858458233890043353187042606024023741092006075/48969694806983886808259332298039960548322236146940766639357952",
"beta_t": "5/7417008",
"nonlinear_ratio_lower": 780276286.8368623
},
{
"d": 3,
"n": 4,
"law": "variable",
"k0": "3/4",
"kind": 1,
"t": "1/1854252",
"B_minus_c_lower": "649065761868888859230403754136905296070963748739731807473878915269889/2255626333951942803938822154545142943662944831306593167508846411776",
"beta_t": "5/11125512",
"nonlinear_ratio_lower": 640282374.2361324
},
{
"d": 3,
"n": 4,
"law": "variable",
"k0": "3/4",
"kind": 2,
"t": "1/2472336",
"B_minus_c_lower": "154824137831505447010194473172768092075330205465628360490618545383287/118192391814722878746840913839175292871313926707235092504952963072",
"beta_t": "5/14834016",
"nonlinear_ratio_lower": 3886314004.676346
},
{
"d": 4,
"n": 3,
"law": "128",
"k0": "0",
"kind": 0,
"t": "759/3621902336",
"B_minus_c_lower": "95578615403791979901685571600293175/9470162475039267539427348992",
"beta_t": "320045/3621902336",
"nonlinear_ratio_lower": 114216538358.6459
},
{
"d": 4,
"n": 3,
"law": "128",
"k0": "0",
"kind": 1,
"t": "253/1810951168",
"B_minus_c_lower": "21572809621047825779868286198322401/8770421685366341618226467456",
"beta_t": "320045/5432853504",
"nonlinear_ratio_lower": 41754490028.73519
},
{
"d": 4,
"n": 3,
"law": "128",
"k0": "0",
"kind": 2,
"t": "759/7243804672",
"B_minus_c_lower": "9182091648274643389460380365538718411/760326888928886717086008981504",
"beta_t": "320045/7243804672",
"nonlinear_ratio_lower": 273336077688.40942
},
{
"d": 4,
"n": 3,
"law": "128",
"k0": "3/4",
"kind": 0,
"t": "759/3621902336",
"B_minus_c_lower": "614738876746589735658772254821159335535/106384708886381171206852905148928",
"beta_t": "320045/3621902336",
"nonlinear_ratio_lower": 65393887902.347275
},
{
"d": 4,
"n": 3,
"law": "128",
"k0": "3/4",
"kind": 1,
"t": "253/1810951168",
"B_minus_c_lower": "307956672454678082423164823255452295369/99324360460819790681142141431424",
"beta_t": "320045/5432853504",
"nonlinear_ratio_lower": 52632110937.46881
},
{
"d": 4,
"n": 3,
"law": "128",
"k0": "3/4",
"kind": 2,
"t": "759/7243804672",
"B_minus_c_lower": "122640971662218450930193882584386878067939/8640587286891542657921405759748096",
"beta_t": "320045/7243804672",
"nonlinear_ratio_lower": 321253601651.36676
},
{
"d": 4,
"n": 3,
"law": "variable",
"k0": "0",
"kind": 0,
"t": "3/141480560",
"B_minus_c_lower": "16394432919820341525588624611670135193420568571019229161316008405795/967674099003398515270567310274570831415650690280108610094628864",
"beta_t": "1/56592224",
"nonlinear_ratio_lower": 958791209878.3873
},
{
"d": 4,
"n": 3,
"law": "variable",
"k0": "0",
"kind": 1,
"t": "1/70740280",
"B_minus_c_lower": "2312340799453838637630751241429445956703225516546581717634572817437/566288218622340749696509696069220271228428935237138172965027840",
"beta_t": "1/84888336",
"nonlinear_ratio_lower": 346626958279.44275
},
{
"d": 4,
"n": 3,
"law": "variable",
"k0": "0",
"kind": 2,
"t": "3/282961120",
"B_minus_c_lower": "6300255095677645682265869237005974841816052682638111094047249396518667/309769779026415819387235679406334380643209280232200738003866353664",
"beta_t": "1/113184448",
"nonlinear_ratio_lower": 2302002788989.4717
},
{
"d": 4,
"n": 3,
"law": "variable",
"k0": "3/4",
"kind": 0,
"t": "3/141480560",
"B_minus_c_lower": "421736773526696580806833249111541367632540027053024546719095586898499527/43784926533388889840884849524249599086756905970382498050849651032064",
"beta_t": "1/56592224",
"nonlinear_ratio_lower": 545096768365.248
},
{
"d": 4,
"n": 3,
"law": "variable",
"k0": "3/4",
"kind": 1,
"t": "1/70740280",
"B_minus_c_lower": "550155447187254114392388028873177384531349686347006818321610986090381/106851773782606259005417927903797980396081486414895491321803309056",
"beta_t": "1/84888336",
"nonlinear_ratio_lower": 437070708326.08093
},
{
"d": 4,
"n": 3,
"law": "variable",
"k0": "3/4",
"kind": 2,
"t": "3/282961120",
"B_minus_c_lower": "21038487547113836653240175384222776562231737611233411466996388077043688273/877062545306062186149564236903887498320903769327412090817754624425984",
"beta_t": "1/113184448",
"nonlinear_ratio_lower": 2715005460578.6333
},
{
"d": 4,
"n": 20,
"law": "128",
"k0": "0",
"kind": 0,
"t": "288673/2412187648",
"B_minus_c_lower": "8169391775492499760546259920268891/839522511081535142154382336",
"beta_t": "2362914015/1206093824",
"nonlinear_ratio_lower": 4966958.750865606
},
{
"d": 4,
"n": 20,
"law": "128",
"k0": "0",
"kind": 1,
"t": "288673/3618281472",
"B_minus_c_lower": "6905890674722788075387844202778115/2916888449228723450548569216",
"beta_t": "787638005/603046912",
"nonlinear_ratio_lower": 1812693.2294347188
},
{
"d": 4,
"n": 20,
"law": "128",
"k0": "0",
"kind": 2,
"t": "288673/4824375296",
"B_minus_c_lower": "3924045342255994572352914184736172299/336993204832562768234925453312",
"beta_t": "2362914015/2412187648",
"nonlinear_ratio_lower": 11887103.504411956
},
{
"d": 4,
"n": 20,
"law": "128",
"k0": "3/4",
"kind": 0,
"t": "288673/2412187648",
"B_minus_c_lower": "52544917635767759881500480434764569395/9433260343008808315525329488896",
"beta_t": "2362914015/1206093824",
"nonlinear_ratio_lower": 2843165.0414182036
},
{
"d": 4,
"n": 20,
"law": "128",
"k0": "3/4",
"kind": 1,
"t": "288673/3618281472",
"B_minus_c_lower": "98663821586146537932437405925495572195/33034048756560545901680351259264",
"beta_t": "787638005/603046912",
"nonlinear_ratio_lower": 2286759.8695206987
},
{
"d": 4,
"n": 20,
"law": "128",
"k0": "3/4",
"kind": 2,
"t": "288673/4824375296",
"B_minus_c_lower": "52411226271356158231618464488511141916451/3829226862669162338139437800255488",
"beta_t": "2362914015/2412187648",
"nonlinear_ratio_lower": 13972573.255165849
},
{
"d": 4,
"n": 20,
"law": "variable",
"k0": "0",
"kind": 0,
"t": "1771/381615624",
"B_minus_c_lower": "99472433510447225493894877577954629278641894259719160573063383636245/5208955181697837142720743713788433049712432747558849051826847744",
"beta_t": "29645/190807812",
"nonlinear_ratio_lower": 122912716.96854663
},
{
"d": 4,
"n": 20,
"law": "variable",
"k0": "0",
"kind": 1,
"t": "1771/572423436",
"B_minus_c_lower": "3632511792037785472245121386634142410078671693330777440064897596582207/790744840313883544410361595652459595141266358461050468341427208192",
"beta_t": "29645/286211718",
"nonlinear_ratio_lower": 44351327.342332125
},
{
"d": 4,
"n": 20,
"law": "variable",
"k0": "0",
"kind": 2,
"t": "1771/763231248",
"B_minus_c_lower": "258022210765653212610473555818096615284146383287342068123287828097491447/11252907607906135016428624597617716410603444016563566850731858198528",
"beta_t": "29645/381615624",
"nonlinear_ratio_lower": 295166476.75066626
},
{
"d": 4,
"n": 20,
"law": "variable",
"k0": "3/4",
"kind": 0,
"t": "1771/381615624",
"B_minus_c_lower": "359858966033313042938752016636368530201372076611409404845613478903938365/33160806179392407688154652877963241099594955892354080364009906765824",
"beta_t": "29645/190807812",
"nonlinear_ratio_lower": 69847673.37774768
},
{
"d": 4,
"n": 20,
"law": "variable",
"k0": "3/4",
"kind": 1,
"t": "1771/572423436",
"B_minus_c_lower": "51894314475852785082941616855251620565633756670849333032948379154047829933/8952046319004480947244444188376588714690013707802372123608941454163968",
"beta_t": "29645/286211718",
"nonlinear_ratio_lower": 55967178.67768375
},
{
"d": 4,
"n": 20,
"law": "variable",
"k0": "3/4",
"kind": 2,
"t": "1771/763231248",
"B_minus_c_lower": "3446387265808862602638888491901517923541468101694367105040286027537511806285/127411373744025756381748985519011829875816218865882291173330428123676672",
"beta_t": "29645/381615624",
"nonlinear_ratio_lower": 348201446.65546674
},
{
"d": 4,
"n": 72,
"law": "128",
"k0": "0",
"kind": 0,
"t": "63/11392",
"B_minus_c_lower": "18828619591296877414208563841/7956277924993949127552",
"beta_t": "74361231/71200",
"nonlinear_ratio_lower": 2265.906362498767
},
{
"d": 4,
"n": 72,
"law": "128",
"k0": "0",
"kind": 1,
"t": "21/5696",
"B_minus_c_lower": "34408393800537470716164683129/49648876800472430295104",
"beta_t": "24787077/35600",
"nonlinear_ratio_lower": 995.3587856437188
},
{
"d": 4,
"n": 72,
"law": "128",
"k0": "0",
"kind": 2,
"t": "63/22784",
"B_minus_c_lower": "1782927983931969816620734761097/798771609527841791035648",
"beta_t": "74361231/142400",
"nonlinear_ratio_lower": 4274.394473841997
},
{
"d": 4,
"n": 72,
"law": "128",
"k0": "3/4",
"kind": 0,
"t": "31827/46952704",
"B_minus_c_lower": "56691748774123541653755748830934144675/269836765125147092810284233367808",
"beta_t": "1015313127/7931200",
"nonlinear_ratio_lower": 1641.1853533268825
},
{
"d": 4,
"n": 72,
"law": "128",
"k0": "3/4",
"kind": 1,
"t": "10609/23476352",
"B_minus_c_lower": "6617733835736844503923374075581535812593/86037508151174575056395431339702912",
"beta_t": "338437709/3965600",
"nonlinear_ratio_lower": 901.2631856941398
},
{
"d": 4,
"n": 72,
"law": "128",
"k0": "3/4",
"kind": 2,
"t": "31827/93905408",
"B_minus_c_lower": "144595176153618415844038441445487311333995/459160272271567136524704096861797888",
"beta_t": "1015313127/15862400",
"nonlinear_ratio_lower": 4919.924020903756
},
{
"d": 4,
"n": 72,
"law": "variable",
"k0": "0",
"kind": 0,
"t": "24309/96406544",
"B_minus_c_lower": "4694565262806293316271982409415113312483076512242533286154930396692079/287037723996237961254755839757795493860882924080129463512018714624",
"beta_t": "65658609/602540900",
"nonlinear_ratio_lower": 150089.82705276174
},
{
"d": 4,
"n": 72,
"law": "variable",
"k0": "0",
"kind": 1,
"t": "8103/48203272",
"B_minus_c_lower": "4236079943387409621969327956435817976493638072065811988481788301708877/896928826501302801612040674368732640584625028758447137408835125248",
"beta_t": "21886203/301270450",
"nonlinear_ratio_lower": 65011.81315251763
},
{
"d": 4,
"n": 72,
"law": "variable",
"k0": "0",
"kind": 2,
"t": "24309/192813088",
"B_minus_c_lower": "450468261852459469310862364052507226474248001363488800421968974147369799/28708945670231658906981293704918451353248674175999927935070426365952",
"beta_t": "65658609/1205081800",
"nonlinear_ratio_lower": 287986.2840237377
},
{
"d": 4,
"n": 72,
"law": "variable",
"k0": "3/4",
"kind": 0,
"t": "24309/96406544",
"B_minus_c_lower": "4761819420022799350820202319089756415034795974787319282707645014534791475/406142127998620311824950070812030420809399177677076059487557950373888",
"beta_t": "65658609/602540900",
"nonlinear_ratio_lower": 107594.41680026382
},
{
"d": 4,
"n": 72,
"law": "variable",
"k0": "3/4",
"kind": 1,
"t": "8103/48203272",
"B_minus_c_lower": "264984196424888107944884842236882188721007004787382488518452115915161332663/60928442246890959806893897371152898652067997420007499768422774605873152",
"beta_t": "21886203/301270450",
"nonlinear_ratio_lower": 59866.79545471053
},
{
"d": 4,
"n": 72,
"law": "variable",
"k0": "3/4",
"kind": 2,
"t": "24309/192813088",
"B_minus_c_lower": "2926060554002627236556168544697110834583692950320841314122126324346865809271/162514513031960171549894534353862170600741484407749661627837802216423424",
"beta_t": "65658609/1205081800",
"nonlinear_ratio_lower": 330457.80080402474
},
{
"d": 5,
"n": 10,
"law": "128",
"k0": "0",
"kind": 0,
"t": "24101/18109345280",
"B_minus_c_lower": "5115536515693531275980263570614284007429/24617434024176449854161360846080",
"beta_t": "11854249/557210624",
"nonlinear_ratio_lower": 9767732315.759743
},
{
"d": 5,
"n": 10,
"law": "128",
"k0": "0",
"kind": 1,
"t": "24101/27164017920",
"B_minus_c_lower": "170075303815402644764018470120847502301/3417776504166994003844148824160",
"beta_t": "11854249/835815936",
"nonlinear_ratio_lower": 3508602734.3204827
},
{
"d": 5,
"n": 10,
"law": "128",
"k0": "0",
"kind": 2,
"t": "24101/36218690560",
"B_minus_c_lower": "98288349938577303017678928897115778296509/395275872338204704689514436510720",
"beta_t": "11854249/1114421248",
"nonlinear_ratio_lower": 23376370231.333412
},
{
"d": 5,
"n": 10,
"law": "128",
"k0": "3/4",
"kind": 0,
"t": "24101/18109345280",
"B_minus_c_lower": "32901916461759034067859429459966925388069421/276565851888855846293165060466033920",
"beta_t": "11854249/557210624",
"nonlinear_ratio_lower": 5592010552.567798
},
{
"d": 5,
"n": 10,
"law": "128",
"k0": "3/4",
"kind": 1,
"t": "24101/27164017920",
"B_minus_c_lower": "2456497129432223026482284412877317541890589/38721022773465102278771645588195040",
"beta_t": "11854249/835815936",
"nonlinear_ratio_lower": 4473073585.182627
},
{
"d": 5,
"n": 10,
"law": "128",
"k0": "3/4",
"kind": 2,
"t": "24101/36218690560",
"B_minus_c_lower": "1312792155508682180875228894434802659902016741/4491863328328594241698946481201505280",
"beta_t": "11854249/1114421248",
"nonlinear_ratio_lower": 27475447697.487675
},
{
"d": 5,
"n": 10,
"law": "variable",
"k0": "0",
"kind": 0,
"t": "77/1075242376",
"B_minus_c_lower": "43645415906900210982095749419065753600323663896112901805296319904145082987/145192508864833265109885744415354428796742338325393209348123713863680",
"beta_t": "605/330843808",
"nonlinear_ratio_lower": 164384953389.74225
},
{
"d": 5,
"n": 10,
"law": "variable",
"k0": "0",
"kind": 1,
"t": "77/1612863564",
"B_minus_c_lower": "11607440130273869740656925940880967887206653351362365995163757931769939287/163227834321081331898674252426911976336045306587842891181811323371520",
"beta_t": "605/496265712",
"nonlinear_ratio_lower": 58331229304.383316
},
{
"d": 5,
"n": 10,
"law": "variable",
"k0": "0",
"kind": 2,
"t": "77/2150484752",
"B_minus_c_lower": "167722525843238042386660096200717576330892968546263466798240772786158983493/464706200582368287612127052692763074649446898146600005732834373271552",
"beta_t": "605/661687616",
"nonlinear_ratio_lower": 394739474566.7668
},
{
"d": 5,
"n": 10,
"law": "variable",
"k0": "3/4",
"kind": 0,
"t": "77/1075242376",
"B_minus_c_lower": "280700404518588545482035036127045046088364402123380823392932935991423133524907/1643019051286845029748080571846730235704641669756887691321263935266488320",
"beta_t": "605/330843808",
"nonlinear_ratio_lower": 93426068929.07378
},
{
"d": 5,
"n": 10,
"law": "variable",
"k0": "3/4",
"kind": 1,
"t": "77/1612863564",
"B_minus_c_lower": "83826939532795515343125812752474603738461513729529633599127528910089198264171/923977389344483552865937432236059599425415073928213430264860862410915840",
"beta_t": "605/496265712",
"nonlinear_ratio_lower": 74418542872.35887
},
{
"d": 5,
"n": 10,
"law": "variable",
"k0": "3/4",
"kind": 2,
"t": "77/2150484752",
"B_minus_c_lower": "2240258422376533993001380172295432974382101536646102257704929810194966780278657/5261973554791792880452629106375602494510703512438412245084188691815989248",
"beta_t": "605/661687616",
"nonlinear_ratio_lower": 465636578684.94037
},
{
"d": 5,
"n": 15,
"law": "128",
"k0": "0",
"kind": 0,
"t": "106191/13847598080",
"B_minus_c_lower": "1939808265012252601422465319541226293067/9410186009240076380514926754560",
"beta_t": "531027657/1384759808",
"nonlinear_ratio_lower": 537548812.1812084
},
{
"d": 5,
"n": 15,
"law": "128",
"k0": "0",
"kind": 1,
"t": "35397/6923799040",
"B_minus_c_lower": "458596264703521361635349777926204016427/9291403623933246118849091605760",
"beta_t": "177009219/692379904",
"nonlinear_ratio_lower": 193062424.08113417
},
{
"d": 5,
"n": 15,
"law": "128",
"k0": "0",
"kind": 2,
"t": "106191/27695196160",
"B_minus_c_lower": "149083464589876208095744433149891368542187/604373085341956700768365083207680",
"beta_t": "531027657/2769519616",
"nonlinear_ratio_lower": 1286505556.2544115
},
{
"d": 5,
"n": 15,
"law": "128",
"k0": "3/4",
"kind": 0,
"t": "106191/13847598080",
"B_minus_c_lower": "12476396717869679005749866271120833476457283/105725554879559348788643386352157440",
"beta_t": "531027657/1384759808",
"nonlinear_ratio_lower": 307727644.0333698
},
{
"d": 5,
"n": 15,
"law": "128",
"k0": "3/4",
"kind": 1,
"t": "35397/6923799040",
"B_minus_c_lower": "6623935498645601363661206513581517003156163/105264638700435923512952614240451840",
"beta_t": "177009219/692379904",
"nonlinear_ratio_lower": 246139978.8445758
},
{
"d": 5,
"n": 15,
"law": "128",
"k0": "3/4",
"kind": 2,
"t": "106191/27695196160",
"B_minus_c_lower": "1991238271436918363679338993567192131000604163/6867814877318037610334124754698168320",
"beta_t": "531027657/2769519616",
"nonlinear_ratio_lower": 1512139838.9608843
},
{
"d": 5,
"n": 15,
"law": "variable",
"k0": "0",
"kind": 0,
"t": "57/173094976",
"B_minus_c_lower": "569463721531369040394970974740254571664430615583873528433719569230097727/1844801810272374267445797202773840688494237818681845530646355640320",
"beta_t": "2295/86547488",
"nonlinear_ratio_lower": 11640941940.439545
},
{
"d": 5,
"n": 15,
"law": "variable",
"k0": "0",
"kind": 1,
"t": "19/86547488",
"B_minus_c_lower": "179490338166477927882629179654861961211630223232953951523797204104563607/2458379750276587485928432895715986135138091065755141174418640732160",
"beta_t": "765/43273744",
"nonlinear_ratio_lower": 4130048409.735727
},
{
"d": 5,
"n": 15,
"law": "variable",
"k0": "0",
"kind": 2,
"t": "57/346189952",
"B_minus_c_lower": "4376704654267869273446943210493601527337235206142848982815590537064911189/11808547709954342943421726099037275249695755739634580121369563889664",
"beta_t": "2295/173094976",
"nonlinear_ratio_lower": 27954551265.29636
},
{
"d": 5,
"n": 15,
"law": "variable",
"k0": "3/4",
"kind": 0,
"t": "57/173094976",
"B_minus_c_lower": "14649872783920705666834163648562850951522094185057132989737274710228680660093/83511411420884218645028922285823468114269938671445513338423826154782720",
"beta_t": "2295/86547488",
"nonlinear_ratio_lower": 6615456331.189401
},
{
"d": 5,
"n": 15,
"law": "variable",
"k0": "3/4",
"kind": 1,
"t": "19/86547488",
"B_minus_c_lower": "23332963975505268262973779013697727353212666045495732110579336418877321938279/250486878692488321878135198308923219396796726518431222717779325338255360",
"beta_t": "765/43273744",
"nonlinear_ratio_lower": 5269239828.390723
},
{
"d": 5,
"n": 15,
"law": "variable",
"k0": "3/4",
"kind": 2,
"t": "57/346189952",
"B_minus_c_lower": "467672960494798552531297477051533625468809091905098471178155880486086573764549/1069640462529670464711314566408478845638338337192458657283174291092799488",
"beta_t": "2295/173094976",
"nonlinear_ratio_lower": 32976625396.83043
},
{
"d": 5,
"n": 22,
"law": "128",
"k0": "0",
"kind": 0,
"t": "77671/1810306560",
"B_minus_c_lower": "5008753195545276896727310143698309789/24591181949342591233230321792",
"beta_t": "30163921205/4706797056",
"nonlinear_ratio_lower": 31782488.96446748
},
{
"d": 5,
"n": 22,
"law": "128",
"k0": "0",
"kind": 1,
"t": "77671/2715459840",
"B_minus_c_lower": "6194795763410576319236638393896336023/127069979846118430704695648640",
"beta_t": "30163921205/7060195584",
"nonlinear_ratio_lower": 11410717.833460143
},
{
"d": 5,
"n": 22,
"law": "128",
"k0": "0",
"kind": 2,
"t": "77671/3620613120",
"B_minus_c_lower": "9623631326558457329655598943471799036461/39483662815069811970130909885440",
"beta_t": "30163921205/9413594112",
"nonlinear_ratio_lower": 76065760.89196584
},
{
"d": 5,
"n": 22,
"law": "128",
"k0": "3/4",
"kind": 0,
"t": "77671/1810306560",
"B_minus_c_lower": "32215322757869342707719087094654548934181/276310109410415951063471160816768",
"beta_t": "30163921205/4706797056",
"nonlinear_ratio_lower": 18192960.956059463
},
{
"d": 5,
"n": 22,
"law": "128",
"k0": "3/4",
"kind": 1,
"t": "77671/2715459840",
"B_minus_c_lower": "142520067784147209686423453386246932040863/2292708145186997530523587056199040",
"beta_t": "30163921205/7060195584",
"nonlinear_ratio_lower": 14549771.768311698
},
{
"d": 5,
"n": 22,
"law": "128",
"k0": "3/4",
"kind": 2,
"t": "77671/3620613120",
"B_minus_c_lower": "128538053656020481131661708292947621500939989/448655907425187984174527420598850560",
"beta_t": "30163921205/9413594112",
"nonlinear_ratio_lower": 89409980.50263876
},
{
"d": 5,
"n": 22,
"law": "variable",
"k0": "0",
"kind": 0,
"t": "253/175373448",
"B_minus_c_lower": "2535492738700667229797669907350853811119784507654199663425470568512469/8043683279559860259222410480681880413089128669401989005940097024",
"beta_t": "1600225/4559709648",
"nonlinear_ratio_lower": 898180344.4964058
},
{
"d": 5,
"n": 22,
"law": "variable",
"k0": "0",
"kind": 1,
"t": "253/263060172",
"B_minus_c_lower": "30102730897812390816793398390167005816479305491641983273465299788609401/403882467772312318479448404952026581549725658614296724964917641216",
"beta_t": "1600225/6839564472",
"nonlinear_ratio_lower": 318565170.6186389
},
{
"d": 5,
"n": 22,
"law": "variable",
"k0": "0",
"kind": 2,
"t": "253/350746896",
"B_minus_c_lower": "77947367024193495119784004985891607856100978905768894737112171744474949057/205942947895324658933032114620434852694410803449150382619409472552960",
"beta_t": "1600225/9119419296",
"nonlinear_ratio_lower": 2156952881.5458035
},
{
"d": 5,
"n": 22,
"law": "variable",
"k0": "3/4",
"kind": 0,
"t": "253/175373448",
"B_minus_c_lower": "391368346954016777298667622283922788363868525246650951781948986347009476735/2184915656611019292036221730398110576647365185557999735711201214070784",
"beta_t": "1600225/4559709648",
"nonlinear_ratio_lower": 510395878.5666905
},
{
"d": 5,
"n": 22,
"law": "variable",
"k0": "3/4",
"kind": 1,
"t": "253/263060172",
"B_minus_c_lower": "10388245063815434048329598459296934637186715343604874103036957914091449323401/109229875785231529399591668678532861198905534414913574170333597547888640",
"beta_t": "1600225/6839564472",
"nonlinear_ratio_lower": 406488387.46087986
},
{
"d": 5,
"n": 22,
"law": "variable",
"k0": "3/4",
"kind": 2,
"t": "253/350746896",
"B_minus_c_lower": "3123386933409992670766123625410984291491974349309940224800814436162531599697099/6995251935385646009576072329282653187389438232468780886081446943517573120",
"beta_t": "1600225/9119419296",
"nonlinear_ratio_lower": 2544535780.035696
},
{
"d": 6,
"n": 13,
"law": "128",
"k0": "0",
"kind": 0,
"t": "375/532630528",
"B_minus_c_lower": "71882841477213683143783961246928584875/19797682966406967062067532768",
"beta_t": "24171875/266315264",
"nonlinear_ratio_lower": 40003371009.60188
},
{
"d": 6,
"n": 13,
"law": "128",
"k0": "0",
"kind": 1,
"t": "125/266315264",
"B_minus_c_lower": "7602776476213917786964905015217721875/8785649379450487926527926528",
"beta_t": "24171875/399472896",
"nonlinear_ratio_lower": 14301293950.983356
},
{
"d": 6,
"n": 13,
"law": "128",
"k0": "0",
"kind": 2,
"t": "375/1065261056",
"B_minus_c_lower": "50510077257848541174987350816515925103125/11625489918626297368876711471104",
"beta_t": "24171875/532630528",
"nonlinear_ratio_lower": 95737588462.69502
},
{
"d": 6,
"n": 13,
"law": "128",
"k0": "3/4",
"kind": 0,
"t": "375/532630528",
"B_minus_c_lower": "462333334782824232575582584863807315083875/222420797394783299310359026400032",
"beta_t": "24171875/266315264",
"nonlinear_ratio_lower": 22901584632.434185
},
{
"d": 6,
"n": 13,
"law": "128",
"k0": "3/4",
"kind": 1,
"t": "125/266315264",
"B_minus_c_lower": "6720664692952728836520352620721472511049375/6072883328210253511830219627918592",
"beta_t": "24171875/399472896",
"nonlinear_ratio_lower": 18289181460.243275
},
{
"d": 6,
"n": 13,
"law": "128",
"k0": "3/4",
"kind": 2,
"t": "375/1065261056",
"B_minus_c_lower": "674639831296514314570148630999105177369328125/132109762892971990164395508183607296",
"beta_t": "24171875/532630528",
"nonlinear_ratio_lower": 112525973935.22147
},
{
"d": 6,
"n": 13,
"law": "variable",
"k0": "0",
"kind": 0,
"t": "1/33289408",
"B_minus_c_lower": "681811100379304960577164788670476161959324526276882382936752761849379579/155229567016395649666885177869038640990147057243638043852702482432",
"beta_t": "1547/299604672",
"nonlinear_ratio_lower": 850644090349.8223
},
{
"d": 6,
"n": 13,
"law": "variable",
"k0": "0",
"kind": 1,
"t": "1/49934112",
"B_minus_c_lower": "4506730470501611249626482599235917903650344740247739521974641235721863/4359948868737954894184091198920404060417313801649358499615866880",
"beta_t": "1547/449407008",
"nonlinear_ratio_lower": 300282287848.96826
},
{
"d": 6,
"n": 13,
"law": "variable",
"k0": "0",
"kind": 2,
"t": "1/66578816",
"B_minus_c_lower": "1437295748074377889350497788611237672834551544755202827051625495050125008331/272536289302431644867841216016627993435399602541283919477042113937408",
"beta_t": "1547/599209344",
"nonlinear_ratio_lower": 2042725760141.6868
},
{
"d": 6,
"n": 13,
"law": "variable",
"k0": "3/4",
"kind": 0,
"t": "1/33289408",
"B_minus_c_lower": "4385072608728933039172711360877402062498737965763873959255219411083514288579/1756752461268135076677872630102346156564947451594484712072846212333568",
"beta_t": "1547/299604672",
"nonlinear_ratio_lower": 483419857407.9766
},
{
"d": 6,
"n": 13,
"law": "variable",
"k0": "3/4",
"kind": 1,
"t": "1/49934112",
"B_minus_c_lower": "7967711852887303660102848893737469266699338083208272939504530965321433196729/6021968754987861015909457570287620958332451666053551265717201508761600",
"beta_t": "1547/449407008",
"nonlinear_ratio_lower": 384365720769.8772
},
{
"d": 6,
"n": 13,
"law": "variable",
"k0": "3/4",
"kind": 2,
"t": "1/66578816",
"B_minus_c_lower": "6399226081620017973012917402560318448234710744165378953259030567109555268137533/1028618727918740138047734274234698560229198396341955135168647763815563264",
"beta_t": "1547/599209344",
"nonlinear_ratio_lower": 2409690636233.2915
},
{
"d": 6,
"n": 35,
"law": "128",
"k0": "0",
"kind": 0,
"t": "703/4969216",
"B_minus_c_lower": "1005102541728537368518649441234275/286026016406396445612832",
"beta_t": "5261843223/7098880",
"nonlinear_ratio_lower": 4740856.003490454
},
{
"d": 6,
"n": 35,
"law": "128",
"k0": "0",
"kind": 1,
"t": "703/7453824",
"B_minus_c_lower": "546594749055466873969004981299213/653188520995734106967232",
"beta_t": "1753947741/3549440",
"nonlinear_ratio_lower": 1693441.1204114
},
{
"d": 6,
"n": 35,
"law": "128",
"k0": "0",
"kind": 2,
"t": "703/9938432",
"B_minus_c_lower": "535988457515527462503854769151519575/127465029595858604309954048",
"beta_t": "5261843223/14197760",
"nonlinear_ratio_lower": 11346092.309686426
},
{
"d": 6,
"n": 35,
"law": "128",
"k0": "3/4",
"kind": 0,
"t": "703/4969216",
"B_minus_c_lower": "109901436605778151622685083509138305755/54639572968247606785824931616",
"beta_t": "5261843223/7098880",
"nonlinear_ratio_lower": 2713613.5786637217
},
{
"d": 6,
"n": 35,
"law": "128",
"k0": "3/4",
"kind": 1,
"t": "703/7453824",
"B_minus_c_lower": "213923835661187896847030578328389920599/199846365891192116784021320256",
"beta_t": "1753947741/3549440",
"nonlinear_ratio_lower": 2166237.7085861135
},
{
"d": 6,
"n": 35,
"law": "128",
"k0": "3/4",
"kind": 2,
"t": "703/9938432",
"B_minus_c_lower": "7158878350006957720096694880758376000975/1448336632449418357455712497152",
"beta_t": "5261843223/14197760",
"nonlinear_ratio_lower": 13336976.737782555
},
{
"d": 6,
"n": 35,
"law": "variable",
"k0": "0",
"kind": 0,
"t": "2109/650035568",
"B_minus_c_lower": "258353806840222662054523757276074408585764575637293062670691636844217155915/55686189158920434149463204368242771562922372926041322647662354235392",
"beta_t": "13343643/571459840",
"nonlinear_ratio_lower": 198691216.1519705
},
{
"d": 6,
"n": 35,
"law": "variable",
"k0": "0",
"kind": 1,
"t": "703/325017784",
"B_minus_c_lower": "90815638555020731596735253233878862921082485563343389940784137382582329/83232058035292540047030624980919083490616318064194527604617773056",
"beta_t": "4447881/285729920",
"nonlinear_ratio_lower": 70092664.20701186
},
{
"d": 6,
"n": 35,
"law": "variable",
"k0": "0",
"kind": 2,
"t": "2109/1300071136",
"B_minus_c_lower": "2701464059418107687348456206950470116941245026728932238735800084350164223255/484926262326736861163406639681090631675790455938432024324607309774848",
"beta_t": "13343643/1142919680",
"nonlinear_ratio_lower": 477160830.4287348
},
{
"d": 6,
"n": 35,
"law": "variable",
"k0": "3/4",
"kind": 0,
"t": "2109/650035568",
"B_minus_c_lower": "1661650627440259448801138970373629696580813468572414999117094357323003149095045/630307016788915258071078475233941204845578288374671698778547357522853888",
"beta_t": "13343643/571459840",
"nonlinear_ratio_lower": 112901282.43888451
},
{
"d": 6,
"n": 35,
"law": "variable",
"k0": "3/4",
"kind": 1,
"t": "703/325017784",
"B_minus_c_lower": "7812503748739511391601743588651107394568073427029667141670453982781391130083/5592224774495962988353236181926246173145786526385618039433609726656512",
"beta_t": "4447881/285729920",
"nonlinear_ratio_lower": 89744569.7220724
},
{
"d": 6,
"n": 35,
"law": "variable",
"k0": "3/4",
"kind": 2,
"t": "2109/1300071136",
"B_minus_c_lower": "214777469457434841583628364881817150047407901281078316135152228688668141407765/32680111381535648369484035302713121918407773507835845071613104450699264",
"beta_t": "13343643/1142919680",
"nonlinear_ratio_lower": 562919754.8063574
},
{
"d": 10,
"n": 23,
"law": "128",
"k0": "0",
"kind": 0,
"t": "268801/2915157802160",
"B_minus_c_lower": "22619274036394413481735298102523166516624995053697/235524050414421732871890238162162952",
"beta_t": "42268576896585/1166063120864",
"nonlinear_ratio_lower": 2649401846177.0317
},
{
"d": 10,
"n": 23,
"law": "128",
"k0": "0",
"kind": 1,
"t": "268801/4372736703240",
"B_minus_c_lower": "8296518505912522131132516032743801796214657388577/363063706594057767653228502412763510",
"beta_t": "14089525632195/583031560432",
"nonlinear_ratio_lower": 945602783802.0211
},
{
"d": 10,
"n": 23,
"law": "128",
"k0": "0",
"kind": 2,
"t": "268801/5830315604320",
"B_minus_c_lower": "3621665225938469610508107399084644522700741232020651/31514211251119495353251114560931940640",
"beta_t": "42268576896585/2332126241728",
"nonlinear_ratio_lower": 6340686642500.465
},
{
"d": 10,
"n": 23,
"law": "128",
"k0": "3/4",
"kind": 0,
"t": "268801/2915157802160",
"B_minus_c_lower": "145481778004345973037983556008807789559949424664127753/2646071311218934489247703959123265834568",
"beta_t": "42268576896585/1166063120864",
"nonlinear_ratio_lower": 1516741220937.1138
},
{
"d": 10,
"n": 23,
"law": "128",
"k0": "3/4",
"kind": 1,
"t": "268801/4372736703240",
"B_minus_c_lower": "1083471291108515436099269035279176661259684579545353137/37034646077167840209653439958314288865110",
"beta_t": "14089525632195/583031560432",
"nonlinear_ratio_lower": 1210611799544.024
},
{
"d": 10,
"n": 23,
"law": "128",
"k0": "3/4",
"kind": 2,
"t": "268801/5830315604320",
"B_minus_c_lower": "145118747222933139640404781135978334303639389443705069897/1074357369373061966007942018680086442346080",
"beta_t": "42268576896585/2332126241728",
"nonlinear_ratio_lower": 7452623523918.873
},
{
"d": 10,
"n": 23,
"law": "variable",
"k0": "0",
"kind": 0,
"t": "20677/9182747076804",
"B_minus_c_lower": "7074749633264767092211734316568520098002959824603826741231650921845609385617244530175561/101605718276185004209666190995425211469744959219141148206495333527637784002560",
"beta_t": "138949956925/195898604305152",
"nonlinear_ratio_lower": 98167074878287.98
},
{
"d": 10,
"n": 23,
"law": "variable",
"k0": "0",
"kind": 1,
"t": "20677/13774120615206",
"B_minus_c_lower": "26959816985271245930558791534040235128613068233954408466940896788831168080967455400003/1648893042707198995126716853854325336496397981319007717404541494897699454976",
"beta_t": "138949956925/293847906457728",
"nonlinear_ratio_lower": 34577105780147.44
},
{
"d": 10,
"n": 23,
"law": "variable",
"k0": "0",
"kind": 2,
"t": "20677/18365494153608",
"B_minus_c_lower": "125863847124514305749377923787044567430210437617922118082209847587080068080834053823511947/1505402105481694857614034442104424655437657757164016005387969247381552984227840",
"beta_t": "138949956925/391797208610304",
"nonlinear_ratio_lower": 235749838594220.06
},
{
"d": 10,
"n": 23,
"law": "variable",
"k0": "3/4",
"kind": 0,
"t": "20677/9182747076804",
"B_minus_c_lower": "2843904573691315708920391842085501290213882257055896616548071093570462295872675201812953683/71877964663762537102203222149086120543122925881120750412597946511923579317125120",
"beta_t": "138949956925/195898604305152",
"nonlinear_ratio_lower": 55781755036927.84
},
{
"d": 10,
"n": 23,
"law": "variable",
"k0": "3/4",
"kind": 1,
"t": "20677/13774120615206",
"B_minus_c_lower": "112958482404005277627454839054631694107911763194080576324640355697297975059466928836259250771/5390219466462932228570162239186103453398692783137640153638861755537598667061985280",
"beta_t": "138949956925/293847906457728",
"nonlinear_ratio_lower": 44317635914423.75
},
{
"d": 10,
"n": 23,
"law": "variable",
"k0": "3/4",
"kind": 2,
"t": "20677/18365494153608",
"B_minus_c_lower": "15130054035749390131211977089543608622914927812933643776419897062512350761863273927235842044043/153396571152279558347075501746362130570705454966313484961590784131129975814687293440",
"beta_t": "138949956925/391797208610304",
"nonlinear_ratio_lower": 278117135767520.4
}
],
"noncommuting_material_frobenius_squared": "1428059/40000000",
"min_nonlinear_ratio_lower": 755.2617561858949,
"max_rss_kib": 705964,
"source_sha256": "c36735d547816a264d2265c5bc4294059ecffc03605d5afbdf0c113a8f77c1c6"
}