{
  "authored_dfs_augmenting_flow": {
    "capacities": {
      "S->A": 1,
      "S->B": 1,
      "A->B": 1,
      "A->T": 1,
      "B->T": 1
    },
    "augmentations": [
      {
        "path": [
          "S",
          "A",
          "B",
          "T"
        ],
        "changes": [
          {
            "from": "S",
            "to": "A",
            "kind": "increase_original",
            "amount": 1
          },
          {
            "from": "A",
            "to": "B",
            "kind": "increase_original",
            "amount": 1
          },
          {
            "from": "B",
            "to": "T",
            "kind": "increase_original",
            "amount": 1
          }
        ],
        "flow": {
          "S->A": 1,
          "S->B": 0,
          "A->B": 1,
          "A->T": 0,
          "B->T": 1
        }
      },
      {
        "path": [
          "S",
          "B",
          "A",
          "T"
        ],
        "changes": [
          {
            "from": "S",
            "to": "B",
            "kind": "increase_original",
            "amount": 1
          },
          {
            "from": "B",
            "to": "A",
            "kind": "cancel_previous_original",
            "amount": 1
          },
          {
            "from": "A",
            "to": "T",
            "kind": "increase_original",
            "amount": 1
          }
        ],
        "flow": {
          "S->A": 1,
          "S->B": 1,
          "A->B": 0,
          "A->T": 1,
          "B->T": 1
        }
      }
    ],
    "value": 2,
    "final_flow": {
      "S->A": 1,
      "S->B": 1,
      "A->B": 0,
      "A->T": 1,
      "B->T": 1
    },
    "independent_all_four_cuts": [
      {
        "source_side": [
          "S"
        ],
        "capacity": 2
      },
      {
        "source_side": [
          "B",
          "S"
        ],
        "capacity": 2
      },
      {
        "source_side": [
          "A",
          "S"
        ],
        "capacity": 3
      },
      {
        "source_side": [
          "A",
          "B",
          "S"
        ],
        "capacity": 2
      }
    ],
    "minimum_cut_capacity": 2
  },
  "incorrect_no_reverse_residual": {
    "capacities": {
      "S->A": 1,
      "S->B": 1,
      "A->B": 1,
      "A->T": 1,
      "B->T": 1
    },
    "augmentations": [
      {
        "path": [
          "S",
          "A",
          "B",
          "T"
        ],
        "changes": [
          {
            "from": "S",
            "to": "A",
            "kind": "increase_original",
            "amount": 1
          },
          {
            "from": "A",
            "to": "B",
            "kind": "increase_original",
            "amount": 1
          },
          {
            "from": "B",
            "to": "T",
            "kind": "increase_original",
            "amount": 1
          }
        ],
        "flow": {
          "S->A": 1,
          "S->B": 0,
          "A->B": 1,
          "A->T": 0,
          "B->T": 1
        }
      }
    ],
    "value": 1,
    "final_flow": {
      "S->A": 1,
      "S->B": 0,
      "A->B": 1,
      "A->T": 0,
      "B->T": 1
    },
    "independent_all_four_cuts": [
      {
        "source_side": [
          "S"
        ],
        "capacity": 2
      },
      {
        "source_side": [
          "B",
          "S"
        ],
        "capacity": 2
      },
      {
        "source_side": [
          "A",
          "S"
        ],
        "capacity": 3
      },
      {
        "source_side": [
          "A",
          "B",
          "S"
        ],
        "capacity": 2
      }
    ],
    "minimum_cut_capacity": 2
  },
  "edmonds_karp_networkx_or_real_capacity_executed": false
}