{
  "arithmetic": "rational LDL^T; integer comparisons and exact integer-square-root branch bounds",
  "best_history": [
    {
      "nodes": 0,
      "normalized_value": "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
      ]
    }
  ],
  "canonical_tie_count": 1,
  "canonical_ties": [
    [
      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
    ]
  ],
  "decomposition_seconds": 0.035842024997691624,
  "degree_bound": 34,
  "elapsed_seconds": 0.2147003419995599,
  "improvements": 0,
  "initial_bound": "19902285164557952968720661632/150243769804249537177524159267",
  "initial_candidate_kind": "Dirichlet product",
  "initial_dirichlet_lengths": [
    8,
    9,
    17
  ],
  "integral_over_2pi_display": 6.757816741463586,
  "lambda": "15/4",
  "leaves": 1,
  "node_limit": 10000000,
  "nodes": 34613,
  "normalized_best": "19902285164557952968720661632/150243769804249537177524159267",
  "normalized_minimum": "19902285164557952968720661632/150243769804249537177524159267",
  "normalized_objective": "integral / (2*pi*c0(lambda))",
  "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,
  "python_version": "3.12.14",
  "real_relaxation_minimum": "25699104363086005063528824872116538821606113280/907200436399077511205674921927145651088895348053",
  "script_sha256": "586c569e25f769cd87db7bc558942e622576af6f764910f8616523abaed41885",
  "search_denominator_bits": 240,
  "status": "complete"
}