{ "degree": 61, "integral_over_2pi_display": 7.76259340993152, "lambda": "17/4", "moments_zero_through_three_and_nonzero_at_four": [ 0, 0, 0, 0, 1108800 ], "negative_support": [ 9, 10, 55, 56 ], "normalization": "normalized values divide the integral by 2*pi*c0(17/4)", "normalized_product_minimum": "102402707428372336344571047219288219796686415119918913634612891162368/1261630865959650968408323610514260155217957328966184651314980937557625", "normalized_value": "3278824635541247815125114181047484955184155424876416/40639891549624156371693126611609552341028229338209875", "polynomial": [ 1, 4, 10, 20, 35, 56, 84, 120, 165, 219, 281, 350, 425, 505, 589, 676, 765, 855, 945, 1034, 1121, 1205, 1285, 1360, 1429, 1491, 1545, 1590, 1625, 1649, 1661, 1661, 1649, 1625, 1590, 1545, 1491, 1429, 1360, 1285, 1205, 1121, 1034, 945, 855, 765, 676, 589, 505, 425, 350, 281, 219, 165, 120, 84, 56, 35, 20, 10, 4, 1 ], "positive_gap_integral_over_2pi_display": 0.04685434171271939, "positive_normalized_gap": "614385498020188218637952485985459204912439040285363195612154372224/1261630865959650968408323610514260155217957328966184651314980937557625", "positive_support": [ 0, 31, 34, 65 ], "product_degree_bound": 80, "product_family_tuple_count": 92582, "product_minimum_integral_over_2pi_display": 7.809447751644241, "product_minimum_lengths": [ 11, 12, 23, 34 ], "q_terms": [ [ 0, 1 ], [ 9, -1 ], [ 10, -1 ], [ 31, 1 ], [ 34, 1 ], [ 55, -1 ], [ 56, -1 ], [ 65, 1 ] ], "ratio_to_c0_alpha": "839379106698559440672029230348156148527143788768362496/116641766655414786469404947807346896978795307581095875", "status": "exact_strict_product_family_separation" }