back to table · edit · history · where entries came from · files · download
25481 bytes, as of the version from 2026-11-09 18:56 (current). Recorded here, not run.
[
{
"N": 1,
"k": 12,
"i": 1,
"sturm_bound": 2,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"-24"
],
"embedded_fourier_coefficients": [
"0",
"1",
"-24"
],
"polynomial": "36*X^10 - 691*X^8 + 2073*X^6 - 2073*X^4 + 691*X^2 - 36",
"polynomial_coefficients": [
"-36",
"0",
"691",
"0",
"-2073",
"0",
"2073",
"0",
"-691",
"0",
"36"
]
},
{
"N": 1,
"k": 16,
"i": 1,
"sturm_bound": 2,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"216"
],
"embedded_fourier_coefficients": [
"0",
"1",
"216"
],
"polynomial": "360*X^14 - 7234*X^12 + 25319*X^10 - 39787*X^8 + 39787*X^6 - 25319*X^4 + 7234*X^2 - 360",
"polynomial_coefficients": [
"-360",
"0",
"7234",
"0",
"-25319",
"0",
"39787",
"0",
"-39787",
"0",
"25319",
"0",
"-7234",
"0",
"360"
]
},
{
"N": 1,
"k": 18,
"i": 1,
"sturm_bound": 2,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"-528"
],
"embedded_fourier_coefficients": [
"0",
"1",
"-528"
],
"polynomial": "18000*X^16 - 350936*X^14 + 1096675*X^12 - 1140542*X^10 + 1140542*X^6 - 1096675*X^4 + 350936*X^2 - 18000",
"polynomial_coefficients": [
"-18000",
"0",
"350936",
"0",
"-1096675",
"0",
"1140542",
"0",
"0",
"0",
"-1140542",
"0",
"1096675",
"0",
"-350936",
"0",
"18000"
]
},
{
"N": 1,
"k": 20,
"i": 1,
"sturm_bound": 2,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"456"
],
"embedded_fourier_coefficients": [
"0",
"1",
"456"
],
"polynomial": "26460*X^18 - 523833*X^16 + 1746110*X^14 - 2444554*X^12 + 2269943*X^10 - 2269943*X^8 + 2444554*X^6 - 1746110*X^4 + 523833*X^2 - 26460",
"polynomial_coefficients": [
"-26460",
"0",
"523833",
"0",
"-1746110",
"0",
"2444554",
"0",
"-2269943",
"0",
"2269943",
"0",
"-2444554",
"0",
"1746110",
"0",
"-523833",
"0",
"26460"
]
},
{
"N": 1,
"k": 22,
"i": 1,
"sturm_bound": 2,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"-288"
],
"embedded_fourier_coefficients": [
"0",
"1",
"-288"
],
"polynomial": "126000*X^20 - 2485856*X^18 + 8156715*X^16 - 10564888*X^14 + 6603055*X^12 - 6603055*X^8 + 10564888*X^6 - 8156715*X^4 + 2485856*X^2 - 126000",
"polynomial_coefficients": [
"-126000",
"0",
"2485856",
"0",
"-8156715",
"0",
"10564888",
"0",
"-6603055",
"0",
"0",
"0",
"6603055",
"0",
"-10564888",
"0",
"8156715",
"0",
"-2485856",
"0",
"126000"
]
},
{
"N": 1,
"k": 24,
"i": 1,
"sturm_bound": 2,
"field_degree": 2,
"field_polynomial": "x^2 - 1080*x - 20468736",
"fourier_coefficients": [
"0",
"1",
"a"
],
"embedded_fourier_coefficients": [
"0",
"1",
"-4016.351171716246?"
],
"generator_interval": [
"-1157634408981141542591/288230376151711744",
"-4630537635924566170361/1152921504606846976"
]
},
{
"N": 1,
"k": 24,
"i": 2,
"sturm_bound": 2,
"field_degree": 2,
"field_polynomial": "x^2 - 1080*x - 20468736",
"fourier_coefficients": [
"0",
"1",
"a"
],
"embedded_fourier_coefficients": [
"0",
"1",
"5096.351171716245?"
],
"generator_interval": [
"5875692860899960904441/1152921504606846976",
"1468923215224990226111/288230376151711744"
]
},
{
"N": 1,
"k": 26,
"i": 1,
"sturm_bound": 3,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"-48",
"-195804"
],
"embedded_fourier_coefficients": [
"0",
"1",
"-48",
"-195804"
],
"polynomial": "34398000*X^24 - 678984792*X^22 + 2233675745*X^20 - 2938319846*X^18 + 2062613685*X^16 - 850046852*X^14 + 850046852*X^10 - 2062613685*X^8 + 2938319846*X^6 - 2233675745*X^4 + 678984792*X^2 - 34398000",
"polynomial_coefficients": [
"-34398000",
"0",
"678984792",
"0",
"-2233675745",
"0",
"2938319846",
"0",
"-2062613685",
"0",
"850046852",
"0",
"0",
"0",
"-850046852",
"0",
"2062613685",
"0",
"-2938319846",
"0",
"2233675745",
"0",
"-678984792",
"0",
"34398000"
]
},
{
"N": 3,
"k": 12,
"i": 1,
"sturm_bound": 4,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"78",
"-243",
"4036"
],
"embedded_fourier_coefficients": [
"0",
"1",
"78",
"-243",
"4036"
],
"polynomial": "2430*X^10 - 5913*X^8 + 3066*X^6 - 1022*X^4 + 219*X^2 - 10",
"polynomial_coefficients": [
"-10",
"0",
"219",
"0",
"-1022",
"0",
"3066",
"0",
"-5913",
"0",
"2430"
]
},
{
"N": 4,
"k": 12,
"i": 1,
"sturm_bound": 6,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"0",
"-516",
"0",
"-10530",
"0"
],
"embedded_fourier_coefficients": [
"0",
"1",
"0",
"-516",
"0",
"-10530",
"0"
],
"polynomial": "5120*X^10 - 6144*X^8 + 896*X^6 + 224*X^4 - 96*X^2 + 5",
"polynomial_coefficients": [
"5",
"0",
"-96",
"0",
"224",
"0",
"896",
"0",
"-6144",
"0",
"5120"
]
},
{
"N": 5,
"k": 12,
"i": 1,
"sturm_bound": 6,
"field_degree": 2,
"field_polynomial": "x^2 + 20*x - 5336",
"fourier_coefficients": [
"0",
"1",
"a",
"16/3*a - 170/3",
"-20*a + 3288",
"-3125",
"-490/3*a + 85376/3"
],
"embedded_fourier_coefficients": [
"0",
"1",
"-83.7292343646671?",
"-503.2225832782242?",
"4962.584687293341?",
"-3125",
"42134.44161289562?"
],
"generator_interval": [
"-48266617431645623647/576460752303423488",
"-96533234863291247291/1152921504606846976"
]
},
{
"N": 5,
"k": 12,
"i": 2,
"sturm_bound": 6,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"34",
"-792",
"-892",
"3125",
"-26928"
],
"embedded_fourier_coefficients": [
"0",
"1",
"34",
"-792",
"-892",
"3125",
"-26928"
],
"polynomial": "131250*X^10 - 104625*X^8 + 10850*X^6 + 2170*X^4 - 837*X^2 + 42",
"polynomial_coefficients": [
"42",
"0",
"-837",
"0",
"2170",
"0",
"10850",
"0",
"-104625",
"0",
"131250"
]
},
{
"N": 5,
"k": 12,
"i": 3,
"sturm_bound": 6,
"field_degree": 2,
"field_polynomial": "x^2 + 20*x - 5336",
"fourier_coefficients": [
"0",
"1",
"a",
"16/3*a - 170/3",
"-20*a + 3288",
"-3125",
"-490/3*a + 85376/3"
],
"embedded_fourier_coefficients": [
"0",
"1",
"63.72923436466705?",
"283.2225832782242?",
"2013.415312706660?",
"-3125",
"18049.55838710439?"
],
"generator_interval": [
"73474804771154307771/1152921504606846976",
"36737402385577153887/576460752303423488"
]
},
{
"N": 6,
"k": 12,
"i": 1,
"sturm_bound": 12,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"-32",
"-243",
"1024",
"5766",
"7776",
"72464",
"-32768",
"59049",
"-184512",
"-408948",
"-248832"
],
"embedded_fourier_coefficients": [
"0",
"1",
"-32",
"-243",
"1024",
"5766",
"7776",
"72464",
"-32768",
"59049",
"-184512",
"-408948",
"-248832"
],
"polynomial": "31104*X^10 - 16200*X^8 + 1350*X^6 - 225*X^4 + 75*X^2 - 4",
"polynomial_coefficients": [
"-4",
"0",
"75",
"0",
"-225",
"0",
"1350",
"0",
"-16200",
"0",
"31104"
]
},
{
"N": 6,
"k": 12,
"i": 2,
"sturm_bound": 12,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"-32",
"243",
"1024",
"-11730",
"-7776",
"-50008",
"-32768",
"59049",
"375360",
"-531420",
"248832"
],
"embedded_fourier_coefficients": [
"0",
"1",
"-32",
"243",
"1024",
"-11730",
"-7776",
"-50008",
"-32768",
"59049",
"375360",
"-531420",
"248832"
],
"polynomial": "272160*X^10 - 143208*X^8 + 9828*X^6 + 1638*X^4 - 663*X^2 + 35",
"polynomial_coefficients": [
"35",
"0",
"-663",
"0",
"1638",
"0",
"9828",
"0",
"-143208",
"0",
"272160"
]
},
{
"N": 6,
"k": 12,
"i": 3,
"sturm_bound": 12,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"32",
"243",
"1024",
"3630",
"7776",
"32936",
"32768",
"59049",
"116160",
"-758748",
"248832"
],
"embedded_fourier_coefficients": [
"0",
"1",
"32",
"243",
"1024",
"3630",
"7776",
"32936",
"32768",
"59049",
"116160",
"-758748",
"248832"
],
"polynomial": "7776*X^10 - 4536*X^8 + 588*X^6 - 98*X^4 + 21*X^2 - 1",
"polynomial_coefficients": [
"-1",
"0",
"21",
"0",
"-98",
"0",
"588",
"0",
"-4536",
"0",
"7776"
]
},
{
"N": 7,
"k": 12,
"i": 1,
"sturm_bound": 8,
"field_degree": 2,
"field_polynomial": "x^2 + 54*x - 2640",
"fourier_coefficients": [
"0",
"1",
"a",
"-6*a - 102",
"-54*a + 592",
"10*a - 6480",
"222*a - 15840",
"16807",
"1460*a - 142560"
],
"embedded_fourier_coefficients": [
"0",
"1",
"-85.04308744372580?",
"408.2585246623548?",
"5184.326721961193?",
"-7330.430874437258?",
"-34719.56541250713?",
"16807",
"-266722.9076678397?"
],
"generator_interval": [
"-6128000270752000555/72057594037927936",
"-98048004332032008877/1152921504606846976"
]
},
{
"N": 7,
"k": 12,
"i": 2,
"sturm_bound": 8,
"field_degree": 3,
"field_polynomial": "x^3 - 77*x^2 - 2854*x + 225104",
"fourier_coefficients": [
"0",
"1",
"a",
"-11/21*a^2 + 103/7*a + 33758/21",
"a^2 - 2048",
"59/7*a^2 - 517/7*a - 203864/7",
"-538/21*a^2 + 788/7*a + 2476144/21",
"-16807",
"77*a^2 - 1242*a - 225104"
],
"embedded_fourier_coefficients": [
"0",
"1",
"-53.80399901572374?",
"-700.5242431801260?",
"846.8703100840011?",
"-749.9977448449662?",
"37691.00569055412?",
"-16807",
"64625.58065399697?"
],
"generator_interval": [
"-31015893749536763433/576460752303423488",
"-62031787499073526863/1152921504606846976"
]
},
{
"N": 7,
"k": 12,
"i": 3,
"sturm_bound": 8,
"field_degree": 2,
"field_polynomial": "x^2 + 54*x - 2640",
"fourier_coefficients": [
"0",
"1",
"a",
"-6*a - 102",
"-54*a + 592",
"10*a - 6480",
"222*a - 15840",
"16807",
"1460*a - 142560"
],
"embedded_fourier_coefficients": [
"0",
"1",
"31.04308744372581?",
"-288.2585246623548?",
"-1084.326721961194?",
"-6169.569125562742?",
"-8948.43458749288?",
"16807",
"-97237.0923321604?"
],
"generator_interval": [
"35790243083262272173/1152921504606846976",
"2236890192703892011/72057594037927936"
]
},
{
"N": 7,
"k": 12,
"i": 4,
"sturm_bound": 8,
"field_degree": 3,
"field_polynomial": "x^3 - 77*x^2 - 2854*x + 225104",
"fourier_coefficients": [
"0",
"1",
"a",
"-11/21*a^2 + 103/7*a + 33758/21",
"a^2 - 2048",
"59/7*a^2 - 517/7*a - 203864/7",
"-538/21*a^2 + 788/7*a + 2476144/21",
"-16807",
"77*a^2 - 1242*a - 225104"
],
"embedded_fourier_coefficients": [
"0",
"1",
"55.72505239983058?",
"800.9021465211977?",
"1057.281464963864?",
"-7066.035093977782?",
"44630.31408203052?",
"-16807",
"-55207.84227837210?"
],
"generator_interval": [
"8030826407138506823/144115188075855872",
"64246611257108054587/1152921504606846976"
]
},
{
"N": 7,
"k": 12,
"i": 5,
"sturm_bound": 8,
"field_degree": 3,
"field_polynomial": "x^3 - 77*x^2 - 2854*x + 225104",
"fourier_coefficients": [
"0",
"1",
"a",
"-11/21*a^2 + 103/7*a + 33758/21",
"a^2 - 2048",
"59/7*a^2 - 517/7*a - 203864/7",
"-538/21*a^2 + 788/7*a + 2476144/21",
"-16807",
"77*a^2 - 1242*a - 225104"
],
"embedded_fourier_coefficients": [
"0",
"1",
"75.0789466158932?",
"-240.3779033410717?",
"3588.848224952136?",
"12842.032838822749?",
"-18047.31977258465?",
"-16807",
"115685.26162437513?"
],
"generator_interval": [
"86560132096692689429/1152921504606846976",
"10820016512086586179/144115188075855872"
]
},
{
"N": 8,
"k": 12,
"i": 1,
"sturm_bound": 12,
"field_degree": 2,
"field_polynomial": "x^2 + 112*x - 1782720",
"fourier_coefficients": [
"0",
"1",
"0",
"-1/2*a",
"0",
"6*a + 4270",
"0",
"-21*a + 44352",
"0",
"-28*a + 268533",
"0",
"693/2*a + 98944",
"0"
],
"embedded_fourier_coefficients": [
"0",
"1",
"0",
"-640.1796165702752?",
"0",
"11952.15539884331?",
"0",
"17464.45610404845?",
"0",
"232682.9414720646?",
"0",
"542588.474283201?",
"0"
],
"generator_interval": [
"1476153693509672165907/1152921504606846976",
"738076846754836082955/576460752303423488"
]
},
{
"N": 8,
"k": 12,
"i": 2,
"sturm_bound": 12,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"0",
"-36",
"0",
"-3490",
"0",
"-55464",
"0",
"-175851",
"0",
"-597004",
"0"
],
"embedded_fourier_coefficients": [
"0",
"1",
"0",
"-36",
"0",
"-3490",
"0",
"-55464",
"0",
"-175851",
"0",
"-597004",
"0"
],
"polynomial": "1081344*X^10 - 331776*X^8 + 14336*X^6 + 1792*X^4 - 648*X^2 + 33",
"polynomial_coefficients": [
"33",
"0",
"-648",
"0",
"1792",
"0",
"14336",
"0",
"-331776",
"0",
"1081344"
]
},
{
"N": 8,
"k": 12,
"i": 3,
"sturm_bound": 12,
"field_degree": 2,
"field_polynomial": "x^2 + 112*x - 1782720",
"fourier_coefficients": [
"0",
"1",
"0",
"-1/2*a",
"0",
"6*a + 4270",
"0",
"-21*a + 44352",
"0",
"-28*a + 268533",
"0",
"693/2*a + 98944",
"0"
],
"embedded_fourier_coefficients": [
"0",
"1",
"0",
"696.1796165702752?",
"0",
"-4084.155398843303?",
"0",
"73591.54389595155?",
"0",
"307519.0585279354?",
"0",
"-383508.4742832007?",
"0"
],
"generator_interval": [
"-802640451012819513611/576460752303423488",
"-1605280902025639027219/1152921504606846976"
]
},
{
"N": 9,
"k": 12,
"i": 1,
"sturm_bound": 12,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"-78",
"0",
"4036",
"5370",
"0",
"-27760",
"-155064",
"0",
"-418860",
"-637836",
"0"
],
"embedded_fourier_coefficients": [
"0",
"1",
"-78",
"0",
"4036",
"5370",
"0",
"-27760",
"-155064",
"0",
"-418860",
"-637836",
"0"
],
"polynomial": "590490*X^10 - 129033*X^8 + 3402*X^6 + 378*X^4 - 177*X^2 + 10",
"polynomial_coefficients": [
"10",
"0",
"-177",
"0",
"378",
"0",
"3402",
"0",
"-129033",
"0",
"590490"
]
},
{
"N": 9,
"k": 12,
"i": 2,
"sturm_bound": 12,
"field_degree": 2,
"field_polynomial": "x^2 - 2520",
"fourier_coefficients": [
"0",
"1",
"a",
"0",
"472",
"224*a",
"0",
"58100",
"-1576*a",
"0",
"564480",
"-3200*a",
"0"
],
"embedded_fourier_coefficients": [
"0",
"1",
"-50.19960159204454?",
"0",
"472",
"-11244.71075661798?",
"0",
"58100",
"79114.57210906219?",
"0",
"564480",
"160638.7250945425?",
"0"
],
"generator_interval": [
"-28938100099082126853/576460752303423488",
"-57876200198164253703/1152921504606846976"
]
},
{
"N": 9,
"k": 12,
"i": 3,
"sturm_bound": 12,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"24",
"0",
"-1472",
"-4830",
"0",
"-16744",
"-84480",
"0",
"-115920",
"-534612",
"0"
],
"embedded_fourier_coefficients": [
"0",
"1",
"24",
"0",
"-1472",
"-4830",
"0",
"-16744",
"-84480",
"0",
"-115920",
"-534612",
"0"
],
"polynomial": "236196*X^10 - 59049*X^8 + 2187*X^6 + 243*X^4 - 81*X^2 + 4",
"polynomial_coefficients": [
"4",
"0",
"-81",
"0",
"243",
"0",
"2187",
"0",
"-59049",
"0",
"236196"
]
},
{
"N": 9,
"k": 12,
"i": 4,
"sturm_bound": 12,
"field_degree": 2,
"field_polynomial": "x^2 - 2520",
"fourier_coefficients": [
"0",
"1",
"a",
"0",
"472",
"224*a",
"0",
"58100",
"-1576*a",
"0",
"564480",
"-3200*a",
"0"
],
"embedded_fourier_coefficients": [
"0",
"1",
"50.19960159204454?",
"0",
"472",
"11244.71075661798?",
"0",
"58100",
"-79114.57210906219?",
"0",
"564480",
"-160638.7250945425?",
"0"
],
"generator_interval": [
"57876200198164253703/1152921504606846976",
"28938100099082126853/576460752303423488"
]
},
{
"N": 10,
"k": 12,
"i": 1,
"sturm_bound": 18,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"-32",
"-12",
"1024",
"3125",
"384",
"-14176",
"-32768",
"-177003",
"-100000",
"-756348",
"-12288",
"-905482",
"453632",
"-37500",
"1048576",
"2803794",
"5664096"
],
"embedded_fourier_coefficients": [
"0",
"1",
"-32",
"-12",
"1024",
"3125",
"384",
"-14176",
"-32768",
"-177003",
"-100000",
"-756348",
"-12288",
"-905482",
"453632",
"-37500",
"1048576",
"2803794",
"5664096"
],
"polynomial": "5900000*X^10 - 1113000*X^8 + 28700*X^6 + 2870*X^4 - 1113*X^2 + 59",
"polynomial_coefficients": [
"59",
"0",
"-1113",
"0",
"2870",
"0",
"28700",
"0",
"-1113000",
"0",
"5900000"
]
},
{
"N": 10,
"k": 12,
"i": 2,
"sturm_bound": 18,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"-32",
"738",
"1024",
"-3125",
"-23616",
"25574",
"-32768",
"367497",
"100000",
"769152",
"755712",
"-918982",
"-818368",
"-2306250",
"1048576",
"10312794",
"-11759904"
],
"embedded_fourier_coefficients": [
"0",
"1",
"-32",
"738",
"1024",
"-3125",
"-23616",
"25574",
"-32768",
"367497",
"100000",
"769152",
"755712",
"-918982",
"-818368",
"-2306250",
"1048576",
"10312794",
"-11759904"
],
"polynomial": "600000*X^10 - 117000*X^8 + 4550*X^6 - 455*X^4 + 117*X^2 - 6",
"polynomial_coefficients": [
"-6",
"0",
"117",
"0",
"-455",
"0",
"4550",
"0",
"-117000",
"0",
"600000"
]
},
{
"N": 10,
"k": 12,
"i": 3,
"sturm_bound": 18,
"field_degree": 1,
"field_polynomial": "x",
"fourier_coefficients": [
"0",
"1",
"32",
"-318",
"1024",
"-3125",
"-10176",
"-70714",
"32768",
"-76023",
"-100000",
"238272",
"-325632",
"-2097478",
"-2262848",
"993750",
"1048576",
"5955546",
"-2432736"
],
"embedded_fourier_coefficients": [
"0",
"1",
"32",
"-318",
"1024",
"-3125",
"-10176",
"-70714",
"32768",
"-76023",
"-100000",
"238272",
"-325632",
"-2097478",
"-2262848",
"993750",
"1048576",
"5955546",
"-2432736"
],
"polynomial": "1400000*X^10 - 285000*X^8 + 8750*X^6 + 875*X^4 - 285*X^2 + 14",
"polynomial_coefficients": [
"14",
"0",
"-285",
"0",
"875",
"0",
"8750",
"0",
"-285000",
"0",
"1400000"
]
},
{
"N": 10,
"k": 12,
"i": 4,
"sturm_bound": 18,
"field_degree": 2,
"field_polynomial": "x^2 - 1272*x - 383104",
"fourier_coefficients": [
"0",
"1",
"32",
"1/2*a - 16",
"1024",
"3125",
"16*a - 512",
"-177/2*a + 63332",
"32768",
"302*a - 81115",
"100000",
"-627*a + 609564",
"512*a - 16384",
"726*a + 403526",
"-2832*a + 2026624",
"3125/2*a - 50000",
"1048576",
"-2514*a - 1562910",
"9664*a - 2595680"
],
"embedded_fourier_coefficients": [
"0",
"1",
"32",
"-141.7341546466758?",
"1024",
"3125",
"-4535.492948693626?",
"85586.94537246161?",
"32768",
"-157058.4294065922?",
"100000",
"767234.6299269314?",
"-145135.7743581961?",
"220960.0074530268?",
"2.738782251918772?e6",
"-442919.2332708619?",
"1048576",
"-930718.6704365140?",
"-5.025869741010950?e6"
],
"generator_interval": [
"-72480805377857725325/288230376151711744",
"-289923221511430901297/1152921504606846976"
]
},
{
"N": 10,
"k": 12,
"i": 5,
"sturm_bound": 18,
"field_degree": 2,
"field_polynomial": "x^2 - 1272*x - 383104",
"fourier_coefficients": [
"0",
"1",
"32",
"1/2*a - 16",
"1024",
"3125",
"16*a - 512",
"-177/2*a + 63332",
"32768",
"302*a - 81115",
"100000",
"-627*a + 609564",
"512*a - 16384",
"726*a + 403526",
"-2832*a + 2026624",
"3125/2*a - 50000",
"1048576",
"-2514*a - 1562910",
"9664*a - 2595680"
],
"embedded_fourier_coefficients": [
"0",
"1",
"32",
"745.7341546466758?",
"1024",
"3125",
"23863.49294869363?",
"-71494.94537246161?",
"32768",
"378972.4294065922?",
"100000",
"-345650.6299269315?",
"763631.7743581960?",
"1.509563992546974?e6",
"-2.287838251918772?e6",
"2.330419233270862?e6",
"1048576",
"-5.392909329563486?e6",
"1.2127117741010950?e7"
],
"generator_interval": [
"1756439375371340254769/1152921504606846976",
"439109843842835063693/288230376151711744"
]
}
]