{
  "arithmetic": "rational LDL^T; integer comparisons and exact integer-square-root branch bounds",
  "best_history": [
    {
      "nodes": 0,
      "normalized_value": "3278824635541247815125114181047484955184155424876416/40639891549624156371693126611609552341028229338209875",
      "polynomial": [
        1,
        4,
        10,
        20,
        35,
        56,
        84,
        120,
        165,
        219,
        281,
        350,
        425,
        505,
        589,
        676,
        765,
        855,
        945,
        1034,
        1121,
        1205,
        1285,
        1360,
        1429,
        1491,
        1545,
        1590,
        1625,
        1649,
        1661,
        1661,
        1649,
        1625,
        1590,
        1545,
        1491,
        1429,
        1360,
        1285,
        1205,
        1121,
        1034,
        945,
        855,
        765,
        676,
        589,
        505,
        425,
        350,
        281,
        219,
        165,
        120,
        84,
        56,
        35,
        20,
        10,
        4,
        1
      ]
    }
  ],
  "canonical_tie_count": 1,
  "canonical_ties": [
    [
      1,
      4,
      10,
      20,
      35,
      56,
      84,
      120,
      165,
      219,
      281,
      350,
      425,
      505,
      589,
      676,
      765,
      855,
      945,
      1034,
      1121,
      1205,
      1285,
      1360,
      1429,
      1491,
      1545,
      1590,
      1625,
      1649,
      1661,
      1661,
      1649,
      1625,
      1590,
      1545,
      1491,
      1429,
      1360,
      1285,
      1205,
      1121,
      1034,
      945,
      855,
      765,
      676,
      589,
      505,
      425,
      350,
      281,
      219,
      165,
      120,
      84,
      56,
      35,
      20,
      10,
      4,
      1
    ]
  ],
  "decomposition_seconds": 0.23864955700264545,
  "degree_bound": 61,
  "elapsed_seconds": 30.146401355003036,
  "improvements": 0,
  "initial_bound": "3278824635541247815125114181047484955184155424876416/40639891549624156371693126611609552341028229338209875",
  "integral_over_2pi_display": 7.76259340993152,
  "lambda": "17/4",
  "leaves": 1,
  "node_limit": 100000000,
  "nodes": 3894122,
  "normalized_best": "3278824635541247815125114181047484955184155424876416/40639891549624156371693126611609552341028229338209875",
  "normalized_minimum": "3278824635541247815125114181047484955184155424876416/40639891549624156371693126611609552341028229338209875",
  "normalized_objective": "integral / (2*pi*c0(lambda))",
  "polynomial": [
    1,
    4,
    10,
    20,
    35,
    56,
    84,
    120,
    165,
    219,
    281,
    350,
    425,
    505,
    589,
    676,
    765,
    855,
    945,
    1034,
    1121,
    1205,
    1285,
    1360,
    1429,
    1491,
    1545,
    1590,
    1625,
    1649,
    1661,
    1661,
    1649,
    1625,
    1590,
    1545,
    1491,
    1429,
    1360,
    1285,
    1205,
    1121,
    1034,
    945,
    855,
    765,
    676,
    589,
    505,
    425,
    350,
    281,
    219,
    165,
    120,
    84,
    56,
    35,
    20,
    10,
    4,
    1
  ],
  "polynomial_degree": 61,
  "python_version": "3.12.14",
  "real_relaxation_minimum": "18395086716300764463799105052759763073773809152294446680313547196105596476902906789888/1344481975735638730238370028854834711531954040668947444554292893525506658463127726442275",
  "script_sha256": "586c569e25f769cd87db7bc558942e622576af6f764910f8616523abaed41885",
  "search_denominator_bits": 416,
  "status": "complete"
}