{
  "nodes": [
    "A",
    "B",
    "C",
    "D",
    "U"
  ],
  "edges": [
    [
      "A",
      "B",
      2
    ],
    [
      "B",
      "C",
      -4
    ],
    [
      "C",
      "D",
      2
    ],
    [
      "A",
      "D",
      1
    ],
    [
      "D",
      "B",
      3
    ]
  ],
  "johnson": {
    "potential": {
      "A": 0,
      "B": 0,
      "C": -4,
      "D": -2,
      "U": 0
    },
    "potential_history": [
      {
        "A": 0,
        "B": 0,
        "C": -4,
        "D": -2,
        "U": 0
      },
      {
        "A": 0,
        "B": 0,
        "C": -4,
        "D": -2,
        "U": 0
      }
    ],
    "reweighted_edges": [
      [
        "A",
        "B",
        2
      ],
      [
        "B",
        "C",
        0
      ],
      [
        "C",
        "D",
        0
      ],
      [
        "A",
        "D",
        3
      ],
      [
        "D",
        "B",
        1
      ]
    ],
    "distances": {
      "A": {
        "A": 0,
        "B": 2,
        "C": -2,
        "D": 0,
        "U": null
      },
      "B": {
        "A": null,
        "B": 0,
        "C": -4,
        "D": -2,
        "U": null
      },
      "C": {
        "A": null,
        "B": 5,
        "C": 0,
        "D": 2,
        "U": null
      },
      "D": {
        "A": null,
        "B": 3,
        "C": -1,
        "D": 0,
        "U": null
      },
      "U": {
        "A": null,
        "B": null,
        "C": null,
        "D": null,
        "U": 0
      }
    }
  },
  "all_pairs_simple_path_oracles": 25,
  "path_potential_telescoping": [
    {
      "path": [
        "A",
        "D"
      ],
      "original_cost": 1,
      "reweighted_cost": 3
    },
    {
      "path": [
        "A",
        "B",
        "C",
        "D"
      ],
      "original_cost": 0,
      "reweighted_cost": 2
    }
  ],
  "wrong_add4_every_edge_AD_cost": 5,
  "invalid_cases_rejected": [
    "negative_cycle",
    "separate_negative_cycle",
    "unknown",
    "parallel",
    "bool_weight",
    "selfloop",
    "budget"
  ],
  "scope": "Own max6nodes16edges integerexact, globalnegativecycleabort inclseparatecomponent. Bellman potentials then actual heap Dijkstra, no graph library or route/latency/product claim."
}