[ { "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" ] } ]