{
  "arithmetic": "rational LDL^T; integer comparisons and exact integer-square-root branch bounds",
  "best_history": [
    {
      "nodes": 0,
      "normalized_value": "520034022876812917530880/25278701452008761497932009",
      "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
      ]
    }
  ],
  "canonical_tie_count": 1,
  "canonical_ties": [
    [
      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
    ]
  ],
  "decomposition_seconds": 0.5074840800007223,
  "degree_bound": 80,
  "elapsed_seconds": 84.06282507099968,
  "improvements": 0,
  "initial_bound": "520034022876812917530880/25278701452008761497932009",
  "initial_candidate_kind": "Dirichlet product",
  "initial_dirichlet_lengths": [
    8,
    9,
    17,
    25,
    26
  ],
  "integral_over_2pi_display": 9.90817807064279,
  "lambda": "11/2",
  "leaves": 1,
  "node_limit": 10000000,
  "nodes": 10000000,
  "normalized_best": "520034022876812917530880/25278701452008761497932009",
  "normalized_minimum": null,
  "normalized_objective": "integral / (2*pi*c0(lambda))",
  "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",
  "real_relaxation_minimum": "133499189745056880149688856635597007162669032647290798121690100488888732861290034376435130433536/45220181504902217804852057024284214894140359868142536799786350838432619504231312521040185524049175",
  "script_sha256": "586c569e25f769cd87db7bc558942e622576af6f764910f8616523abaed41885",
  "search_denominator_bits": 463,
  "status": "node_limit"
}