{
  "arithmetic": "rational LDL^T; integer comparisons and exact integer-square-root branch bounds",
  "best_history": [
    {
      "nodes": 0,
      "normalized_value": "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
      ]
    }
  ],
  "canonical_tie_count": 1,
  "canonical_ties": [
    [
      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
    ]
  ],
  "decomposition_seconds": 0.03686905999711598,
  "degree_bound": 34,
  "elapsed_seconds": 0.28382110099846614,
  "improvements": 0,
  "initial_bound": "1244343605022927332687987339264/15182420227340400242091459662625",
  "initial_candidate_kind": "Dirichlet product",
  "initial_dirichlet_lengths": [
    5,
    6,
    11,
    16
  ],
  "integral_over_2pi_display": 7.885704564799357,
  "lambda": "17/4",
  "leaves": 1,
  "node_limit": 10000000,
  "nodes": 48518,
  "normalized_best": "1244343605022927332687987339264/15182420227340400242091459662625",
  "normalized_minimum": "1244343605022927332687987339264/15182420227340400242091459662625",
  "normalized_objective": "integral / (2*pi*c0(lambda))",
  "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,
  "python_version": "3.12.14",
  "real_relaxation_minimum": "921801905881396884614506511038832253758953605824512/55596195191133925573118572753289342665703191436630625",
  "script_sha256": "586c569e25f769cd87db7bc558942e622576af6f764910f8616523abaed41885",
  "search_denominator_bits": 239,
  "status": "complete"
}