{
  "normalization": "normalized_minimum = F_le_34(lambda)/(2*pi*c0(lambda))",
  "results": [
    {
      "degree_bound": 34,
      "enumeration_nodes": 0,
      "global_relation": "equals_global_infimum",
      "integral_over_2pi_display": 1.0787052023767583,
      "lambda": "1/4",
      "normalized_minimum": "1",
      "polynomial": [
        1
      ],
      "polynomial_degree": 0,
      "proof_source": "analytic_base_interval",
      "representative_lengths": [],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 0,
      "global_relation": "equals_global_infimum",
      "integral_over_2pi_display": 1.2732395447351625,
      "lambda": "1/2",
      "normalized_minimum": "1",
      "polynomial": [
        1
      ],
      "polynomial_degree": 0,
      "proof_source": "analytic_base_interval",
      "representative_lengths": [],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 0,
      "global_relation": "equals_global_infimum",
      "integral_over_2pi_display": 1.5737874653547947,
      "lambda": "3/4",
      "normalized_minimum": "1",
      "polynomial": [
        1
      ],
      "polynomial_degree": 0,
      "proof_source": "analytic_base_interval",
      "representative_lengths": [],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 0,
      "global_relation": "equals_global_infimum",
      "integral_over_2pi_display": 2.0,
      "lambda": "1",
      "normalized_minimum": "1",
      "polynomial": [
        1
      ],
      "polynomial_degree": 0,
      "proof_source": "integer_PTE_theorem",
      "representative_lengths": [],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 0,
      "global_relation": "strictly_above_global_infimum",
      "integral_over_2pi_display": 2.1593372005780593,
      "lambda": "5/4",
      "normalized_minimum": "4348795406577989080543/5213897925224853559695",
      "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
      ],
      "polynomial_degree": 34,
      "proof_source": "analytic_first_shifted_finite_degree_theorem",
      "representative_lengths": [
        35
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 0,
      "global_relation": "strictly_above_global_infimum",
      "integral_over_2pi_display": 2.5469988851611736,
      "lambda": "3/2",
      "normalized_minimum": "1225/1633",
      "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
      ],
      "polynomial_degree": 34,
      "proof_source": "analytic_first_shifted_finite_degree_theorem",
      "representative_lengths": [
        35
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 0,
      "global_relation": "strictly_above_global_infimum",
      "integral_over_2pi_display": 3.1476575392867443,
      "lambda": "7/4",
      "normalized_minimum": "177462380241145682461933/253511032623624086145565",
      "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
      ],
      "polynomial_degree": 34,
      "proof_source": "analytic_first_shifted_finite_degree_theorem",
      "representative_lengths": [
        35
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 0,
      "global_relation": "equals_global_infimum",
      "integral_over_2pi_display": 4.0,
      "lambda": "2",
      "normalized_minimum": "2/3",
      "polynomial": [
        1,
        1
      ],
      "polynomial_degree": 1,
      "proof_source": "integer_PTE_theorem",
      "representative_lengths": [
        2
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 0,
      "global_relation": "strictly_above_global_infimum",
      "integral_over_2pi_display": 3.9032487457169838,
      "lambda": "9/4",
      "normalized_minimum": "259369903516185134791146552/535208359990306292853878315",
      "polynomial": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        16,
        17,
        17,
        16,
        15,
        14,
        13,
        12,
        11,
        10,
        9,
        8,
        7,
        6,
        5,
        4,
        3,
        2,
        1
      ],
      "polynomial_degree": 33,
      "proof_source": "analytic_second_shifted_finite_degree_theorem",
      "representative_lengths": [
        17,
        18
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 0,
      "global_relation": "strictly_above_global_infimum",
      "integral_over_2pi_display": 4.251954293932406,
      "lambda": "5/2",
      "normalized_minimum": "260100/664631",
      "polynomial": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        16,
        17,
        17,
        16,
        15,
        14,
        13,
        12,
        11,
        10,
        9,
        8,
        7,
        6,
        5,
        4,
        3,
        2,
        1
      ],
      "polynomial_degree": 33,
      "proof_source": "analytic_second_shifted_finite_degree_theorem",
      "representative_lengths": [
        17,
        18
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 0,
      "global_relation": "strictly_above_global_infimum",
      "integral_over_2pi_display": 4.947985013070567,
      "lambda": "11/4",
      "normalized_minimum": "613566014229194119726718984/1824823115031370896893005983",
      "polynomial": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        16,
        17,
        17,
        16,
        15,
        14,
        13,
        12,
        11,
        10,
        9,
        8,
        7,
        6,
        5,
        4,
        3,
        2,
        1
      ],
      "polynomial_degree": 33,
      "proof_source": "analytic_second_shifted_finite_degree_theorem",
      "representative_lengths": [
        17,
        18
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 0,
      "global_relation": "equals_global_infimum",
      "integral_over_2pi_display": 6.0,
      "lambda": "3",
      "normalized_minimum": "3/10",
      "polynomial": [
        1,
        2,
        2,
        1
      ],
      "polynomial_degree": 3,
      "proof_source": "integer_PTE_theorem",
      "representative_lengths": [
        2,
        3
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 21894,
      "global_relation": "global_infimum_unknown",
      "integral_over_2pi_display": 5.6866081883377735,
      "lambda": "13/4",
      "normalized_minimum": "472342115898312999935577216/2264343061497449700535639025",
      "polynomial": [
        1,
        3,
        6,
        10,
        15,
        21,
        28,
        36,
        44,
        51,
        57,
        62,
        66,
        69,
        71,
        72,
        72,
        71,
        69,
        66,
        62,
        57,
        51,
        44,
        36,
        28,
        21,
        15,
        10,
        6,
        3,
        1
      ],
      "polynomial_degree": 31,
      "proof_source": "exact_lattice_enumeration",
      "representative_lengths": [
        8,
        9,
        17
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 20404,
      "global_relation": "global_infimum_unknown",
      "integral_over_2pi_display": 5.98301834961786,
      "lambda": "7/2",
      "normalized_minimum": "22012256064/137052276053",
      "polynomial": [
        1,
        3,
        6,
        10,
        15,
        21,
        28,
        36,
        44,
        51,
        57,
        62,
        66,
        69,
        71,
        72,
        72,
        71,
        69,
        66,
        62,
        57,
        51,
        44,
        36,
        28,
        21,
        15,
        10,
        6,
        3,
        1
      ],
      "polynomial_degree": 31,
      "proof_source": "exact_lattice_enumeration",
      "representative_lengths": [
        8,
        9,
        17
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 34613,
      "global_relation": "global_infimum_unknown",
      "integral_over_2pi_display": 6.757816741463586,
      "lambda": "15/4",
      "normalized_minimum": "19902285164557952968720661632/150243769804249537177524159267",
      "polynomial": [
        1,
        3,
        6,
        10,
        15,
        21,
        28,
        36,
        44,
        51,
        57,
        62,
        66,
        69,
        71,
        72,
        72,
        71,
        69,
        66,
        62,
        57,
        51,
        44,
        36,
        28,
        21,
        15,
        10,
        6,
        3,
        1
      ],
      "polynomial_degree": 31,
      "proof_source": "exact_lattice_enumeration",
      "representative_lengths": [
        8,
        9,
        17
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 0,
      "global_relation": "equals_global_infimum",
      "integral_over_2pi_display": 8.0,
      "lambda": "4",
      "normalized_minimum": "4/35",
      "polynomial": [
        1,
        3,
        5,
        6,
        6,
        5,
        3,
        1
      ],
      "polynomial_degree": 7,
      "proof_source": "integer_PTE_theorem",
      "representative_lengths": [
        2,
        3,
        5
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 48518,
      "global_relation": "global_infimum_unknown",
      "integral_over_2pi_display": 7.885704564799357,
      "lambda": "17/4",
      "normalized_minimum": "1244343605022927332687987339264/15182420227340400242091459662625",
      "polynomial": [
        1,
        4,
        10,
        20,
        35,
        55,
        79,
        106,
        135,
        165,
        195,
        224,
        251,
        275,
        295,
        310,
        319,
        322,
        319,
        310,
        295,
        275,
        251,
        224,
        195,
        165,
        135,
        106,
        79,
        55,
        35,
        20,
        10,
        4,
        1
      ],
      "polynomial_degree": 34,
      "proof_source": "exact_lattice_enumeration",
      "representative_lengths": [
        5,
        6,
        11,
        16
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 37855,
      "global_relation": "global_infimum_unknown",
      "integral_over_2pi_display": 8.229595503857196,
      "lambda": "9/2",
      "normalized_minimum": "601836/9686105",
      "polynomial": [
        1,
        4,
        9,
        15,
        21,
        26,
        29,
        29,
        26,
        21,
        15,
        9,
        4,
        1
      ],
      "polynomial_degree": 13,
      "proof_source": "exact_lattice_enumeration",
      "representative_lengths": [
        2,
        3,
        5,
        7
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 41709,
      "global_relation": "global_infimum_unknown",
      "integral_over_2pi_display": 8.915217961798785,
      "lambda": "19/4",
      "normalized_minimum": "835708169080/17115040517913",
      "polynomial": [
        1,
        4,
        9,
        15,
        21,
        26,
        29,
        29,
        26,
        21,
        15,
        9,
        4,
        1
      ],
      "polynomial_degree": 13,
      "proof_source": "exact_lattice_enumeration",
      "representative_lengths": [
        2,
        3,
        5,
        7
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 0,
      "global_relation": "equals_global_infimum",
      "integral_over_2pi_display": 10.0,
      "lambda": "5",
      "normalized_minimum": "5/126",
      "polynomial": [
        1,
        4,
        9,
        15,
        21,
        26,
        29,
        29,
        26,
        21,
        15,
        9,
        4,
        1
      ],
      "polynomial_degree": 13,
      "proof_source": "integer_PTE_theorem",
      "representative_lengths": [
        2,
        3,
        5,
        7
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 51141,
      "global_relation": "global_infimum_unknown",
      "integral_over_2pi_display": 10.587947196796257,
      "lambda": "21/4",
      "normalized_minimum": "400467507595222905790905088/13170158622995370707197084125",
      "polynomial": [
        1,
        5,
        15,
        34,
        64,
        106,
        160,
        225,
        299,
        379,
        461,
        540,
        610,
        665,
        700,
        712,
        700,
        665,
        610,
        540,
        461,
        379,
        299,
        225,
        160,
        106,
        64,
        34,
        15,
        5,
        1
      ],
      "polynomial_degree": 30,
      "proof_source": "exact_lattice_enumeration",
      "representative_lengths": [
        3,
        4,
        7,
        10,
        11
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 18442,
      "global_relation": "global_infimum_unknown",
      "integral_over_2pi_display": 10.237356870580617,
      "lambda": "11/2",
      "normalized_minimum": "25715948378176/1209849943022825",
      "polynomial": [
        1,
        5,
        15,
        34,
        64,
        106,
        160,
        225,
        299,
        379,
        461,
        540,
        610,
        665,
        700,
        712,
        700,
        665,
        610,
        540,
        461,
        379,
        299,
        225,
        160,
        106,
        64,
        34,
        15,
        5,
        1
      ],
      "polynomial_degree": 30,
      "proof_source": "exact_lattice_enumeration",
      "representative_lengths": [
        3,
        4,
        7,
        10,
        11
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 13844,
      "global_relation": "global_infimum_unknown",
      "integral_over_2pi_display": 10.727097226979549,
      "lambda": "23/4",
      "normalized_minimum": "1974507412739563448778683648/122739189519718729456238271987",
      "polynomial": [
        1,
        5,
        15,
        34,
        64,
        106,
        160,
        225,
        299,
        379,
        461,
        540,
        610,
        665,
        700,
        712,
        700,
        665,
        610,
        540,
        461,
        379,
        299,
        225,
        160,
        106,
        64,
        34,
        15,
        5,
        1
      ],
      "polynomial_degree": 30,
      "proof_source": "exact_lattice_enumeration",
      "representative_lengths": [
        3,
        4,
        7,
        10,
        11
      ],
      "status": "exact"
    },
    {
      "degree_bound": 34,
      "enumeration_nodes": 0,
      "global_relation": "equals_global_infimum",
      "integral_over_2pi_display": 12.0,
      "lambda": "6",
      "normalized_minimum": "1/77",
      "polynomial": [
        1,
        5,
        14,
        29,
        49,
        71,
        91,
        105,
        110,
        105,
        91,
        71,
        49,
        29,
        14,
        5,
        1
      ],
      "polynomial_degree": 16,
      "proof_source": "integer_PTE_theorem",
      "representative_lengths": [
        2,
        3,
        4,
        5,
        7
      ],
      "status": "exact"
    }
  ]
}