{
  "edges": [
    [
      10,
      0,
      1,
      "1"
    ],
    [
      20,
      1,
      2,
      "1"
    ],
    [
      30,
      2,
      3,
      "1"
    ],
    [
      40,
      0,
      3,
      "1"
    ],
    [
      50,
      0,
      4,
      "2"
    ],
    [
      60,
      1,
      4,
      "1"
    ],
    [
      70,
      2,
      4,
      "1"
    ],
    [
      80,
      3,
      4,
      "2"
    ]
  ],
  "rank": 4,
  "forest": [
    10,
    20,
    30,
    50
  ],
  "chords": [
    40,
    60,
    70,
    80
  ],
  "fundamental": [
    {
      "mask": 15,
      "edges": [
        10,
        20,
        30,
        40
      ],
      "weight": "4",
      "vertices": [
        0,
        1,
        2,
        3,
        0
      ]
    },
    {
      "mask": 49,
      "edges": [
        10,
        50,
        60
      ],
      "weight": "4",
      "vertices": [
        0,
        1,
        4,
        0
      ]
    },
    {
      "mask": 83,
      "edges": [
        10,
        20,
        50,
        70
      ],
      "weight": "5",
      "vertices": [
        0,
        1,
        2,
        4,
        0
      ]
    },
    {
      "mask": 151,
      "edges": [
        10,
        20,
        30,
        50,
        80
      ],
      "weight": "7",
      "vertices": [
        0,
        1,
        2,
        3,
        4,
        0
      ]
    }
  ],
  "fundamental_total": "20",
  "horton_candidates": [
    {
      "mask": 98,
      "edges": [
        20,
        60,
        70
      ],
      "weight": "3",
      "vertices": [
        1,
        2,
        4,
        1
      ],
      "root": 1,
      "extra_edge": 70
    },
    {
      "mask": 15,
      "edges": [
        10,
        20,
        30,
        40
      ],
      "weight": "4",
      "vertices": [
        0,
        1,
        2,
        3,
        0
      ],
      "root": 0,
      "extra_edge": 30
    },
    {
      "mask": 49,
      "edges": [
        10,
        50,
        60
      ],
      "weight": "4",
      "vertices": [
        0,
        1,
        4,
        0
      ],
      "root": 0,
      "extra_edge": 60
    },
    {
      "mask": 196,
      "edges": [
        30,
        70,
        80
      ],
      "weight": "4",
      "vertices": [
        2,
        3,
        4,
        2
      ],
      "root": 2,
      "extra_edge": 80
    },
    {
      "mask": 83,
      "edges": [
        10,
        20,
        50,
        70
      ],
      "weight": "5",
      "vertices": [
        0,
        1,
        2,
        4,
        0
      ],
      "root": 0,
      "extra_edge": 70
    },
    {
      "mask": 92,
      "edges": [
        30,
        40,
        50,
        70
      ],
      "weight": "5",
      "vertices": [
        0,
        3,
        2,
        4,
        0
      ],
      "root": 3,
      "extra_edge": 50
    },
    {
      "mask": 152,
      "edges": [
        40,
        50,
        80
      ],
      "weight": "5",
      "vertices": [
        0,
        3,
        4,
        0
      ],
      "root": 0,
      "extra_edge": 80
    },
    {
      "mask": 166,
      "edges": [
        20,
        30,
        60,
        80
      ],
      "weight": "5",
      "vertices": [
        1,
        2,
        3,
        4,
        1
      ],
      "root": 1,
      "extra_edge": 80
    }
  ],
  "horton_basis": [
    {
      "mask": 98,
      "edges": [
        20,
        60,
        70
      ],
      "weight": "3",
      "vertices": [
        1,
        2,
        4,
        1
      ]
    },
    {
      "mask": 15,
      "edges": [
        10,
        20,
        30,
        40
      ],
      "weight": "4",
      "vertices": [
        0,
        1,
        2,
        3,
        0
      ]
    },
    {
      "mask": 49,
      "edges": [
        10,
        50,
        60
      ],
      "weight": "4",
      "vertices": [
        0,
        1,
        4,
        0
      ]
    },
    {
      "mask": 196,
      "edges": [
        30,
        70,
        80
      ],
      "weight": "4",
      "vertices": [
        2,
        3,
        4,
        2
      ]
    }
  ],
  "horton_steps": [
    {
      "cycle": 98,
      "residual": 98,
      "accepted": true
    },
    {
      "cycle": 15,
      "residual": 15,
      "accepted": true
    },
    {
      "cycle": 49,
      "residual": 49,
      "accepted": true
    },
    {
      "cycle": 196,
      "residual": 196,
      "accepted": true
    },
    {
      "cycle": 83,
      "residual": 0,
      "accepted": false
    },
    {
      "cycle": 92,
      "residual": 0,
      "accepted": false
    },
    {
      "cycle": 152,
      "residual": 0,
      "accepted": false
    },
    {
      "cycle": 166,
      "residual": 0,
      "accepted": false
    }
  ],
  "de_pina_basis": [
    {
      "mask": 15,
      "edges": [
        10,
        20,
        30,
        40
      ],
      "weight": "4",
      "vertices": [
        0,
        1,
        2,
        3,
        0
      ]
    },
    {
      "mask": 98,
      "edges": [
        20,
        60,
        70
      ],
      "weight": "3",
      "vertices": [
        1,
        2,
        4,
        1
      ]
    },
    {
      "mask": 49,
      "edges": [
        10,
        50,
        60
      ],
      "weight": "4",
      "vertices": [
        0,
        1,
        4,
        0
      ]
    },
    {
      "mask": 196,
      "edges": [
        30,
        70,
        80
      ],
      "weight": "4",
      "vertices": [
        2,
        3,
        4,
        2
      ]
    }
  ],
  "de_pina_steps": [
    {
      "support": 8,
      "oracle": {
        "cycle": 15,
        "root": 0,
        "states": [
          0,
          2,
          4,
          6,
          1
        ],
        "walk_edges": [
          0,
          1,
          2,
          3
        ],
        "distance": [
          "4",
          15
        ],
        "all_distances": [
          [
            "4",
            15
          ],
          [
            "4",
            15
          ],
          [
            "4",
            15
          ],
          [
            "4",
            15
          ],
          [
            "5",
            92
          ]
        ]
      },
      "updates": []
    },
    {
      "support": 32,
      "oracle": {
        "cycle": 98,
        "root": 1,
        "states": [
          2,
          4,
          8,
          3
        ],
        "walk_edges": [
          1,
          6,
          5
        ],
        "distance": [
          "3",
          98
        ],
        "all_distances": [
          [
            "4",
            49
          ],
          [
            "3",
            98
          ],
          [
            "3",
            98
          ],
          [
            "5",
            106
          ],
          [
            "3",
            98
          ]
        ]
      },
      "updates": [
        [
          2,
          64,
          96
        ]
      ]
    },
    {
      "support": 96,
      "oracle": {
        "cycle": 49,
        "root": 0,
        "states": [
          0,
          2,
          9,
          1
        ],
        "walk_edges": [
          0,
          5,
          4
        ],
        "distance": [
          "4",
          49
        ],
        "all_distances": [
          [
            "4",
            49
          ],
          [
            "4",
            49
          ],
          [
            "4",
            196
          ],
          [
            "4",
            196
          ],
          [
            "4",
            49
          ]
        ]
      },
      "updates": []
    },
    {
      "support": 128,
      "oracle": {
        "cycle": 196,
        "root": 2,
        "states": [
          4,
          6,
          9,
          5
        ],
        "walk_edges": [
          2,
          7,
          6
        ],
        "distance": [
          "4",
          196
        ],
        "all_distances": [
          [
            "5",
            152
          ],
          [
            "5",
            166
          ],
          [
            "4",
            196
          ],
          [
            "4",
            196
          ],
          [
            "4",
            196
          ]
        ]
      },
      "updates": []
    }
  ],
  "optimum": "15",
  "all_simple_cycles": 13,
  "migrations": [
    {
      "n": 0,
      "rank": 0,
      "components": 0,
      "basis": []
    },
    {
      "n": 3,
      "rank": 0,
      "components": 3,
      "basis": []
    },
    {
      "n": 5,
      "rank": 1,
      "components": 2,
      "basis": [
        {
          "mask": 7,
          "edges": [
            7,
            19,
            31
          ],
          "weight": "0",
          "vertices": [
            0,
            1,
            2,
            0
          ]
        }
      ]
    },
    {
      "n": 4,
      "rank": 1,
      "components": 1,
      "basis": [
        {
          "mask": 7,
          "edges": [
            7,
            19,
            31
          ],
          "weight": "3",
          "vertices": [
            0,
            1,
            2,
            0
          ]
        }
      ]
    }
  ],
  "bridge_support": null,
  "closed_walk": [
    3,
    2,
    0,
    1,
    2,
    3
  ],
  "closed_walk_weight": "7",
  "extracted": {
    "mask": 7,
    "edges": [
      7,
      19,
      31
    ],
    "weight": "3",
    "vertices": [
      0,
      1,
      2,
      0
    ]
  },
  "invalid_rejections": 14
}