Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
erdos_699_bft_gcd_bounds.json
json
{
"source": "BFT Theorem 2.4, Lemmas 5.2 and 5.4, Proposition 5.1",
"scope": "Uniform analytic certificates; no binomial rows enumerated.",
"proposition_5_1_pairs": [
{
"pair": [
2,
3
],
"seed": [
9,
8,
1,
1,
25,
17
],
"L1": "1.5540",
"m0": 582,
"target": ".28508",
"epsilon": "1/100000",
"gap": 100,
"log_omega3": "[0.061819244663004931128, 0.061819244663004931128]",
"log_omega4": "[1.2885923536658160837, 1.2885923536658160837]",
"lambda3": "[0.28509910559444831869, 0.28509910559444831869]",
"resulting_exponent": "[0.28508910559444831869, 0.28508910559444831869]",
"kappa1": "[27.652253475758512039, 27.652253475758512039]",
"kappa2": "[3.9129916804435122961, 3.9129916804435122961]",
"M_terms": [
"[3.1588366476106267383, 3.1588366476106267383]",
"[89590.044671697227384, 89590.044671697227384]",
"[2281.8053272273333555, 2281.8053272273333555]",
"[582.0, 582.0]"
],
"log_x0": "[6883878.8286019944723, 6883878.8286019944723]",
"threshold_power_of_ten": 2989631
},
{
"pair": [
2,
5
],
"seed": [
128,
125,
1,
1,
5,
4
],
"L1": "1.3098",
"m0": 50,
"target": ".25837",
"epsilon": "1/100000",
"gap": 100,
"log_omega3": "[0.09364286663947228869, 0.09364286663947228869]",
"log_omega4": "[2.1131070584891046791, 2.1131070584891046791]",
"lambda3": "[0.25838464435734140457, 0.25838464435734140457]",
"resulting_exponent": "[0.25837464435734140457, 0.25837464435734140457]",
"kappa1": "[61.252901248898364895, 61.252901248898364895]",
"kappa2": "[3.8656655554872298686, 3.8656655554872298686]",
"M_terms": [
"[10.985917463085852227, 10.985917463085852227]",
"[88122.360839034782474, 88122.360839034782474]",
"[5201.3767169982375923, 5201.3767169982375923]",
"[50.0, 50.0]"
],
"log_x0": "[2882742.4519735149536, 2882742.4519735149536]",
"threshold_power_of_ten": 1251960
},
{
"pair": [
2,
7
],
"seed": [
8,
7,
1,
1,
25,
17
],
"L1": "1.5540",
"m0": 582,
"target": ".27346",
"epsilon": "1/100000",
"gap": 100,
"log_omega3": "[0.0029733197534662730283, 0.0029733197534662730283]",
"log_omega4": "[1.1510685835392920607, 1.1510685835392920607]",
"lambda3": "[0.27347332092155589548, 0.27347332092155589548]",
"resulting_exponent": "[0.27346332092155589548, 0.27346332092155589548]",
"kappa1": "[27.648205360619370285, 27.648205360619370285]",
"kappa2": "[3.913532714031564088, 3.913532714031564088]",
"M_terms": [
"[65.67348947860445066, 65.67348947860445066]",
"[90092.895431078259254, 90092.895431078259254]",
"[2428.3388433353106008, 2428.3388433353106008]",
"[582.0, 582.0]"
],
"log_x0": "[6446597.0144681844692, 6446597.0144681844692]",
"threshold_power_of_ten": 2799722
},
{
"pair": [
2,
11
],
"seed": [
128,
121,
1,
1,
5,
4
],
"L1": "1.3098",
"m0": 50,
"target": ".05921",
"epsilon": "1/100000",
"gap": 100,
"log_omega3": "[0.089668868953354578348, 0.089668868953354578348]",
"log_omega4": "[0.38183134576886511744, 0.38183134576886511744]",
"lambda3": "[0.059227407190138663487, 0.059227407190138663487]",
"resulting_exponent": "[0.059217407190138663487, 0.059217407190138663487]",
"kappa1": "[61.249705901944214034, 61.249705901944214034]",
"kappa2": "[9.0202525246504295974, 9.0202525246504295974]",
"M_terms": [
"[11.472652370448055616, 11.472652370448055616]",
"[90614.820816624104691, 90614.820816624104691]",
"[9034.3906071292464033, 9034.3906071292464033]",
"[50.0, 50.0]"
],
"log_x0": "[2336753.3682023346648, 2336753.3682023346648]",
"threshold_power_of_ten": 1014840
},
{
"pair": [
2,
13
],
"seed": [
512,
169,
1,
3,
25,
17
],
"L1": "1.5540",
"m0": 582,
"target": ".06420",
"epsilon": "1/100000",
"gap": 100,
"log_omega3": "[0.37231167109626683846, 0.37231167109626683846]",
"log_omega4": "[0.62958422673954144549, 0.62958422673954144549]",
"lambda3": "[0.064219756304007648276, 0.064219756304007648276]",
"resulting_exponent": "[0.064209756304007648276, 0.064209756304007648276]",
"kappa1": "[27.666442927687935384, 27.666442927687935384]",
"kappa2": "[19.555490667570467936, 19.555490667570467936]",
"M_terms": [
"[0.524579505939268129, 0.524579505939268129]",
"[97688.999550064441247, 97688.999550064441247]",
"[1898.5827399609457446, 1898.5827399609457446]",
"[582.0, 582.0]"
],
"log_x0": "[16281117.653389165032, 16281117.653389165032]",
"threshold_power_of_ten": 7070800
},
{
"pair": [
3,
5
],
"seed": [
27,
25,
1,
1,
4,
3
],
"L1": "1.4170",
"m0": 153,
"target": ".21603",
"epsilon": "1/100000",
"gap": 100,
"log_omega3": "[0.048320859346167189488, 0.048320859346167189488]",
"log_omega4": "[1.2110706969824516302, 1.2110706969824516302]",
"lambda3": "[0.21604966694122278622, 0.21604966694122278622]",
"resulting_exponent": "[0.21603966694122278622, 0.21603966694122278622]",
"kappa1": "[70.775644647852361113, 70.775644647852361113]",
"kappa2": "[2.5977804096260538531, 2.5977804096260538531]",
"M_terms": [
"[29.38354847853955261, 29.38354847853955261]",
"[88428.875364282330089, 88428.875364282330089]",
"[6903.3787771763405036, 6903.3787771763405036]",
"[153.0, 153.0]"
],
"log_x0": "[1487086.2655015570013, 1487086.2655015570013]",
"threshold_power_of_ten": 645834
},
{
"pair": [
3,
7
],
"seed": [
49,
243,
5,
1,
5,
3
],
"L1": "1.5454",
"m0": 86,
"target": ".03893",
"epsilon": "1/100000",
"gap": 100,
"log_omega3": "[0.031372577808350976983, 0.031372577808350976983]",
"log_omega4": "[0.37101451013061548074, 0.37101451013061548074]",
"lambda3": "[0.038947087613339749832, 0.038947087613339749832]",
"resulting_exponent": "[0.038937087613339749832, 0.038937087613339749832]",
"kappa1": "[68.13202452204085073, 68.13202452204085073]",
"kappa2": "[3.9270033806725777985, 3.9270033806725777985]",
"M_terms": [
"[44.85283704031647863, 44.85283704031647863]",
"[94875.487166717511231, 94875.487166717511231]",
"[4972.8252699263725122, 4972.8252699263725122]",
"[86.0, 86.0]"
],
"log_x0": "[2711413.5279026715468, 2711413.5279026715468]",
"threshold_power_of_ten": 1177552
},
{
"pair": [
3,
11
],
"seed": [
243,
121,
1,
2,
7,
5
],
"L1": "1.4135",
"m0": 74,
"target": ".32967",
"epsilon": "1/100000",
"gap": 100,
"log_omega3": "[0.18576933844850221413, 0.18576933844850221413]",
"log_omega4": "[3.7824279065070059664, 3.7824279065070059664]",
"lambda3": "[0.32968902829040424297, 0.32968902829040424297]",
"resulting_exponent": "[0.32967902829040424297, 0.32967902829040424297]",
"kappa1": "[52.665538321665441393, 52.665538321665441393]",
"kappa2": "[1.8937658618735208338, 1.8937658618735208338]",
"M_terms": [
"[4.2676163385875898068, 4.2676163385875898068]",
"[87650.313655640289762, 87650.313655640289762]",
"[1480.2008068526133112, 1480.2008068526133112]",
"[74.0, 74.0]"
],
"log_x0": "[5027992.2345650882499, 5027992.2345650882499]",
"threshold_power_of_ten": 2183630
},
{
"pair": [
3,
13
],
"seed": [
2197,
2187,
1,
1,
7,
6
],
"L1": "1.2219",
"m0": 53,
"target": ".23104",
"epsilon": "1/100000",
"gap": 100,
"log_omega3": "[0.096207640697450971639, 0.096207640697450971639]",
"log_omega4": "[2.6975652434074796171, 2.6975652434074796171]",
"lambda3": "[0.23105705550862773806, 0.23105705550862773806]",
"resulting_exponent": "[0.23104705550862773806, 0.23104705550862773806]",
"kappa1": "[49.982240159115273968, 49.982240159115273968]",
"kappa2": "[12.776257922166256191, 12.776257922166256191]",
"M_terms": [
"[6.7764329270103388812, 6.7764329270103388812]",
"[90184.094535023300307, 90184.094535023300307]",
"[4477.1691749449917181, 4477.1691749449917181]",
"[53.0, 53.0]"
],
"log_x0": "[6317405.2648311153411, 6317405.2648311153411]",
"threshold_power_of_ten": 2743615
},
{
"pair": [
5,
7
],
"seed": [
25,
49,
2,
1,
8,
5
],
"L1": "1.5407",
"m0": 53,
"target": ".22776",
"epsilon": "1/100000",
"gap": 100,
"log_omega3": "[0.27809979274781455195, 0.27809979274781455195]",
"log_omega4": "[1.8367146240256496746, 1.8367146240256496746]",
"lambda3": "[0.22777772347598611392, 0.22777772347598611392]",
"resulting_exponent": "[0.22776772347598611392, 0.22776772347598611392]",
"kappa1": "[51.977496185831728611, 51.977496185831728611]",
"kappa2": "[2.4141298128885463874, 2.4141298128885463874]",
"M_terms": [
"[2.8412900421230608237, 2.8412900421230608237]",
"[92127.856106028172365, 92127.856106028172365]",
"[2683.8747627815480706, 2683.8747627815480706]",
"[53.0, 53.0]"
],
"log_x0": "[3714463.704404712245, 3714463.704404712245]",
"threshold_power_of_ten": 1613172
},
{
"pair": [
5,
11
],
"seed": [
125,
121,
1,
1,
5,
4
],
"L1": "1.3098",
"m0": 50,
"target": ".19948",
"epsilon": "1/100000",
"gap": 100,
"log_omega3": "[0.086630312518847352527, 0.086630312518847352527]",
"log_omega4": "[1.5041014780742177158, 1.5041014780742177158]",
"lambda3": "[0.19949635187154098232, 0.19949635187154098232]",
"resulting_exponent": "[0.19948635187154098232, 0.19948635187154098232]",
"kappa1": "[61.25229216194091047, 61.25229216194091047]",
"kappa2": "[5.1542606154670380463, 5.1542606154670380463]",
"M_terms": [
"[11.875177268007215459, 11.875177268007215459]",
"[89497.923548128350412, 89497.923548128350412]",
"[6522.1970108662802679, 6522.1970108662802679]",
"[50.0, 50.0]"
],
"log_x0": "[2699106.2629851476471, 2699106.2629851476471]",
"threshold_power_of_ten": 1172207
},
{
"pair": [
5,
13
],
"seed": [
13,
25,
2,
1,
5,
3
],
"L1": "1.5454",
"m0": 86,
"target": ".16386",
"epsilon": "1/100000",
"gap": 100,
"log_omega3": "[0.05290479480090907834, 0.05290479480090907834]",
"log_omega4": "[1.0514763062997233166, 1.0514763062997233166]",
"lambda3": "[0.16387658455594330667, 0.16387658455594330667]",
"resulting_exponent": "[0.16386658455594330667, 0.16386658455594330667]",
"kappa1": "[68.125351721020570587, 68.125351721020570587]",
"kappa2": "[1.9636391696180784189, 1.9636391696180784189]",
"M_terms": [
"[26.59714449785504162, 26.59714449785504162]",
"[93234.280595784161835, 93234.280595784161835]",
"[4080.1659076437145357, 4080.1659076437145357]",
"[86.0, 86.0]"
],
"log_x0": "[1794668.0190458846681, 1794668.0190458846681]",
"threshold_power_of_ten": 779415
},
{
"pair": [
7,
13
],
"seed": [
343,
169,
1,
2,
7,
5
],
"L1": "1.4135",
"m0": 74,
"target": ".09874",
"epsilon": "1/100000",
"gap": 100,
"log_omega3": "[0.32153669074103418289, 0.32153669074103418289]",
"log_omega4": "[0.89553616640313858598, 0.89553616640313858598]",
"lambda3": "[0.098753940696542274761, 0.098753940696542274761]",
"resulting_exponent": "[0.098743940696542274761, 0.098743940696542274761]",
"kappa1": "[52.665189657097761071, 52.665189657097761071]",
"kappa2": "[9.4688806010595667657, 9.4688806010595667657]",
"M_terms": [
"[2.4656313345419660325, 2.4656313345419660325]",
"[93577.229784637329508, 93577.229784637329508]",
"[5447.5361350530516413, 5447.5361350530516413]",
"[74.0, 74.0]"
],
"log_x0": "[4243004.814240306259, 4243004.814240306259]",
"threshold_power_of_ten": 1842714
},
{
"pair": [
11,
13
],
"seed": [
13,
11,
1,
1,
25,
17
],
"L1": "1.5540",
"m0": 582,
"target": ".05228",
"epsilon": "1/100000",
"gap": 100,
"log_omega3": "[0.22428949363257588449, 0.22428949363257588449]",
"log_omega4": "[0.20814205404478777005, 0.20814205404478777005]",
"lambda3": "[0.052295337624120353545, 0.052295337624120353545]",
"resulting_exponent": "[0.052285337624120353545, 0.052285337624120353545]",
"kappa1": "[27.637955329801887577, 27.637955329801887577]",
"kappa2": "[7.8298085423978151845, 7.8298085423978151845]",
"M_terms": [
"[0.87051100195725254973, 0.87051100195725254973]",
"[96525.973138529726287, 96525.973138529726287]",
"[3200.5466277481999306, 3200.5466277481999306]",
"[582.0, 582.0]"
],
"log_x0": "[6531222.4250507246752, 6531222.4250507246752]",
"threshold_power_of_ten": 2836474
}
],
"improved_pairs": [
{
"pair": [
5,
7
],
"seed": [
25,
49,
2,
1,
59,
39
],
"target": ".2587",
"epsilon": ".00005",
"gap": 100,
"gcd_certificate": {
"c": 59,
"d": 39,
"terms": 4000,
"m0": 100000,
"rounding_denominator": 1000000000000,
"root_scale": 1000000,
"eligible_terms": 1961,
"positive_terms": 40,
"largest_positive_t": 107,
"ell_lower": "229312966119/500000000000"
},
"log_omega3": "[0.024742631301646769518, 0.024742631301646769518]",
"log_omega4": "[2.0556792581400779493, 2.0556792581400779493]",
"lambda3": "[0.25879395292479565067, 0.25879395292479565067]",
"resulting_exponent": "[0.25874395292479565067, 0.25874395292479565067]",
"kappa1": "[18.147617890817464679, 18.147617890817464679]",
"kappa2": "[6.2626160712679447864, 6.2626160712679447864]",
"M_terms": [
"[3.0037840264909320121, 3.0037840264909320121]",
"[18511.419950894508909, 18511.419950894508909]",
"[149.09384769666414455, 149.09384769666414455]",
"[100000.0, 100000.0]"
],
"log_x0": "[30979198.654487656992, 30979198.654487656992]",
"threshold_power_of_ten": 13454096
},
{
"pair": [
7,
13
],
"seed": [
343,
169,
1,
2,
51,
38
],
"target": ".1184",
"epsilon": ".00005",
"gap": 100,
"gcd_certificate": {
"c": 51,
"d": 38,
"terms": 4000,
"m0": 100000,
"rounding_denominator": 1000000000000,
"root_scale": 1000000,
"eligible_terms": 1978,
"positive_terms": 36,
"largest_positive_t": 95,
"ell_lower": "88926543053/250000000000"
},
"log_omega3": "[0.033752610030671689893, 0.033752610030671689893]",
"log_omega4": "[1.0531676235399798433, 1.0531676235399798433]",
"lambda3": "[0.11849298857310850836, 0.11849298857310850836]",
"resulting_exponent": "[0.11844298857310850836, 0.11844298857310850836]",
"kappa1": "[18.425268789342057716, 18.425268789342057716]",
"kappa2": "[24.370451847499768731, 24.370451847499768731]",
"M_terms": [
"[2.2717331096505105373, 2.2717331096505105373]",
"[19507.681473783601059, 19507.681473783601059]",
"[211.50675939666247027, 211.50675939666247027]",
"[100000.0, 100000.0]"
],
"log_x0": "[33774799.994620716955, 33774799.994620716955]",
"threshold_power_of_ten": 14668210
},
{
"pair": [
3,
11
],
"seed": [
243,
121,
1,
2,
125,
92
],
"target": ".3432",
"epsilon": ".00005",
"gap": 100,
"gcd_certificate": {
"c": 125,
"d": 92,
"terms": 4000,
"m0": 100000,
"rounding_denominator": 1000000000000,
"root_scale": 1000000,
"eligible_terms": 1991,
"positive_terms": 51,
"largest_positive_t": 150,
"ell_lower": "2822429379/7812500000"
},
"log_omega3": "[0.0027991151846849188965, 0.0027991151846849188965]",
"log_omega4": "[3.9022052255864565431, 3.9022052255864565431]",
"lambda3": "[0.3433346130192146081, 0.3433346130192146081]",
"resulting_exponent": "[0.3432846130192146081, 0.3432846130192146081]",
"kappa1": "[11.794717150257232145, 11.794717150257232145]",
"kappa2": "[7.8081471075105164681, 7.8081471075105164681]",
"M_terms": [
"[9.5824214675253933148, 9.5824214675253933148]",
"[17589.621131703317481, 17589.621131703317481]",
"[52.805738355605537203, 52.805738355605537203]",
"[100000.0, 100000.0]"
],
"log_x0": "[104564601.75271342743, 104564601.75271342743]",
"threshold_power_of_ten": 45411830
}
],
"index_11_pairs": [
{
"pair": [
2,
3
],
"seed": [
9,
8,
1,
1,
132,
91
],
"target": ".2906",
"epsilon": ".0001",
"gap": 100,
"gcd_certificate": {
"c": 132,
"d": 91,
"terms": 4000,
"m0": 10000000,
"rounding_denominator": 1000000000000,
"root_scale": 1000000,
"eligible_terms": 1990,
"positive_terms": 208,
"largest_positive_t": 695,
"ell_lower": "105975758043/250000000000"
},
"log_omega3": "[0.0019897541299423982315, 0.0019897541299423982315]",
"log_omega4": "[1.306474149632466248, 1.306474149632466248]",
"lambda3": "[0.29073739589318919214, 0.29073739589318919214]",
"resulting_exponent": "[0.29063739589318919214, 0.29063739589318919214]",
"kappa1": "[11.84801472423937835, 11.84801472423937835]",
"kappa2": "[8.8751935763830120311, 8.8751935763830120311]",
"M_terms": [
"[13.653243137560873901, 13.653243137560873901]",
"[9085.8045224802767369, 9085.8045224802767369]",
"[68.913143812193025826, 68.913143812193025826]",
"[10000000.0, 10000000.0]"
],
"log_x0": "[4089228327.1721456959, 4089228327.1721456959]",
"threshold_power_of_ten": 1775929298
},
{
"pair": [
2,
5
],
"seed": [
128,
125,
1,
1,
113,
92
],
"target": ".2671",
"epsilon": ".0001",
"gap": 100,
"gcd_certificate": {
"c": 113,
"d": 92,
"terms": 4000,
"m0": 10000000,
"rounding_denominator": 1000000000000,
"root_scale": 1000000,
"eligible_terms": 1990,
"positive_terms": 206,
"largest_positive_t": 692,
"ell_lower": "70390119621/250000000000"
},
"log_omega3": "[0.00010586699113266337754, 0.00010586699113266337754]",
"log_omega4": "[2.1736869904776224137, 2.1736869904776224137]",
"lambda3": "[0.26725947017672252651, 0.26725947017672252651]",
"resulting_exponent": "[0.26715947017672252651, 0.26715947017672252651]",
"kappa1": "[11.811380263700669471, 11.811380263700669471]",
"kappa2": "[18.16237547448794202, 18.16237547448794202]",
"M_terms": [
"[253.50344244918598171, 253.50344244918598171]",
"[9236.6199918081393581, 9236.6199918081393581]",
"[49.103764200436266153, 49.103764200436266153]",
"[10000000.0, 10000000.0]"
],
"log_x0": "[7482586977.7272029649, 7482586977.7272029649]",
"threshold_power_of_ten": 3249646235
},
{
"pair": [
2,
7
],
"seed": [
8,
7,
1,
1,
119,
81
],
"target": ".2741",
"epsilon": ".0001",
"gap": 100,
"gcd_certificate": {
"c": 119,
"d": 81,
"terms": 4000,
"m0": 10000000,
"rounding_denominator": 1000000000000,
"root_scale": 1000000,
"eligible_terms": 1980,
"positive_terms": 202,
"largest_positive_t": 646,
"ell_lower": "110492655943/250000000000"
},
"log_omega3": "[0.0011836664933919524729, 0.0011836664933919524729]",
"log_omega4": "[1.1547189582668140609, 1.1547189582668140609]",
"lambda3": "[0.27429952026768166718, 0.27429952026768166718]",
"resulting_exponent": "[0.27419952026768166718, 0.27419952026768166718]",
"kappa1": "[12.558190979666562871, 12.558190979666562871]",
"kappa2": "[8.5766152347293827945, 8.5766152347293827945]",
"M_terms": [
"[26.391871781573664298, 26.391871781573664298]",
"[9167.2858839511488148, 9167.2858839511488148]",
"[80.311847858048128059, 80.311847858048128059]",
"[10000000.0, 10000000.0]"
],
"log_x0": "[3409858131.7809032234, 3409858131.7809032234]",
"threshold_power_of_ten": 1480882571
},
{
"pair": [
3,
5
],
"seed": [
27,
25,
1,
1,
112,
85
],
"target": ".2227",
"epsilon": ".0001",
"gap": 100,
"gcd_certificate": {
"c": 112,
"d": 85,
"terms": 4000,
"m0": 10000000,
"rounding_denominator": 1000000000000,
"root_scale": 1000000,
"eligible_terms": 1989,
"positive_terms": 198,
"largest_positive_t": 648,
"ell_lower": "351551304027/1000000000000"
},
"log_omega3": "[0.00021903107446156566692, 0.00021903107446156566692]",
"log_omega4": "[1.2455452959693587614, 1.2455452959693587614]",
"lambda3": "[0.2228846696689520286, 0.2228846696689520286]",
"resulting_exponent": "[0.2227846696689520286, 0.2227846696689520286]",
"kappa1": "[12.275966630446429792, 12.275966630446429792]",
"kappa2": "[14.002337469528748533, 14.002337469528748533]",
"M_terms": [
"[134.69178904744240703, 134.69178904744240703]",
"[9435.2782950369709335, 9435.2782950369709335]",
"[67.945945228650422573, 67.945945228650422573]",
"[10000000.0, 10000000.0]"
],
"log_x0": "[4750051266.5038826602, 4750051266.5038826602]",
"threshold_power_of_ten": 2062921054
},
{
"pair": [
3,
7
],
"seed": [
49,
243,
5,
1,
145,
88
],
"target": ".0493",
"epsilon": ".0001",
"gap": 100,
"gcd_certificate": {
"c": 145,
"d": 88,
"terms": 4000,
"m0": 10000000,
"rounding_denominator": 1000000000000,
"root_scale": 1000000,
"eligible_terms": 1992,
"positive_terms": 211,
"largest_positive_t": 698,
"ell_lower": "239234827229/500000000000"
},
"log_omega3": "[0.00092809529204277332712, 0.00092809529204277332712]",
"log_omega4": "[0.47106557815204126926, 0.47106557815204126926]",
"lambda3": "[0.049470595669382734965, 0.049470595669382734965]",
"resulting_exponent": "[0.049370595669382734965, 0.049370595669382734965]",
"kappa1": "[12.047512404628194527, 12.047512404628194527]",
"kappa2": "[21.743710207487977819, 21.743710207487977819]",
"M_terms": [
"[30.473680643105733249, 30.473680643105733249]",
"[9936.9602254209100271, 9936.9602254209100271]",
"[38.56637622025447479, 38.56637622025447479]",
"[10000000.0, 10000000.0]"
],
"log_x0": "[8379477639.5652717413, 8379477639.5652717413]",
"threshold_power_of_ten": 3639160901
},
{
"pair": [
5,
7
],
"seed": [
25,
49,
2,
1,
3,
2
],
"target": ".2650",
"epsilon": ".0001",
"gap": 100,
"gcd_certificate": {
"c": 3,
"d": 2,
"terms": 4000,
"m0": 10000000,
"rounding_denominator": 1000000000000,
"root_scale": 1000000,
"eligible_terms": 1600,
"positive_terms": 70,
"largest_positive_t": 214,
"ell_lower": "480436974573/1000000000000"
},
"log_omega3": "[0.0054145541178473225141, 0.0054145541178473225141]",
"log_omega4": "[2.1067519415251755195, 2.1067519415251755195]",
"lambda3": "[0.26518429250017774246, 0.26518429250017774246]",
"resulting_exponent": "[0.26508429250017774246, 0.26508429250017774246]",
"kappa1": "[86.883230060674697338, 86.883230060674697338]",
"kappa2": "[1.3171695603989519405, 1.3171695603989519405]",
"M_terms": [
"[412.27448620314808079, 412.27448620314808079]",
"[9077.4134335358669522, 9077.4134335358669522]",
"[219.35947657593479507, 219.35947657593479507]",
"[10000000.0, 10000000.0]"
],
"log_x0": "[158889663.66278708608, 158889663.66278708608]",
"threshold_power_of_ten": 69004905
}
],
"index_11_row_bound": {
"orientations_checked": 64,
"minimum_weighted_gain": "7/400",
"algebraic_cap_power_of_ten": 6100,
"full_row_cap_power_of_ten": 3639160902
},
"index_16_pairs": [
{
"pair": [
2,
7
],
"seed": [
8,
7,
1,
1,
25,
17
],
"L1": "1.5540",
"m0": 582,
"target": ".27307",
"epsilon": "1/2500",
"gap": 100,
"log_omega3": "[0.0029733197534662730283, 0.0029733197534662730283]",
"log_omega4": "[1.1510685835392920607, 1.1510685835392920607]",
"lambda3": "[0.27347332092155589548, 0.27347332092155589548]",
"resulting_exponent": "[0.27307332092155589548, 0.27307332092155589548]",
"kappa1": "[27.648205360619370285, 27.648205360619370285]",
"kappa2": "[3.913532714031564088, 3.913532714031564088]",
"M_terms": [
"[65.67348947860445066, 65.67348947860445066]",
"[2252.3223857769564814, 2252.3223857769564814]",
"[60.70847108338276502, 60.70847108338276502]",
"[582.0, 582.0]"
],
"log_x0": "[161234.6907110552215, 161234.6907110552215]",
"threshold_power_of_ten": 70024
},
{
"pair": [
5,
7
],
"seed": [
25,
49,
2,
1,
79,
51
],
"target": ".23237",
"epsilon": ".001",
"gap": 100,
"gcd_certificate": {
"c": 79,
"d": 51,
"terms": 50,
"m0": 100,
"rounding_denominator": 1000000000000,
"root_scale": 1000000,
"eligible_terms": 25,
"positive_terms": 3,
"largest_positive_t": 7,
"ell_lower": "159693825541/500000000000"
},
"log_omega3": "[0.00166190933889243287, 0.00166190933889243287]",
"log_omega4": "[1.8351727097645860713, 1.8351727097645860713]",
"lambda3": "[0.23337330894425774416, 0.23337330894425774416]",
"resulting_exponent": "[0.23237330894425774416, 0.23237330894425774416]",
"kappa1": "[15.850065205391790309, 15.850065205391790309]",
"kappa2": "[7.4688509013328417235, 7.4688509013328417235]",
"M_terms": [
"[32.600981004612923997, 32.600981004612923997]",
"[939.35310801050113235, 939.35310801050113235]",
"[6.1837906619068960425, 6.1837906619068960425]",
"[100.0, 100.0]"
],
"log_x0": "[377126.36816811021413, 377126.36816811021413]",
"threshold_power_of_ten": 163784
}
],
"common_base_threshold_power_of_ten": 45411830,
"common_index_11_threshold_power_of_ten": 3639160901
}
Graph