P = [(0, 2), (0, 3), (0, 4), (0, 5), (0, 6), (1, 2), (1, 4), (1, 5), (1, 6), (2, 5), (2, 6), (3, 5), (3, 6), (4, 5)]
labels = ['10', '01', '01', '00', '11', '00', '01']
Q = [(0, 4), (1, 2), (1, 4), (1, 6), (2, 6), (3, 5), (3, 6)]
deleted edges = [(0, 2), (0, 3), (0, 5), (0, 6), (1, 5), (2, 5), (4, 5)]
deleted triangles = [(0, 2, 5), (0, 2, 6), (0, 3, 5), (0, 3, 6), (0, 4, 5), (1, 2, 5), (1, 4, 5)]
relative matrix:
[1, 1, 0, 0, 0, 0, 0]
[0, 0, 1, 1, 0, 0, 0]
[-1, 0, -1, 0, -1, 0, 0]
[0, -1, 0, -1, 0, 0, 0]
[0, 0, 0, 0, 0, -1, -1]
[1, 0, 0, 0, 0, 1, 0]
[0, 0, 0, 0, 1, 0, 1]
det(B) = -1
rank_F2(B) = 7
perfect matchings = 3
  (0, 3, 2, 1, 6, 5, 4)
  (1, 2, 0, 3, 6, 5, 4)
  (1, 2, 4, 3, 5, 0, 6)
deleted-edge triangle-degrees = [2, 2, 3, 2, 2, 2, 2]
P beat reduction = ([(3, 'down', 0), (4, 'up', 5), (0, 'up', 2), (1, 'up', 2), (5, 'down', 2), (2, 'up', 6)], {6})
Q beat reduction = ([(0, 'up', 4), (2, 'down', 1), (4, 'down', 1), (1, 'up', 6), (5, 'down', 3), (3, 'up', 6)], {6})
VERIFIED
