files / problems / zero-one-polynomials / compute / fourier_theta.json
{
"published": {
"published_s": 134,
"published_gamma": 0.50057,
"published_theta": 0.003736,
"computed_gamma_max": 0.5005653788651083,
"computed_theta_at_gmax": 0.0037355625288440918,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.447633416944868,
"sqrtQ": 14.491376746189438
},
"alpha_at_published_gamma": 1.0000247100104667,
"published_gamma_feasible": false,
"alpha_at_gmax": 0.9999999999999998,
"alpha_at_gmax_minus": 0.9999999465289257
},
"best_at_210": {
"P": 210,
"s": 134,
"gamma_max": 0.5005653788651083,
"theta": 0.0037355625288440918,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.447633416944868,
"sqrtQ": 14.491376746189438
}
},
"best_global": {
"P": 210,
"s": 136,
"gamma_max": 0.5019455843790663,
"theta": 0.003690776355728429,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.341400818290861,
"sqrtQ": 14.491376746189438
},
"primes": [
2,
3,
5,
7
]
},
"top20": [
{
"P": 210,
"s": 136,
"gamma_max": 0.5019455843790663,
"theta": 0.003690776355728429,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.341400818290861,
"sqrtQ": 14.491376746189438
},
"primes": [
2,
3,
5,
7
]
}
],
"refined_around_best": [
{
"P": 210,
"s": 134,
"gamma_max": 0.5005653788651083,
"theta": 0.0037355625288440918,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.447633416944868,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 135,
"gamma_max": 0.5012580280804984,
"theta": 0.0037130224302259138,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.394223120964677,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 136,
"gamma_max": 0.5019455843790663,
"theta": 0.003690776355728429,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.341400818290861,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 137,
"gamma_max": 0.5026281221079678,
"theta": 0.0036688184095472103,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.28915579891384,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 138,
"gamma_max": 0.5033057139981735,
"theta": 0.003647142855059228,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.23747762395542,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 139,
"gamma_max": 0.5039784312109752,
"theta": 0.0036257441094314762,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.186356116907264,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 140,
"gamma_max": 0.5046463433828328,
"theta": 0.0036046167384488053,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.135781355212881,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 141,
"gamma_max": 0.5053095186686289,
"theta": 0.00358375545155056,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.085743662177427,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 142,
"gamma_max": 0.5059680237834032,
"theta": 0.00356315509706622,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.036233599190258,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 143,
"gamma_max": 0.5066219240426247,
"theta": 0.0035428106576407326,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.987241958246116,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 144,
"gamma_max": 0.5072712834010678,
"theta": 0.0035227172458407482,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.938759754751434,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 145,
"gamma_max": 0.5079161644903467,
"theta": 0.0035028700999334256,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.890778220603039,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 146,
"gamma_max": 0.5085566286551662,
"theta": 0.0034832645798299052,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.843288797527112,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 147,
"gamma_max": 0.5091927359883364,
"theta": 0.003463896163185962,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.796283130666964,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 148,
"gamma_max": 0.509824545364608,
"theta": 0.0034447604416527567,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.749753062408685,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 149,
"gamma_max": 0.5104521144733696,
"theta": 0.003425853117270937,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.7036906264343,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 150,
"gamma_max": 0.5110754998502567,
"theta": 0.003407169999001711,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.658088041992624,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 151,
"gamma_max": 0.5116947569077133,
"theta": 0.0033887069993888295,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.612937708378443,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 152,
"gamma_max": 0.5123099399645489,
"theta": 0.0033704601313457165,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.568232199611096,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 153,
"gamma_max": 0.5129211022745287,
"theta": 0.003352425505062279,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.523964259304075,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 154,
"gamma_max": 0.5135282960540364,
"theta": 0.00333459932502621,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.480126795717517,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 155,
"gamma_max": 0.5141315725088442,
"theta": 0.0033169778871538335,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.436712876985982,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 156,
"gamma_max": 0.5147309818600252,
"theta": 0.0032995575760258024,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.3937157265142,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 157,
"gamma_max": 0.5153265733690408,
"theta": 0.0032823348622231896,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.351128718533843,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 158,
"gamma_max": 0.5159183953620325,
"theta": 0.0032653062997596996,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.308945373814742,
"sqrtQ": 14.491376746189438
}
}
],
"feas210_top20": [
{
"P": 210,
"s": 134,
"gamma_max": 0.5005653788651083,
"theta": 0.0037355625288440918,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.447633416944868,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 135,
"gamma_max": 0.5012580280804984,
"theta": 0.0037130224302259138,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.394223120964677,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 136,
"gamma_max": 0.5019455843790663,
"theta": 0.003690776355728429,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.341400818290861,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 137,
"gamma_max": 0.5026281221079678,
"theta": 0.0036688184095472103,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.28915579891384,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 138,
"gamma_max": 0.5033057139981735,
"theta": 0.003647142855059228,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.23747762395542,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 139,
"gamma_max": 0.5039784312109752,
"theta": 0.0036257441094314762,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.186356116907264,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 140,
"gamma_max": 0.5046463433828328,
"theta": 0.0036046167384488053,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.135781355212881,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 141,
"gamma_max": 0.5053095186686289,
"theta": 0.00358375545155056,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.085743662177427,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 142,
"gamma_max": 0.5059680237834032,
"theta": 0.00356315509706622,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 14.036233599190258,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 143,
"gamma_max": 0.5066219240426247,
"theta": 0.0035428106576407326,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.987241958246116,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 144,
"gamma_max": 0.5072712834010678,
"theta": 0.0035227172458407482,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.938759754751434,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 145,
"gamma_max": 0.5079161644903467,
"theta": 0.0035028700999334256,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.890778220603039,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 146,
"gamma_max": 0.5085566286551662,
"theta": 0.0034832645798299052,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.843288797527112,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 147,
"gamma_max": 0.5091927359883364,
"theta": 0.003463896163185962,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.796283130666964,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 148,
"gamma_max": 0.509824545364608,
"theta": 0.0034447604416527567,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.749753062408685,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 149,
"gamma_max": 0.5104521144733696,
"theta": 0.003425853117270937,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.7036906264343,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 150,
"gamma_max": 0.5110754998502567,
"theta": 0.003407169999001711,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.658088041992624,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 151,
"gamma_max": 0.5116947569077133,
"theta": 0.0033887069993888295,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.612937708378443,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 152,
"gamma_max": 0.5123099399645489,
"theta": 0.0033704601313457165,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.568232199611096,
"sqrtQ": 14.491376746189438
}
},
{
"P": 210,
"s": 153,
"gamma_max": 0.5129211022745287,
"theta": 0.003352425505062279,
"feasible": true,
"bind": {
"Q": 210,
"ell": 0,
"S": 13.523964259304075,
"sqrtQ": 14.491376746189438
}
}
]
}