{
  "status": "PASS",
  "counts": {
    "Lawler_families": 480,
    "directed_graphs": 829,
    "source_target_pairs": 7952,
    "walks_checked": 80492,
    "undirected_graphs": 1099,
    "spanning_trees_checked": 8136
  },
  "named_boundary_checks": 11,
  "examples": {
    "Lawler": {
      "weights": [
        1,
        3,
        2,
        4
      ],
      "ranked": [
        [
          3,
          [
            1,
            0,
            1,
            0
          ]
        ],
        [
          4,
          [
            1,
            1,
            0,
            0
          ]
        ],
        [
          5,
          [
            0,
            1,
            1,
            0
          ]
        ],
        [
          5,
          [
            1,
            0,
            0,
            1
          ]
        ],
        [
          6,
          [
            0,
            0,
            1,
            1
          ]
        ],
        [
          7,
          [
            0,
            1,
            0,
            1
          ]
        ]
      ],
      "stats": {
        "oracle_calls": 14,
        "first_partition": [
          [
            [
              0
            ],
            [
              5,
              [
                0,
                1,
                1,
                0
              ]
            ]
          ],
          [
            [
              1,
              1
            ],
            [
              4,
              [
                1,
                1,
                0,
                0
              ]
            ]
          ],
          [
            [
              1,
              0,
              0
            ],
            [
              5,
              [
                1,
                0,
                0,
                1
              ]
            ]
          ],
          [
            [
              1,
              0,
              1,
              1
            ],
            null
          ]
        ]
      }
    },
    "paths": {
      "edges": [
        [
          0,
          1,
          1
        ],
        [
          1,
          3,
          2
        ],
        [
          0,
          2,
          2
        ],
        [
          2,
          3,
          2
        ],
        [
          1,
          2,
          1
        ],
        [
          2,
          1,
          1
        ],
        [
          0,
          3,
          6
        ],
        [
          3,
          1,
          2
        ]
      ],
      "simple": [
        [
          3,
          [
            0,
            1
          ],
          [
            0,
            1,
            3
          ]
        ],
        [
          4,
          [
            2,
            3
          ],
          [
            0,
            2,
            3
          ]
        ],
        [
          4,
          [
            0,
            4,
            3
          ],
          [
            0,
            1,
            2,
            3
          ]
        ],
        [
          5,
          [
            2,
            5,
            1
          ],
          [
            0,
            2,
            1,
            3
          ]
        ],
        [
          6,
          [
            6
          ],
          [
            0,
            3
          ]
        ]
      ],
      "Yen_stats": {
        "spur_calls": 12,
        "generated_candidates": 5
      },
      "walks": [
        {
          "cost": 3,
          "edges": [
            0,
            1
          ],
          "implicit": [
            3,
            null,
            null
          ]
        },
        {
          "cost": 4,
          "edges": [
            2,
            3
          ],
          "implicit": [
            4,
            0,
            2
          ]
        },
        {
          "cost": 4,
          "edges": [
            0,
            4,
            3
          ],
          "implicit": [
            4,
            0,
            4
          ]
        },
        {
          "cost": 5,
          "edges": [
            2,
            5,
            1
          ],
          "implicit": [
            5,
            1,
            5
          ]
        },
        {
          "cost": 5,
          "edges": [
            0,
            4,
            5,
            1
          ],
          "implicit": [
            5,
            2,
            5
          ]
        },
        {
          "cost": 6,
          "edges": [
            6
          ],
          "implicit": [
            6,
            0,
            6
          ]
        },
        {
          "cost": 6,
          "edges": [
            2,
            5,
            4,
            3
          ],
          "implicit": [
            6,
            3,
            4
          ]
        },
        {
          "cost": 6,
          "edges": [
            0,
            4,
            5,
            4,
            3
          ],
          "implicit": [
            6,
            4,
            4
          ]
        },
        {
          "cost": 7,
          "edges": [
            0,
            1,
            7,
            1
          ],
          "implicit": [
            7,
            0,
            7
          ]
        },
        {
          "cost": 7,
          "edges": [
            2,
            5,
            4,
            5,
            1
          ],
          "implicit": [
            7,
            6,
            5
          ]
        },
        {
          "cost": 7,
          "edges": [
            0,
            4,
            5,
            4,
            5,
            1
          ],
          "implicit": [
            7,
            7,
            5
          ]
        },
        {
          "cost": 8,
          "edges": [
            2,
            3,
            7,
            1
          ],
          "implicit": [
            8,
            1,
            7
          ]
        }
      ],
      "tree": [
        0,
        1,
        3,
        null
      ],
      "distances_to_target": [
        3,
        2,
        2,
        0
      ],
      "deltas": {
        "7": 4,
        "1": 0,
        "4": 1,
        "3": 0,
        "5": 1,
        "0": 0,
        "2": 1,
        "6": 3
      }
    },
    "reverse_search": {
      "edges": [
        [
          0,
          1
        ],
        [
          1,
          2
        ],
        [
          2,
          3
        ],
        [
          3,
          0
        ],
        [
          0,
          2
        ]
      ],
      "trees": [
        [
          0,
          1,
          2
        ],
        [
          1,
          2,
          3
        ],
        [
          0,
          2,
          3
        ],
        [
          0,
          1,
          3
        ],
        [
          1,
          3,
          4
        ],
        [
          0,
          3,
          4
        ],
        [
          1,
          2,
          4
        ],
        [
          0,
          2,
          4
        ]
      ]
    }
  }
}