{
  "arithmetic": "rational LDL^T; integer comparisons and exact integer-square-root branch bounds",
  "best_history": [
    {
      "nodes": 0,
      "normalized_value": "397421143002128/2488650531906825",
      "polynomial": [
        1,
        3,
        6,
        10,
        15,
        21,
        28,
        36,
        45,
        55,
        66,
        78,
        91,
        105,
        120,
        136,
        153,
        171,
        190,
        210,
        230,
        249,
        267,
        284,
        300,
        315,
        329,
        342,
        354,
        365,
        375,
        384,
        392,
        399,
        405,
        410,
        414,
        417,
        419,
        420,
        420,
        419,
        417,
        414,
        410,
        405,
        399,
        392,
        384,
        375,
        365,
        354,
        342,
        329,
        315,
        300,
        284,
        267,
        249,
        230,
        210,
        190,
        171,
        153,
        136,
        120,
        105,
        91,
        78,
        66,
        55,
        45,
        36,
        28,
        21,
        15,
        10,
        6,
        3,
        1
      ]
    }
  ],
  "canonical_tie_count": 1,
  "canonical_ties": [
    [
      1,
      3,
      6,
      10,
      15,
      21,
      28,
      36,
      45,
      55,
      66,
      78,
      91,
      105,
      120,
      136,
      153,
      171,
      190,
      210,
      230,
      249,
      267,
      284,
      300,
      315,
      329,
      342,
      354,
      365,
      375,
      384,
      392,
      399,
      405,
      410,
      414,
      417,
      419,
      420,
      420,
      419,
      417,
      414,
      410,
      405,
      399,
      392,
      384,
      375,
      365,
      354,
      342,
      329,
      315,
      300,
      284,
      267,
      249,
      230,
      210,
      190,
      171,
      153,
      136,
      120,
      105,
      91,
      78,
      66,
      55,
      45,
      36,
      28,
      21,
      15,
      10,
      6,
      3,
      1
    ]
  ],
  "decomposition_seconds": 0.4678508739998506,
  "degree_bound": 80,
  "elapsed_seconds": 20.069198550998408,
  "improvements": 0,
  "initial_bound": "397421143002128/2488650531906825",
  "initial_candidate_kind": "Dirichlet product",
  "initial_dirichlet_lengths": [
    20,
    21,
    41
  ],
  "integral_over_2pi_display": 5.948796105764671,
  "lambda": "7/2",
  "leaves": 1,
  "node_limit": 10000000,
  "nodes": 2226136,
  "normalized_best": "397421143002128/2488650531906825",
  "normalized_minimum": "397421143002128/2488650531906825",
  "normalized_objective": "integral / (2*pi*c0(lambda))",
  "polynomial": [
    1,
    3,
    6,
    10,
    15,
    21,
    28,
    36,
    45,
    55,
    66,
    78,
    91,
    105,
    120,
    136,
    153,
    171,
    190,
    210,
    230,
    249,
    267,
    284,
    300,
    315,
    329,
    342,
    354,
    365,
    375,
    384,
    392,
    399,
    405,
    410,
    414,
    417,
    419,
    420,
    420,
    419,
    417,
    414,
    410,
    405,
    399,
    392,
    384,
    375,
    365,
    354,
    342,
    329,
    315,
    300,
    284,
    267,
    249,
    230,
    210,
    190,
    171,
    153,
    136,
    120,
    105,
    91,
    78,
    66,
    55,
    45,
    36,
    28,
    21,
    15,
    10,
    6,
    3,
    1
  ],
  "polynomial_degree": 79,
  "python_version": "3.12.14",
  "real_relaxation_minimum": "133499189745056880149688856635597007162669032647290798121690100488888732861290034376435130433536/4298020269877009173656802987026651769366919064829260817229103001516253158219366161327486745788325",
  "script_sha256": "586c569e25f769cd87db7bc558942e622576af6f764910f8616523abaed41885",
  "search_denominator_bits": 460,
  "status": "complete"
}