{
  "arithmetic": "rational LDL^T; integer comparisons and exact integer-square-root branch bounds",
  "best_history": [
    {
      "nodes": 0,
      "normalized_value": "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
      ]
    }
  ],
  "canonical_tie_count": 1,
  "canonical_ties": [
    [
      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
    ]
  ],
  "decomposition_seconds": 0.03657476900116308,
  "degree_bound": 34,
  "elapsed_seconds": 0.10209602699978859,
  "improvements": 0,
  "initial_bound": "1974507412739563448778683648/122739189519718729456238271987",
  "initial_candidate_kind": "Dirichlet product",
  "initial_dirichlet_lengths": [
    3,
    4,
    7,
    10,
    11
  ],
  "integral_over_2pi_display": 10.727097226979549,
  "lambda": "23/4",
  "leaves": 1,
  "node_limit": 10000000,
  "nodes": 13844,
  "normalized_best": "1974507412739563448778683648/122739189519718729456238271987",
  "normalized_minimum": "1974507412739563448778683648/122739189519718729456238271987",
  "normalized_objective": "integral / (2*pi*c0(lambda))",
  "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,
  "python_version": "3.12.14",
  "real_relaxation_minimum": "250299578721226336109312818848802968673831616512/73201541708154890671386686707734163883505784344561",
  "script_sha256": "586c569e25f769cd87db7bc558942e622576af6f764910f8616523abaed41885",
  "search_denominator_bits": 245,
  "status": "complete"
}