{ "results": [ { "all_winning_length_tuples": [ [] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 0.0014772499998798594, "factor_count": 0, "integral_over_2pi_display": 1.0787052023767583, "lambda": "1/4", "lengths": [], "polynomial": [ 1 ], "polynomial_degree": 0, "python_version": "3.12.14", "ratio_to_c0_alpha": "1", "ratio_to_c0_lambda": "1", "status": "complete_product_family", "tuples_visited": 1 }, { "all_winning_length_tuples": [ [] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 0.0014772499998798594, "factor_count": 0, "integral_over_2pi_display": 1.2732395447351625, "lambda": "1/2", "lengths": [], "polynomial": [ 1 ], "polynomial_degree": 0, "python_version": "3.12.14", "ratio_to_c0_alpha": "1", "ratio_to_c0_lambda": "1", "status": "complete_product_family", "tuples_visited": 1 }, { "all_winning_length_tuples": [ [] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 0.0014772499998798594, "factor_count": 0, "integral_over_2pi_display": 1.5737874653547947, "lambda": "3/4", "lengths": [], "polynomial": [ 1 ], "polynomial_degree": 0, "python_version": "3.12.14", "ratio_to_c0_alpha": "1", "ratio_to_c0_lambda": "1", "status": "complete_product_family", "tuples_visited": 1 }, { "all_winning_length_tuples": [ [ 81 ] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 0.001362686998618301, "factor_count": 1, "integral_over_2pi_display": 2.1579576571963472, "lambda": "5/4", "lengths": [ 81 ], "polynomial": [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ], "polynomial_degree": 80, "python_version": "3.12.14", "ratio_to_c0_alpha": "3732941736174279366297847278555313333836380967702316924/1865997535935033975345538545130861300746618286406191625", "ratio_to_c0_lambda": "933235434043569841574461819638828333459095241925579231/1119598521561020385207323127078516780447970971843714975", "status": "complete_product_family", "tuples_visited": 81 }, { "all_winning_length_tuples": [ [ 81 ] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 0.001362686998618301, "factor_count": 1, "integral_over_2pi_display": 2.5465761240734373, "lambda": "3/2", "lengths": [ 81 ], "polynomial": [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ], "polynomial_degree": 80, "python_version": "3.12.14", "ratio_to_c0_alpha": "52488/26243", "ratio_to_c0_lambda": "19683/26243", "status": "complete_product_family", "tuples_visited": 81 }, { "all_winning_length_tuples": [ [ 81 ] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 0.001362686998618301, "factor_count": 1, "integral_over_2pi_display": 3.1475850657381947, "lambda": "7/4", "lengths": [ 81 ], "polynomial": [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ], "polynomial_degree": 80, "python_version": "3.12.14", "ratio_to_c0_alpha": "1924574727473011166669070215585539013391045397372521212/962284265230903964281896400434979426806277405617579621", "ratio_to_c0_lambda": "3368005773077769541670872877274693273434329445401912121/4811421326154519821409482002174897134031387028087898105", "status": "complete_product_family", "tuples_visited": 81 }, { "all_winning_length_tuples": [ [ 40, 41 ] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 0.010673455999494763, "factor_count": 2, "integral_over_2pi_display": 3.8889849219824257, "lambda": "9/4", "lengths": [ 40, 41 ], "polynomial": [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 40, 39, 38, 37, 36, 35, 34, 33, 32, 31, 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1 ], "polynomial_degree": 79, "python_version": "3.12.14", "ratio_to_c0_alpha": "136597015282824270007165978459621823013903763605000866806700980224/37888527204576792370211677525344453141747825435489357125886117875", "ratio_to_c0_lambda": "25611940365529550626343620961179091815106955675937662526256433792/53043938086407509318296348535482234398446955609685099976240565025", "status": "complete_product_family", "tuples_visited": 1681 }, { "all_winning_length_tuples": [ [ 40, 41 ] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 0.010673455999494763, "factor_count": 2, "integral_over_2pi_display": 4.24558822274823, "lambda": "5/2", "lengths": [ 40, 41 ], "polynomial": [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 40, 39, 38, 37, 36, 35, 34, 33, 32, 31, 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1 ], "polynomial_degree": 79, "python_version": "3.12.14", "ratio_to_c0_alpha": "1721344000/516226053", "ratio_to_c0_lambda": "67240000/172075351", "status": "complete_product_family", "tuples_visited": 1681 }, { "all_winning_length_tuples": [ [ 40, 41 ] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 0.010673455999494763, "factor_count": 2, "integral_over_2pi_display": 4.946408581785809, "lambda": "11/4", "lengths": [ 40, 41 ], "polynomial": [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 40, 39, 38, 37, 36, 35, 34, 33, 32, 31, 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1 ], "polynomial_degree": 79, "python_version": "3.12.14", "ratio_to_c0_alpha": "68017535081142863304075883060855160579123326493786452857322461184/21640983021339092753150993144823285759880231595343657844573005909", "ratio_to_c0_lambda": "46762055368285718521552169604337922898147286964478186339409192064/139120605137179881984542098788149694170658631684352086143683609415", "status": "complete_product_family", "tuples_visited": 1681 }, { "all_winning_length_tuples": [ [ 20, 21, 41 ] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 0.1852947959996527, "factor_count": 3, "integral_over_2pi_display": 5.629792204026718, "lambda": "13/4", "lengths": [ 20, 21, 41 ], "polynomial": [ 1, 3, 6, 10, 15, 21, 28, 36, 45, 55, 66, 78, 91, 105, 120, 136, 153, 171, 190, 210, 230, 249, 267, 284, 300, 315, 329, 342, 354, 365, 375, 384, 392, 399, 405, 410, 414, 417, 419, 420, 420, 419, 417, 414, 410, 405, 399, 392, 384, 375, 365, 354, 342, 329, 315, 300, 284, 267, 249, 230, 210, 190, 171, 153, 136, 120, 105, 91, 78, 66, 55, 45, 36, 28, 21, 15, 10, 6, 3, 1 ], "polynomial_degree": 79, "python_version": "3.12.14", "ratio_to_c0_alpha": "9037939155350584112668685661935826975724509159920901103412196681728/1731728566938598098332616084540743534772827080198542969812559622875", "ratio_to_c0_lambda": "141217799302352876760448213467747296495695455623764079740815573152/683810767457805402931340710305832062448757359873270813720856876725", "status": "complete_product_family", "tuples_visited": 16163 }, { "all_winning_length_tuples": [ [ 20, 21, 41 ] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 0.1852947959996527, "factor_count": 3, "integral_over_2pi_display": 5.948796105764669, "lambda": "7/2", "lengths": [ 20, 21, 41 ], "polynomial": [ 1, 3, 6, 10, 15, 21, 28, 36, 45, 55, 66, 78, 91, 105, 120, 136, 153, 171, 190, 210, 230, 249, 267, 284, 300, 315, 329, 342, 354, 365, 375, 384, 392, 399, 405, 410, 414, 417, 419, 420, 420, 419, 417, 414, 410, 405, 399, 392, 384, 375, 365, 354, 342, 329, 315, 300, 284, 267, 249, 230, 210, 190, 171, 153, 136, 120, 105, 91, 78, 66, 55, 45, 36, 28, 21, 15, 10, 6, 3, 1 ], "polynomial_degree": 79, "python_version": "3.12.14", "ratio_to_c0_alpha": "58137035776311296/12443252659534125", "ratio_to_c0_lambda": "397421143002128/2488650531906825", "status": "complete_product_family", "tuples_visited": 16163 }, { "all_winning_length_tuples": [ [ 20, 21, 41 ] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 0.1852947959996527, "factor_count": 3, "integral_over_2pi_display": 6.746218180113231, "lambda": "15/4", "lengths": [ 20, 21, 41 ], "polynomial": [ 1, 3, 6, 10, 15, 21, 28, 36, 45, 55, 66, 78, 91, 105, 120, 136, 153, 171, 190, 210, 230, 249, 267, 284, 300, 315, 329, 342, 354, 365, 375, 384, 392, 399, 405, 410, 414, 417, 419, 420, 420, 419, 417, 414, 410, 405, 399, 392, 384, 375, 365, 354, 342, 329, 315, 300, 284, 267, 249, 230, 210, 190, 171, 153, 136, 120, 105, 91, 78, 66, 55, 45, 36, 28, 21, 15, 10, 6, 3, 1 ], "polynomial_degree": 79, "python_version": "3.12.14", "ratio_to_c0_alpha": "2074829334089948481454788371852285480315097132723221890786450682595328/484025317824273196958796991390424012632018385608827014731411932018681", "ratio_to_c0_lambda": "226934458416088115159117478171343724409463748891602394304768043408864/1716089763195150425581189333111503317513519730794932143138642304429869", "status": "complete_product_family", "tuples_visited": 16163 }, { "all_winning_length_tuples": [ [ 11, 12, 23, 34 ] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 3.2426545779999287, "factor_count": 4, "integral_over_2pi_display": 7.809447751644233, "lambda": "17/4", "lengths": [ 11, 12, 23, 34 ], "polynomial": [ 1, 4, 10, 20, 35, 56, 84, 120, 165, 220, 286, 363, 450, 546, 650, 761, 878, 1000, 1126, 1255, 1386, 1518, 1650, 1781, 1910, 2036, 2158, 2275, 2386, 2490, 2586, 2673, 2750, 2816, 2870, 2912, 2942, 2960, 2966, 2960, 2942, 2912, 2870, 2816, 2750, 2673, 2586, 2490, 2386, 2275, 2158, 2036, 1910, 1781, 1650, 1518, 1386, 1255, 1126, 1000, 878, 761, 650, 546, 450, 363, 286, 220, 165, 120, 84, 56, 35, 20, 10, 4, 1 ], "polynomial_degree": 76, "python_version": "3.12.14", "ratio_to_c0_alpha": "26215093101663318104210188088137784267951722270699241890460900137566208/3621044433468608623613500232774694731209981424695153349878062171431625", "ratio_to_c0_lambda": "102402707428372336344571047219288219796686415119918913634612891162368/1261630865959650968408323610514260155217957328966184651314980937557625", "status": "complete_product_family", "tuples_visited": 92582 }, { "all_winning_length_tuples": [ [ 2, 3, 5, 7 ] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 3.2426545779999287, "factor_count": 4, "integral_over_2pi_display": 8.229595503857196, "lambda": "9/2", "lengths": [ 2, 3, 5, 7 ], "polynomial": [ 1, 4, 9, 15, 21, 26, 29, 29, 26, 21, 15, 9, 4, 1 ], "polynomial_degree": 13, "python_version": "3.12.14", "ratio_to_c0_alpha": "6573654016/1017041025", "ratio_to_c0_lambda": "601836/9686105", "status": "complete_product_family", "tuples_visited": 92582 }, { "all_winning_length_tuples": [ [ 2, 3, 5, 7 ] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 3.2426545779999287, "factor_count": 4, "integral_over_2pi_display": 8.915217961798788, "lambda": "19/4", "lengths": [ 2, 3, 5, 7 ], "polynomial": [ 1, 4, 9, 15, 21, 26, 29, 29, 26, 21, 15, 9, 4, 1 ], "polynomial_degree": 13, "python_version": "3.12.14", "ratio_to_c0_alpha": "213941291284480/37766673118713", "ratio_to_c0_lambda": "835708169080/17115040517913", "status": "complete_product_family", "tuples_visited": 92582 }, { "all_winning_length_tuples": [ [ 8, 9, 17, 25, 26 ] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 25.82653025199761, "factor_count": 5, "integral_over_2pi_display": 10.199931348755253, "lambda": "21/4", "lengths": [ 8, 9, 17, 25, 26 ], "polynomial": [ 1, 5, 15, 35, 70, 126, 210, 330, 494, 709, 981, 1315, 1715, 2184, 2724, 3336, 4020, 4775, 5599, 6489, 7441, 8450, 9510, 10614, 11754, 12921, 14105, 15295, 16479, 17644, 18776, 19860, 20880, 21820, 22665, 23402, 24020, 24510, 24865, 25080, 25152, 25080, 24865, 24510, 24020, 23402, 22665, 21820, 20880, 19860, 18776, 17644, 16479, 15295, 14105, 12921, 11754, 10614, 9510, 8450, 7441, 6489, 5599, 4775, 4020, 3336, 2724, 2184, 1715, 1315, 981, 709, 494, 330, 210, 126, 70, 35, 15, 5, 1 ], "polynomial_degree": 80, "python_version": "3.12.14", "ratio_to_c0_alpha": "52211474311885198320875900408412676625300774738944637469958430262296576/5521683140628602290306559178484489250759111946254600357053877609830125", "ratio_to_c0_lambda": "50987767882700388985230371492590504516895287831000622529256279553024/1740621080529981717457120465012455887494199693464874019041116772932875", "status": "complete_product_family", "tuples_visited": 364275 }, { "all_winning_length_tuples": [ [ 8, 9, 17, 25, 26 ] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 25.82653025199761, "factor_count": 5, "integral_over_2pi_display": 9.908178070642792, "lambda": "11/2", "lengths": [ 8, 9, 17, 25, 26 ], "polynomial": [ 1, 5, 15, 35, 70, 126, 210, 330, 494, 709, 981, 1315, 1715, 2184, 2724, 3336, 4020, 4775, 5599, 6489, 7441, 8450, 9510, 10614, 11754, 12921, 14105, 15295, 16479, 17644, 18776, 19860, 20880, 21820, 22665, 23402, 24020, 24510, 24865, 25080, 25152, 25080, 24865, 24510, 24020, 23402, 22665, 21820, 20880, 19860, 18776, 17644, 16479, 15295, 14105, 12921, 11754, 10614, 9510, 8450, 7441, 6489, 5599, 4775, 4020, 3336, 2724, 2184, 1715, 1315, 981, 709, 494, 330, 210, 126, 70, 35, 15, 5, 1 ], "polynomial_degree": 80, "python_version": "3.12.14", "ratio_to_c0_alpha": "136323798893019245453215006720/17518140106242071718066882237", "ratio_to_c0_lambda": "520034022876812917530880/25278701452008761497932009", "status": "complete_product_family", "tuples_visited": 364275 }, { "all_winning_length_tuples": [ [ 8, 9, 17, 25, 26 ] ], "arithmetic": "integer arithmetic after a common rational Fourier denominator", "degree_bound": 80, "elapsed_seconds_for_group": 25.82653025199761, "factor_count": 5, "integral_over_2pi_display": 10.563944618648465, "lambda": "23/4", "lengths": [ 8, 9, 17, 25, 26 ], "polynomial": [ 1, 5, 15, 35, 70, 126, 210, 330, 494, 709, 981, 1315, 1715, 2184, 2724, 3336, 4020, 4775, 5599, 6489, 7441, 8450, 9510, 10614, 11754, 12921, 14105, 15295, 16479, 17644, 18776, 19860, 20880, 21820, 22665, 23402, 24020, 24510, 24865, 25080, 25152, 25080, 24865, 24510, 24020, 23402, 22665, 21820, 20880, 19860, 18776, 17644, 16479, 15295, 14105, 12921, 11754, 10614, 9510, 8450, 7441, 6489, 5599, 4775, 4020, 3336, 2724, 2184, 1715, 1315, 981, 709, 494, 330, 210, 126, 70, 35, 15, 5, 1 ], "polynomial_degree": 80, "python_version": "3.12.14", "ratio_to_c0_alpha": "477601241794039308005745809190889040815358062377457589601402505623764992/71151721720168159952943157734392329856906702684497571165517554006746107", "ratio_to_c0_lambda": "466407462689491511724361141787977578921248107790485927345119634398208/29440560537011539452133126842876293756061458631051730611236616375997089", "status": "complete_product_family", "tuples_visited": 364275 } ], "scope": "all Dirichlet products with k=floor(lambda) and degree <= N", "script_sha256": "4afe0c146f6dc35ec274b48210aaad8302253639c5dc67619bf8744ed479e25a" }