{
  "example": {
    "arcs": [
      [
        10,
        0,
        2,
        3,
        7
      ],
      [
        20,
        0,
        1,
        2,
        1
      ],
      [
        21,
        0,
        1,
        2,
        2
      ],
      [
        30,
        1,
        2,
        4,
        1
      ],
      [
        40,
        1,
        0,
        1,
        0
      ],
      [
        50,
        3,
        4,
        2,
        -4
      ],
      [
        51,
        4,
        3,
        3,
        1
      ],
      [
        60,
        4,
        4,
        2,
        -2
      ],
      [
        70,
        2,
        1,
        1,
        3
      ]
    ],
    "initial": [
      3,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    "demand": [
      -3,
      0,
      3,
      0,
      0,
      0
    ],
    "mean": {
      "flow": [
        0,
        2,
        1,
        3,
        0,
        2,
        2,
        2,
        0
      ],
      "potential": [
        -3,
        -1,
        0,
        0,
        -1,
        0
      ],
      "cost": -3,
      "iterations": 4,
      "trace": [
        {
          "mean": -2,
          "cycle": [
            [
              60,
              "+"
            ]
          ],
          "amount": 2,
          "cost_before": 21,
          "cost_after": 17,
          "flow": [
            3,
            0,
            0,
            0,
            0,
            0,
            0,
            2,
            0
          ],
          "potential_before": [
            -5,
            -2,
            0,
            0,
            -2,
            0
          ]
        },
        {
          "mean": "-5/3",
          "cycle": [
            [
              20,
              "+"
            ],
            [
              30,
              "+"
            ],
            [
              10,
              "-"
            ]
          ],
          "amount": 2,
          "cost_before": 17,
          "cost_after": 7,
          "flow": [
            1,
            2,
            0,
            2,
            0,
            0,
            0,
            2,
            0
          ],
          "potential_before": [
            "-16/3",
            "-8/3",
            0,
            0,
            "-7/3",
            0
          ]
        },
        {
          "mean": "-3/2",
          "cycle": [
            [
              50,
              "+"
            ],
            [
              51,
              "+"
            ]
          ],
          "amount": 2,
          "cost_before": 7,
          "cost_after": 1,
          "flow": [
            1,
            2,
            0,
            2,
            0,
            2,
            2,
            2,
            0
          ],
          "potential_before": [
            "-11/2",
            -2,
            0,
            0,
            "-5/2",
            0
          ]
        },
        {
          "mean": "-4/3",
          "cycle": [
            [
              21,
              "+"
            ],
            [
              30,
              "+"
            ],
            [
              10,
              "-"
            ]
          ],
          "amount": 1,
          "cost_before": 1,
          "cost_after": -3,
          "flow": [
            0,
            2,
            1,
            3,
            0,
            2,
            2,
            2,
            0
          ],
          "potential_before": [
            "-17/3",
            "-7/3",
            0,
            0,
            0,
            0
          ]
        }
      ]
    },
    "capacity": {
      "flow": [
        0,
        2,
        1,
        3,
        0,
        2,
        2,
        2,
        0
      ],
      "potential": [
        1,
        3,
        4,
        4,
        3,
        4
      ],
      "cost": -3,
      "bits": 3,
      "augmentations": 3,
      "trace": [
        {
          "bit": 2,
          "capacity": [
            0,
            0,
            0,
            1,
            0,
            0,
            0,
            0,
            0
          ],
          "negative_units": [],
          "initial_total_excess": 0,
          "repairs": [],
          "flow": [
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0
          ],
          "potential": [
            0,
            0,
            0,
            0,
            0,
            0
          ],
          "cost": 0
        },
        {
          "bit": 1,
          "capacity": [
            1,
            1,
            1,
            2,
            0,
            1,
            1,
            1,
            0
          ],
          "negative_units": [
            [
              1,
              "+"
            ],
            [
              10,
              "+"
            ],
            [
              14,
              "+"
            ]
          ],
          "initial_total_excess": 2,
          "repairs": [
            {
              "path": [
                [
                  2,
                  "+"
                ],
                [
                  6,
                  "+"
                ]
              ],
              "amount": 1,
              "reduced_distance": 2,
              "excess": [
                0,
                0,
                0,
                -1,
                1,
                0
              ],
              "potential": [
                0,
                1,
                2,
                2,
                2,
                2
              ],
              "arc_scans": 9
            },
            {
              "path": [
                [
                  12,
                  "+"
                ]
              ],
              "amount": 1,
              "reduced_distance": 1,
              "excess": [
                0,
                0,
                0,
                0,
                0,
                0
              ],
              "potential": [
                1,
                2,
                3,
                3,
                2,
                3
              ],
              "arc_scans": 4
            }
          ],
          "flow": [
            1,
            1,
            0,
            1,
            0,
            1,
            1,
            1,
            0
          ],
          "potential": [
            1,
            2,
            3,
            3,
            2,
            3
          ],
          "cost": -10
        },
        {
          "bit": 0,
          "capacity": [
            3,
            2,
            2,
            4,
            1,
            2,
            3,
            2,
            1
          ],
          "negative_units": [
            [
              1,
              "+"
            ]
          ],
          "initial_total_excess": 1,
          "repairs": [
            {
              "path": [
                [
                  4,
                  "+"
                ],
                [
                  6,
                  "+"
                ]
              ],
              "amount": 1,
              "reduced_distance": 1,
              "excess": [
                0,
                0,
                0,
                0,
                0,
                0
              ],
              "potential": [
                1,
                3,
                4,
                4,
                3,
                4
              ],
              "arc_scans": 9
            }
          ],
          "flow": [
            3,
            2,
            1,
            3,
            0,
            2,
            2,
            2,
            0
          ],
          "potential": [
            1,
            3,
            4,
            4,
            3,
            4
          ],
          "cost": -24
        }
      ],
      "auxiliary_flow": [
        3,
        2,
        1,
        3,
        0,
        2,
        2,
        2,
        0
      ],
      "auxiliary_arcs": [
        [
          1,
          2,
          0,
          3,
          -7
        ],
        [
          2,
          0,
          1,
          2,
          1
        ],
        [
          4,
          0,
          1,
          2,
          2
        ],
        [
          6,
          1,
          2,
          4,
          1
        ],
        [
          8,
          1,
          0,
          1,
          0
        ],
        [
          10,
          3,
          4,
          2,
          -4
        ],
        [
          12,
          4,
          3,
          3,
          1
        ],
        [
          14,
          4,
          4,
          2,
          -2
        ],
        [
          16,
          2,
          1,
          1,
          3
        ]
      ]
    },
    "cost": {
      "flow": [
        0,
        2,
        1,
        3,
        0,
        2,
        2,
        2,
        0
      ],
      "potential": [
        -3,
        -1,
        0,
        0,
        -1,
        0
      ],
      "epsilon_potential": [
        -14,
        "-95/8",
        "-43/4",
        "-63/8",
        "-35/4",
        0
      ],
      "epsilon": "1/8",
      "cost": -3,
      "stats": {
        "phases": 6,
        "pushes": 28,
        "relabels": 23,
        "arc_tests": 132
      },
      "trace": [
        {
          "epsilon": 4,
          "pushes": 6,
          "relabels": 4,
          "arc_tests": 24,
          "saturated": [
            {
              "arc": [
                10,
                "-"
              ],
              "amount": 3
            },
            {
              "arc": [
                50,
                "+"
              ],
              "amount": 2
            },
            {
              "arc": [
                60,
                "+"
              ],
              "amount": 2
            }
          ],
          "initial_excess": [
            3,
            0,
            -3,
            -2,
            2,
            0
          ],
          "events": [
            {
              "relabel": 0,
              "old": 0,
              "new": -5
            },
            {
              "push": [
                20,
                "+"
              ],
              "amount": 2,
              "excess": [
                1,
                2,
                -3,
                -2,
                2,
                0
              ]
            },
            {
              "push": [
                21,
                "+"
              ],
              "amount": 1,
              "excess": [
                0,
                3,
                -3,
                -2,
                2,
                0
              ]
            },
            {
              "relabel": 4,
              "old": 0,
              "new": -5
            },
            {
              "push": [
                50,
                "-"
              ],
              "amount": 2,
              "excess": [
                0,
                3,
                -3,
                0,
                0,
                0
              ]
            },
            {
              "relabel": 1,
              "old": 0,
              "new": -5
            },
            {
              "push": [
                20,
                "-"
              ],
              "amount": 2,
              "excess": [
                2,
                1,
                -3,
                0,
                0,
                0
              ]
            },
            {
              "push": [
                21,
                "-"
              ],
              "amount": 1,
              "excess": [
                3,
                0,
                -3,
                0,
                0,
                0
              ]
            },
            {
              "relabel": 0,
              "old": -5,
              "new": -10
            },
            {
              "push": [
                10,
                "+"
              ],
              "amount": 3,
              "excess": [
                0,
                0,
                0,
                0,
                0,
                0
              ]
            }
          ],
          "flow": [
            3,
            0,
            0,
            0,
            0,
            0,
            0,
            2,
            0
          ],
          "potential": [
            -10,
            -5,
            0,
            0,
            -5,
            0
          ],
          "cost": 17
        },
        {
          "epsilon": 2,
          "pushes": 7,
          "relabels": 6,
          "arc_tests": 29,
          "saturated": [
            {
              "arc": [
                20,
                "+"
              ],
              "amount": 2
            },
            {
              "arc": [
                21,
                "+"
              ],
              "amount": 2
            },
            {
              "arc": [
                30,
                "+"
              ],
              "amount": 4
            },
            {
              "arc": [
                51,
                "+"
              ],
              "amount": 3
            }
          ],
          "initial_excess": [
            -4,
            0,
            4,
            3,
            -3,
            0
          ],
          "events": [
            {
              "relabel": 2,
              "old": 0,
              "new": -5
            },
            {
              "push": [
                10,
                "-"
              ],
              "amount": 3,
              "excess": [
                -1,
                0,
                1,
                3,
                -3,
                0
              ]
            },
            {
              "push": [
                30,
                "-"
              ],
              "amount": 1,
              "excess": [
                -1,
                1,
                0,
                3,
                -3,
                0
              ]
            },
            {
              "relabel": 3,
              "old": 0,
              "new": -3
            },
            {
              "push": [
                50,
                "+"
              ],
              "amount": 2,
              "excess": [
                -1,
                1,
                0,
                1,
                -1,
                0
              ]
            },
            {
              "relabel": 3,
              "old": -3,
              "new": -6
            },
            {
              "push": [
                51,
                "-"
              ],
              "amount": 1,
              "excess": [
                -1,
                1,
                0,
                0,
                0,
                0
              ]
            },
            {
              "relabel": 1,
              "old": -5,
              "new": -8
            },
            {
              "push": [
                30,
                "+"
              ],
              "amount": 1,
              "excess": [
                -1,
                0,
                1,
                0,
                0,
                0
              ]
            },
            {
              "relabel": 2,
              "old": -5,
              "new": -9
            },
            {
              "push": [
                30,
                "-"
              ],
              "amount": 1,
              "excess": [
                -1,
                1,
                0,
                0,
                0,
                0
              ]
            },
            {
              "relabel": 1,
              "old": -8,
              "new": -10
            },
            {
              "push": [
                20,
                "-"
              ],
              "amount": 1,
              "excess": [
                0,
                0,
                0,
                0,
                0,
                0
              ]
            }
          ],
          "flow": [
            0,
            1,
            2,
            3,
            0,
            2,
            2,
            2,
            0
          ],
          "potential": [
            -10,
            -10,
            -9,
            -6,
            -5,
            0
          ],
          "cost": -2
        },
        {
          "epsilon": 1,
          "pushes": 3,
          "relabels": 3,
          "arc_tests": 18,
          "saturated": [
            {
              "arc": [
                20,
                "-"
              ],
              "amount": 1
            },
            {
              "arc": [
                21,
                "-"
              ],
              "amount": 2
            },
            {
              "arc": [
                51,
                "-"
              ],
              "amount": 2
            }
          ],
          "initial_excess": [
            3,
            -3,
            0,
            -2,
            2,
            0
          ],
          "events": [
            {
              "relabel": 0,
              "old": -10,
              "new": -12
            },
            {
              "push": [
                20,
                "+"
              ],
              "amount": 2,
              "excess": [
                1,
                -1,
                0,
                -2,
                2,
                0
              ]
            },
            {
              "relabel": 0,
              "old": -12,
              "new": -13
            },
            {
              "push": [
                21,
                "+"
              ],
              "amount": 1,
              "excess": [
                0,
                0,
                0,
                -2,
                2,
                0
              ]
            },
            {
              "relabel": 4,
              "old": -5,
              "new": -8
            },
            {
              "push": [
                51,
                "+"
              ],
              "amount": 2,
              "excess": [
                0,
                0,
                0,
                0,
                0,
                0
              ]
            }
          ],
          "flow": [
            0,
            2,
            1,
            3,
            0,
            2,
            2,
            2,
            0
          ],
          "potential": [
            -13,
            -10,
            -9,
            -6,
            -8,
            0
          ],
          "cost": -3
        },
        {
          "epsilon": "1/2",
          "pushes": 4,
          "relabels": 4,
          "arc_tests": 22,
          "saturated": [
            {
              "arc": [
                21,
                "+"
              ],
              "amount": 1
            },
            {
              "arc": [
                51,
                "+"
              ],
              "amount": 1
            }
          ],
          "initial_excess": [
            -1,
            1,
            0,
            1,
            -1,
            0
          ],
          "events": [
            {
              "relabel": 1,
              "old": -10,
              "new": "-21/2"
            },
            {
              "push": [
                30,
                "+"
              ],
              "amount": 1,
              "excess": [
                -1,
                0,
                1,
                1,
                -1,
                0
              ]
            },
            {
              "relabel": 3,
              "old": -6,
              "new": "-15/2"
            },
            {
              "push": [
                51,
                "-"
              ],
              "amount": 1,
              "excess": [
                -1,
                0,
                1,
                0,
                0,
                0
              ]
            },
            {
              "relabel": 2,
              "old": -9,
              "new": -10
            },
            {
              "push": [
                30,
                "-"
              ],
              "amount": 1,
              "excess": [
                -1,
                1,
                0,
                0,
                0,
                0
              ]
            },
            {
              "relabel": 1,
              "old": "-21/2",
              "new": "-23/2"
            },
            {
              "push": [
                21,
                "-"
              ],
              "amount": 1,
              "excess": [
                0,
                0,
                0,
                0,
                0,
                0
              ]
            }
          ],
          "flow": [
            0,
            2,
            1,
            3,
            0,
            2,
            2,
            2,
            0
          ],
          "potential": [
            -13,
            "-23/2",
            -10,
            "-15/2",
            -8,
            0
          ],
          "cost": -3
        },
        {
          "epsilon": "1/4",
          "pushes": 3,
          "relabels": 3,
          "arc_tests": 18,
          "saturated": [
            {
              "arc": [
                21,
                "-"
              ],
              "amount": 1
            },
            {
              "arc": [
                30,
                "+"
              ],
              "amount": 1
            },
            {
              "arc": [
                51,
                "-"
              ],
              "amount": 2
            }
          ],
          "initial_excess": [
            1,
            -2,
            1,
            -2,
            2,
            0
          ],
          "events": [
            {
              "relabel": 0,
              "old": -13,
              "new": "-55/4"
            },
            {
              "push": [
                21,
                "+"
              ],
              "amount": 1,
              "excess": [
                0,
                -1,
                1,
                -2,
                2,
                0
              ]
            },
            {
              "relabel": 2,
              "old": -10,
              "new": "-43/4"
            },
            {
              "push": [
                30,
                "-"
              ],
              "amount": 1,
              "excess": [
                0,
                0,
                0,
                -2,
                2,
                0
              ]
            },
            {
              "relabel": 4,
              "old": -8,
              "new": "-35/4"
            },
            {
              "push": [
                51,
                "+"
              ],
              "amount": 2,
              "excess": [
                0,
                0,
                0,
                0,
                0,
                0
              ]
            }
          ],
          "flow": [
            0,
            2,
            1,
            3,
            0,
            2,
            2,
            2,
            0
          ],
          "potential": [
            "-55/4",
            "-23/2",
            "-43/4",
            "-15/2",
            "-35/4",
            0
          ],
          "cost": -3
        },
        {
          "epsilon": "1/8",
          "pushes": 5,
          "relabels": 3,
          "arc_tests": 21,
          "saturated": [
            {
              "arc": [
                21,
                "+"
              ],
              "amount": 1
            },
            {
              "arc": [
                30,
                "-"
              ],
              "amount": 3
            },
            {
              "arc": [
                51,
                "+"
              ],
              "amount": 1
            }
          ],
          "initial_excess": [
            -1,
            4,
            -3,
            1,
            -1,
            0
          ],
          "events": [
            {
              "relabel": 1,
              "old": "-23/2",
              "new": "-95/8"
            },
            {
              "push": [
                21,
                "-"
              ],
              "amount": 2,
              "excess": [
                1,
                2,
                -3,
                1,
                -1,
                0
              ]
            },
            {
              "push": [
                30,
                "+"
              ],
              "amount": 2,
              "excess": [
                1,
                0,
                -1,
                1,
                -1,
                0
              ]
            },
            {
              "relabel": 3,
              "old": "-15/2",
              "new": "-63/8"
            },
            {
              "push": [
                51,
                "-"
              ],
              "amount": 1,
              "excess": [
                1,
                0,
                -1,
                0,
                0,
                0
              ]
            },
            {
              "relabel": 0,
              "old": "-55/4",
              "new": -14
            },
            {
              "push": [
                21,
                "+"
              ],
              "amount": 1,
              "excess": [
                0,
                1,
                -1,
                0,
                0,
                0
              ]
            },
            {
              "push": [
                30,
                "+"
              ],
              "amount": 1,
              "excess": [
                0,
                0,
                0,
                0,
                0,
                0
              ]
            }
          ],
          "flow": [
            0,
            2,
            1,
            3,
            0,
            2,
            2,
            2,
            0
          ],
          "potential": [
            -14,
            "-95/8",
            "-43/4",
            "-63/8",
            "-35/4",
            0
          ],
          "cost": -3
        }
      ]
    }
  },
  "mean_example": {
    "edges": [
      [
        10,
        0,
        1,
        2
      ],
      [
        20,
        1,
        2,
        -5
      ],
      [
        30,
        2,
        0,
        0
      ],
      [
        40,
        2,
        3,
        4
      ],
      [
        50,
        3,
        3,
        "-1/2"
      ]
    ],
    "mean": -1,
    "cycle": [
      10,
      20,
      30
    ],
    "potential": [
      -3,
      0,
      -4,
      0,
      0
    ],
    "vertices": [
      0,
      1,
      2,
      3
    ],
    "table": [
      [
        0,
        0,
        0,
        0
      ],
      [
        0,
        2,
        -5,
        "-1/2"
      ],
      [
        -5,
        2,
        -3,
        -1
      ],
      [
        -3,
        -3,
        -3,
        "-3/2"
      ],
      [
        -3,
        -1,
        -8,
        -2
      ]
    ]
  },
  "epsilon_boundary": {
    "arcs": [
      [
        1,
        0,
        1,
        1,
        -1
      ],
      [
        2,
        1,
        0,
        1,
        0
      ]
    ],
    "flow": [
      0,
      0
    ],
    "epsilon": "1/2",
    "potential": [
      0,
      "-1/2"
    ],
    "negative_cycle_cost": -1
  },
  "self_checks": {
    "integer_flow_instances": 720,
    "directed_cycle_instances": 720,
    "rational_capacity_instances": 120,
    "normal_and_optimized_use_explicit_checks": true
  }
}