{
  "integer_hull": {
    "A": [
      [
        -1,
        0
      ],
      [
        0,
        -1
      ],
      [
        2,
        1
      ],
      [
        1,
        2
      ]
    ],
    "b": [
      0,
      0,
      3,
      3
    ],
    "vertices": [
      [
        0,
        0
      ],
      [
        0,
        "3/2"
      ],
      [
        1,
        1
      ],
      [
        "3/2",
        0
      ]
    ],
    "integer_points": [
      [
        0,
        0
      ],
      [
        0,
        1
      ],
      [
        1,
        0
      ],
      [
        1,
        1
      ]
    ],
    "objective_x_LP": {
      "status": "optimal",
      "point": [
        "3/2",
        0
      ],
      "value": "3/2",
      "dual": [
        0,
        "1/2",
        "1/2",
        0
      ],
      "vertex_count": 4,
      "tight_rows": [
        1,
        2
      ]
    },
    "integer_optimum": 1
  },
  "TU": {
    "incidence": [
      [
        -1,
        0,
        0,
        1,
        -1
      ],
      [
        1,
        -1,
        0,
        0,
        0
      ],
      [
        0,
        1,
        -1,
        0,
        1
      ],
      [
        0,
        0,
        1,
        -1,
        0
      ]
    ],
    "minors_checked": 125,
    "minor_values": [
      -1,
      0,
      1
    ],
    "triangle": [
      [
        1,
        0,
        1
      ],
      [
        1,
        1,
        0
      ],
      [
        0,
        1,
        1
      ]
    ],
    "triangle_determinant": 2,
    "unimodular_not_TU": [
      [
        1,
        2
      ],
      [
        0,
        1
      ]
    ]
  },
  "birkhoff": {
    "matrix": [
      [
        "1/2",
        "1/3",
        "1/6",
        0
      ],
      [
        0,
        "1/2",
        "1/3",
        "1/6"
      ],
      [
        "1/6",
        0,
        "1/2",
        "1/3"
      ],
      [
        "1/3",
        "1/6",
        0,
        "1/2"
      ]
    ],
    "steps": [
      {
        "permutation": [
          0,
          1,
          2,
          3
        ],
        "weight": "1/2",
        "before": [
          [
            "1/2",
            "1/3",
            "1/6",
            0
          ],
          [
            0,
            "1/2",
            "1/3",
            "1/6"
          ],
          [
            "1/6",
            0,
            "1/2",
            "1/3"
          ],
          [
            "1/3",
            "1/6",
            0,
            "1/2"
          ]
        ],
        "residual": [
          [
            0,
            "1/3",
            "1/6",
            0
          ],
          [
            0,
            0,
            "1/3",
            "1/6"
          ],
          [
            "1/6",
            0,
            0,
            "1/3"
          ],
          [
            "1/3",
            "1/6",
            0,
            0
          ]
        ],
        "remaining_mass": "1/2"
      },
      {
        "permutation": [
          1,
          2,
          3,
          0
        ],
        "weight": "1/3",
        "before": [
          [
            0,
            "1/3",
            "1/6",
            0
          ],
          [
            0,
            0,
            "1/3",
            "1/6"
          ],
          [
            "1/6",
            0,
            0,
            "1/3"
          ],
          [
            "1/3",
            "1/6",
            0,
            0
          ]
        ],
        "residual": [
          [
            0,
            0,
            "1/6",
            0
          ],
          [
            0,
            0,
            0,
            "1/6"
          ],
          [
            "1/6",
            0,
            0,
            0
          ],
          [
            0,
            "1/6",
            0,
            0
          ]
        ],
        "remaining_mass": "1/6"
      },
      {
        "permutation": [
          2,
          3,
          0,
          1
        ],
        "weight": "1/6",
        "before": [
          [
            0,
            0,
            "1/6",
            0
          ],
          [
            0,
            0,
            0,
            "1/6"
          ],
          [
            "1/6",
            0,
            0,
            0
          ],
          [
            0,
            "1/6",
            0,
            0
          ]
        ],
        "residual": [
          [
            0,
            0,
            0,
            0
          ],
          [
            0,
            0,
            0,
            0
          ],
          [
            0,
            0,
            0,
            0
          ],
          [
            0,
            0,
            0,
            0
          ]
        ],
        "remaining_mass": 0
      }
    ],
    "support_size": 12,
    "matching_implementation": "Hopcroft-Karp"
  },
  "matching_support_crosscheck": {
    "all_3_by_3_boolean_supports": 512
  },
  "matching_polytopes": [
    {
      "n": 4,
      "edges": [
        [
          0,
          1
        ],
        [
          1,
          2
        ],
        [
          2,
          3
        ],
        [
          3,
          0
        ]
      ],
      "odd_sets": false,
      "vertices": [
        [
          0,
          0,
          0,
          0
        ],
        [
          0,
          0,
          0,
          1
        ],
        [
          0,
          0,
          1,
          0
        ],
        [
          0,
          1,
          0,
          0
        ],
        [
          0,
          1,
          0,
          1
        ],
        [
          1,
          0,
          0,
          0
        ],
        [
          1,
          0,
          1,
          0
        ]
      ],
      "fractional_vertices": []
    },
    {
      "n": 3,
      "edges": [
        [
          0,
          1
        ],
        [
          1,
          2
        ],
        [
          2,
          0
        ]
      ],
      "odd_sets": false,
      "vertices": [
        [
          0,
          0,
          0
        ],
        [
          0,
          0,
          1
        ],
        [
          0,
          1,
          0
        ],
        [
          "1/2",
          "1/2",
          "1/2"
        ],
        [
          1,
          0,
          0
        ]
      ],
      "fractional_vertices": [
        [
          "1/2",
          "1/2",
          "1/2"
        ]
      ]
    },
    {
      "n": 3,
      "edges": [
        [
          0,
          1
        ],
        [
          1,
          2
        ],
        [
          2,
          0
        ]
      ],
      "odd_sets": true,
      "vertices": [
        [
          0,
          0,
          0
        ],
        [
          0,
          0,
          1
        ],
        [
          0,
          1,
          0
        ],
        [
          1,
          0,
          0
        ]
      ],
      "fractional_vertices": []
    },
    {
      "n": 5,
      "edges": [
        [
          0,
          1
        ],
        [
          1,
          2
        ],
        [
          2,
          3
        ],
        [
          3,
          4
        ],
        [
          4,
          0
        ]
      ],
      "odd_sets": true,
      "vertices": [
        [
          0,
          0,
          0,
          0,
          0
        ],
        [
          0,
          0,
          0,
          0,
          1
        ],
        [
          0,
          0,
          0,
          1,
          0
        ],
        [
          0,
          0,
          1,
          0,
          0
        ],
        [
          0,
          0,
          1,
          0,
          1
        ],
        [
          0,
          1,
          0,
          0,
          0
        ],
        [
          0,
          1,
          0,
          0,
          1
        ],
        [
          0,
          1,
          0,
          1,
          0
        ],
        [
          1,
          0,
          0,
          0,
          0
        ],
        [
          1,
          0,
          0,
          1,
          0
        ],
        [
          1,
          0,
          1,
          0,
          0
        ]
      ],
      "fractional_vertices": []
    }
  ],
  "TDI_example": {
    "edge_weights": [
      [
        5,
        4
      ],
      [
        4,
        1
      ]
    ],
    "vertex_prices": [
      4,
      3,
      1,
      0
    ],
    "matching": [
      [
        0,
        1
      ],
      [
        1,
        0
      ]
    ],
    "value": 8,
    "scaled_halfline_dual_for_c1": "1/2"
  },
  "prism_tight_odd_cut": {
    "edges": [
      [
        0,
        1
      ],
      [
        1,
        2
      ],
      [
        2,
        0
      ],
      [
        3,
        4
      ],
      [
        4,
        5
      ],
      [
        5,
        3
      ],
      [
        0,
        3
      ],
      [
        1,
        4
      ],
      [
        2,
        5
      ]
    ],
    "edge_values": [
      "1/3",
      "1/3",
      "1/3",
      "1/3",
      "1/3",
      "1/3",
      "1/3",
      "1/3",
      "1/3"
    ],
    "decomposition": [
      [
        [
          0,
          3
        ],
        [
          1,
          2
        ],
        [
          4,
          5
        ]
      ],
      [
        [
          1,
          4
        ],
        [
          0,
          2
        ],
        [
          3,
          5
        ]
      ],
      [
        [
          2,
          5
        ],
        [
          0,
          1
        ],
        [
          3,
          4
        ]
      ]
    ],
    "weights": [
      "1/3",
      "1/3",
      "1/3"
    ],
    "odd_set": [
      0,
      1,
      2
    ],
    "cut_value": 1
  },
  "gomory": {
    "continuous_counterexample": {
      "z": "1/3",
      "xB": 1,
      "wrong_cut_lhs": "1/6",
      "wrong_cut_rhs": "1/2"
    },
    "basic_rhs": "3/2",
    "row_coefficients": [
      "1/2",
      "1/4"
    ],
    "cut_coefficients": [
      "1/2",
      "1/4"
    ],
    "cut_rhs": "1/2",
    "nonnegative_integer_solutions": [
      [
        1,
        0,
        2
      ],
      [
        0,
        0,
        6
      ],
      [
        1,
        1,
        0
      ],
      [
        0,
        1,
        4
      ],
      [
        0,
        2,
        2
      ],
      [
        0,
        3,
        0
      ]
    ],
    "negative_fractional_part": "3/4"
  },
  "CG_rank4": {
    "original_vertices": [
      [
        0,
        0
      ],
      [
        "1/2",
        2
      ],
      [
        1,
        0
      ]
    ],
    "round_certificates": [
      {
        "cuts": [
          {
            "normal": [
              1,
              1
            ],
            "support": "5/2",
            "rounded_rhs": 2
          },
          {
            "normal": [
              -1,
              1
            ],
            "support": "3/2",
            "rounded_rhs": 1
          }
        ],
        "outer_approximation_vertices": [
          [
            0,
            0
          ],
          [
            "1/3",
            "4/3"
          ],
          [
            "1/2",
            "3/2"
          ],
          [
            "2/3",
            "4/3"
          ],
          [
            1,
            0
          ]
        ]
      },
      {
        "cuts": [
          {
            "normal": [
              0,
              1
            ],
            "support": "3/2",
            "rounded_rhs": 1
          }
        ],
        "outer_approximation_vertices": [
          [
            0,
            0
          ],
          [
            "1/4",
            1
          ],
          [
            "3/4",
            1
          ],
          [
            1,
            0
          ]
        ]
      },
      {
        "cuts": [
          {
            "normal": [
              1,
              1
            ],
            "support": "7/4",
            "rounded_rhs": 1
          },
          {
            "normal": [
              -1,
              1
            ],
            "support": "3/4",
            "rounded_rhs": 0
          }
        ],
        "outer_approximation_vertices": [
          [
            0,
            0
          ],
          [
            "1/2",
            "1/2"
          ],
          [
            1,
            0
          ]
        ]
      },
      {
        "cuts": [
          {
            "normal": [
              0,
              1
            ],
            "support": "1/2",
            "rounded_rhs": 0
          }
        ],
        "outer_approximation_vertices": [
          [
            0,
            0
          ],
          [
            1,
            0
          ]
        ]
      }
    ],
    "lower_witness_checks": [
      {
        "h": 2,
        "next_apex": [
          "1/2",
          "3/2"
        ],
        "normals_checked": 624
      },
      {
        "h": "3/2",
        "next_apex": [
          "1/2",
          1
        ],
        "normals_checked": 624
      },
      {
        "h": 1,
        "next_apex": [
          "1/2",
          "1/2"
        ],
        "normals_checked": 624
      },
      {
        "h": "1/2",
        "next_apex": [
          "1/2",
          0
        ],
        "normals_checked": 624
      }
    ],
    "rank": 4,
    "warning": "These finite cut outer approximations are not asserted equal to entire intermediate closures. Exact rank lower bound uses the all-integer-normal triangle lemma in prose."
  },
  "branch_bound": {
    "nodes": [
      {
        "name": "root",
        "A": [
          [
            -1,
            0
          ],
          [
            0,
            -1
          ],
          [
            1,
            0
          ],
          [
            0,
            1
          ],
          [
            3,
            2
          ]
        ],
        "b": [
          0,
          0,
          2,
          3,
          7
        ],
        "status": "optimal",
        "point": [
          2,
          "1/2"
        ],
        "value": "37/2",
        "dual": [
          0,
          0,
          "1/2",
          0,
          "5/2"
        ],
        "vertex_count": 5,
        "tight_rows": [
          2,
          4
        ]
      },
      {
        "name": "y<=0",
        "A": [
          [
            -1,
            0
          ],
          [
            0,
            -1
          ],
          [
            1,
            0
          ],
          [
            0,
            1
          ],
          [
            3,
            2
          ],
          [
            0,
            1
          ]
        ],
        "b": [
          0,
          0,
          2,
          3,
          7,
          0
        ],
        "status": "optimal",
        "point": [
          2,
          0
        ],
        "value": 16,
        "dual": [
          0,
          0,
          8,
          0,
          0,
          5
        ],
        "vertex_count": 2,
        "tight_rows": [
          1,
          2,
          5
        ]
      },
      {
        "name": "y>=1",
        "A": [
          [
            -1,
            0
          ],
          [
            0,
            -1
          ],
          [
            1,
            0
          ],
          [
            0,
            1
          ],
          [
            3,
            2
          ],
          [
            0,
            -1
          ]
        ],
        "b": [
          0,
          0,
          2,
          3,
          7,
          -1
        ],
        "status": "optimal",
        "point": [
          "5/3",
          1
        ],
        "value": "55/3",
        "dual": [
          0,
          0,
          0,
          0,
          "8/3",
          "1/3"
        ],
        "vertex_count": 4,
        "tight_rows": [
          4,
          5
        ]
      },
      {
        "name": "y>=1,x<=1",
        "A": [
          [
            -1,
            0
          ],
          [
            0,
            -1
          ],
          [
            1,
            0
          ],
          [
            0,
            1
          ],
          [
            3,
            2
          ],
          [
            0,
            -1
          ],
          [
            1,
            0
          ]
        ],
        "b": [
          0,
          0,
          2,
          3,
          7,
          -1,
          1
        ],
        "status": "optimal",
        "point": [
          1,
          2
        ],
        "value": 18,
        "dual": [
          0,
          0,
          0,
          0,
          "5/2",
          0,
          "1/2"
        ],
        "vertex_count": 5,
        "tight_rows": [
          4,
          6
        ]
      },
      {
        "name": "y>=1,x>=2",
        "A": [
          [
            -1,
            0
          ],
          [
            0,
            -1
          ],
          [
            1,
            0
          ],
          [
            0,
            1
          ],
          [
            3,
            2
          ],
          [
            0,
            -1
          ],
          [
            -1,
            0
          ]
        ],
        "b": [
          0,
          0,
          2,
          3,
          7,
          -1,
          -2
        ],
        "status": "infeasible",
        "vertices": []
      }
    ],
    "optimum": 18,
    "incumbent": [
      1,
      2
    ],
    "infeasible_certificate": {
      "multipliers": [
        0,
        0,
        0,
        0,
        1,
        2,
        3
      ],
      "rhs": -1
    }
  },
  "branch_cut": {
    "objective": [
      5,
      5,
      8,
      7,
      7
    ],
    "nodes": [
      {
        "name": "root",
        "constraint_names": [
          "-x0<=0",
          "-x1<=0",
          "-x2<=0",
          "-x3<=0",
          "-x4<=0",
          "edge0",
          "edge1",
          "edge2",
          "edge3",
          "edge4",
          "capacity"
        ],
        "A": [
          [
            -1,
            0,
            0,
            0,
            0
          ],
          [
            0,
            -1,
            0,
            0,
            0
          ],
          [
            0,
            0,
            -1,
            0,
            0
          ],
          [
            0,
            0,
            0,
            -1,
            0
          ],
          [
            0,
            0,
            0,
            0,
            -1
          ],
          [
            1,
            1,
            0,
            0,
            0
          ],
          [
            0,
            1,
            1,
            0,
            0
          ],
          [
            0,
            0,
            1,
            1,
            0
          ],
          [
            0,
            0,
            0,
            1,
            1
          ],
          [
            1,
            0,
            0,
            0,
            1
          ],
          [
            -2,
            0,
            2,
            0,
            0
          ]
        ],
        "b": [
          0,
          0,
          0,
          0,
          0,
          1,
          1,
          1,
          1,
          1,
          1
        ],
        "status": "optimal",
        "point": [
          "1/2",
          "1/2",
          "1/2",
          "1/2",
          "1/2"
        ],
        "value": 16,
        "dual": [
          0,
          0,
          0,
          0,
          0,
          1,
          4,
          4,
          3,
          4,
          0
        ],
        "vertex_count": 22,
        "tight_rows": [
          5,
          6,
          7,
          8,
          9
        ]
      },
      {
        "name": "global_odd",
        "constraint_names": [
          "-x0<=0",
          "-x1<=0",
          "-x2<=0",
          "-x3<=0",
          "-x4<=0",
          "edge0",
          "edge1",
          "edge2",
          "edge3",
          "edge4",
          "capacity",
          "odd"
        ],
        "A": [
          [
            -1,
            0,
            0,
            0,
            0
          ],
          [
            0,
            -1,
            0,
            0,
            0
          ],
          [
            0,
            0,
            -1,
            0,
            0
          ],
          [
            0,
            0,
            0,
            -1,
            0
          ],
          [
            0,
            0,
            0,
            0,
            -1
          ],
          [
            1,
            1,
            0,
            0,
            0
          ],
          [
            0,
            1,
            1,
            0,
            0
          ],
          [
            0,
            0,
            1,
            1,
            0
          ],
          [
            0,
            0,
            0,
            1,
            1
          ],
          [
            1,
            0,
            0,
            0,
            1
          ],
          [
            -2,
            0,
            2,
            0,
            0
          ],
          [
            1,
            1,
            1,
            1,
            1
          ]
        ],
        "b": [
          0,
          0,
          0,
          0,
          0,
          1,
          1,
          1,
          1,
          1,
          1,
          2
        ],
        "status": "optimal",
        "point": [
          "1/4",
          0,
          "3/4",
          "1/4",
          "3/4"
        ],
        "value": "57/4",
        "dual": [
          0,
          "3/2",
          0,
          0,
          0,
          0,
          0,
          0,
          "1/2",
          0,
          "3/4",
          "13/2"
        ],
        "vertex_count": 20,
        "tight_rows": [
          1,
          7,
          8,
          9,
          10,
          11
        ]
      },
      {
        "name": "left_before_local",
        "constraint_names": [
          "-x0<=0",
          "-x1<=0",
          "-x2<=0",
          "-x3<=0",
          "-x4<=0",
          "edge0",
          "edge1",
          "edge2",
          "edge3",
          "edge4",
          "capacity",
          "odd",
          "x0<=0"
        ],
        "A": [
          [
            -1,
            0,
            0,
            0,
            0
          ],
          [
            0,
            -1,
            0,
            0,
            0
          ],
          [
            0,
            0,
            -1,
            0,
            0
          ],
          [
            0,
            0,
            0,
            -1,
            0
          ],
          [
            0,
            0,
            0,
            0,
            -1
          ],
          [
            1,
            1,
            0,
            0,
            0
          ],
          [
            0,
            1,
            1,
            0,
            0
          ],
          [
            0,
            0,
            1,
            1,
            0
          ],
          [
            0,
            0,
            0,
            1,
            1
          ],
          [
            1,
            0,
            0,
            0,
            1
          ],
          [
            -2,
            0,
            2,
            0,
            0
          ],
          [
            1,
            1,
            1,
            1,
            1
          ],
          [
            1,
            0,
            0,
            0,
            0
          ]
        ],
        "b": [
          0,
          0,
          0,
          0,
          0,
          1,
          1,
          1,
          1,
          1,
          1,
          2,
          0
        ],
        "status": "optimal",
        "point": [
          0,
          "1/2",
          "1/2",
          0,
          1
        ],
        "value": "27/2",
        "dual": [
          0,
          0,
          0,
          0,
          0,
          0,
          5,
          0,
          7,
          0,
          "3/2",
          0,
          8
        ],
        "vertex_count": 14,
        "tight_rows": [
          0,
          3,
          6,
          8,
          9,
          10,
          11,
          12
        ]
      },
      {
        "name": "left_after_local",
        "constraint_names": [
          "-x0<=0",
          "-x1<=0",
          "-x2<=0",
          "-x3<=0",
          "-x4<=0",
          "edge0",
          "edge1",
          "edge2",
          "edge3",
          "edge4",
          "capacity",
          "odd",
          "x0<=0",
          "local_x2<=0"
        ],
        "A": [
          [
            -1,
            0,
            0,
            0,
            0
          ],
          [
            0,
            -1,
            0,
            0,
            0
          ],
          [
            0,
            0,
            -1,
            0,
            0
          ],
          [
            0,
            0,
            0,
            -1,
            0
          ],
          [
            0,
            0,
            0,
            0,
            -1
          ],
          [
            1,
            1,
            0,
            0,
            0
          ],
          [
            0,
            1,
            1,
            0,
            0
          ],
          [
            0,
            0,
            1,
            1,
            0
          ],
          [
            0,
            0,
            0,
            1,
            1
          ],
          [
            1,
            0,
            0,
            0,
            1
          ],
          [
            -2,
            0,
            2,
            0,
            0
          ],
          [
            1,
            1,
            1,
            1,
            1
          ],
          [
            1,
            0,
            0,
            0,
            0
          ],
          [
            0,
            0,
            1,
            0,
            0
          ]
        ],
        "b": [
          0,
          0,
          0,
          0,
          0,
          1,
          1,
          1,
          1,
          1,
          1,
          2,
          0,
          0
        ],
        "status": "optimal",
        "point": [
          0,
          1,
          0,
          0,
          1
        ],
        "value": 12,
        "dual": [
          0,
          0,
          0,
          0,
          0,
          5,
          0,
          0,
          7,
          0,
          0,
          0,
          0,
          8
        ],
        "vertex_count": 6,
        "tight_rows": [
          0,
          2,
          3,
          5,
          6,
          8,
          9,
          11,
          12,
          13
        ]
      },
      {
        "name": "right",
        "constraint_names": [
          "-x0<=0",
          "-x1<=0",
          "-x2<=0",
          "-x3<=0",
          "-x4<=0",
          "edge0",
          "edge1",
          "edge2",
          "edge3",
          "edge4",
          "capacity",
          "odd",
          "x0>=1"
        ],
        "A": [
          [
            -1,
            0,
            0,
            0,
            0
          ],
          [
            0,
            -1,
            0,
            0,
            0
          ],
          [
            0,
            0,
            -1,
            0,
            0
          ],
          [
            0,
            0,
            0,
            -1,
            0
          ],
          [
            0,
            0,
            0,
            0,
            -1
          ],
          [
            1,
            1,
            0,
            0,
            0
          ],
          [
            0,
            1,
            1,
            0,
            0
          ],
          [
            0,
            0,
            1,
            1,
            0
          ],
          [
            0,
            0,
            0,
            1,
            1
          ],
          [
            1,
            0,
            0,
            0,
            1
          ],
          [
            -2,
            0,
            2,
            0,
            0
          ],
          [
            1,
            1,
            1,
            1,
            1
          ],
          [
            -1,
            0,
            0,
            0,
            0
          ]
        ],
        "b": [
          0,
          0,
          0,
          0,
          0,
          1,
          1,
          1,
          1,
          1,
          1,
          2,
          -1
        ],
        "status": "optimal",
        "point": [
          1,
          0,
          1,
          0,
          0
        ],
        "value": 13,
        "dual": [
          0,
          3,
          0,
          1,
          1,
          0,
          0,
          0,
          0,
          0,
          0,
          8,
          3
        ],
        "vertex_count": 3,
        "tight_rows": [
          1,
          3,
          4,
          5,
          6,
          7,
          9,
          11,
          12
        ]
      },
      {
        "name": "wrong_global_local",
        "constraint_names": [
          "-x0<=0",
          "-x1<=0",
          "-x2<=0",
          "-x3<=0",
          "-x4<=0",
          "edge0",
          "edge1",
          "edge2",
          "edge3",
          "edge4",
          "capacity",
          "odd",
          "WRONG_x2<=0"
        ],
        "A": [
          [
            -1,
            0,
            0,
            0,
            0
          ],
          [
            0,
            -1,
            0,
            0,
            0
          ],
          [
            0,
            0,
            -1,
            0,
            0
          ],
          [
            0,
            0,
            0,
            -1,
            0
          ],
          [
            0,
            0,
            0,
            0,
            -1
          ],
          [
            1,
            1,
            0,
            0,
            0
          ],
          [
            0,
            1,
            1,
            0,
            0
          ],
          [
            0,
            0,
            1,
            1,
            0
          ],
          [
            0,
            0,
            0,
            1,
            1
          ],
          [
            1,
            0,
            0,
            0,
            1
          ],
          [
            -2,
            0,
            2,
            0,
            0
          ],
          [
            1,
            1,
            1,
            1,
            1
          ],
          [
            0,
            0,
            1,
            0,
            0
          ]
        ],
        "b": [
          0,
          0,
          0,
          0,
          0,
          1,
          1,
          1,
          1,
          1,
          1,
          2,
          0
        ],
        "status": "optimal",
        "point": [
          0,
          1,
          0,
          0,
          1
        ],
        "value": 12,
        "dual": [
          0,
          0,
          0,
          0,
          0,
          5,
          0,
          0,
          7,
          0,
          0,
          0,
          8
        ],
        "vertex_count": 8,
        "tight_rows": [
          0,
          2,
          3,
          5,
          6,
          8,
          9,
          11,
          12
        ]
      }
    ],
    "integer_feasible": [
      [
        0,
        0,
        0,
        0,
        0
      ],
      [
        0,
        0,
        0,
        0,
        1
      ],
      [
        0,
        0,
        0,
        1,
        0
      ],
      [
        0,
        1,
        0,
        0,
        0
      ],
      [
        0,
        1,
        0,
        0,
        1
      ],
      [
        0,
        1,
        0,
        1,
        0
      ],
      [
        1,
        0,
        0,
        0,
        0
      ],
      [
        1,
        0,
        0,
        1,
        0
      ],
      [
        1,
        0,
        1,
        0,
        0
      ]
    ],
    "optimum": 13,
    "optimal_points": [
      [
        1,
        0,
        1,
        0,
        0
      ]
    ],
    "local_cut_scope": "x0=0 descendants only",
    "global_odd_cut_multipliers": [
      0,
      0,
      0,
      0,
      0,
      "1/2",
      "1/2",
      "1/2",
      "1/2",
      "1/2",
      0
    ]
  }
}