[(0, 1, 2), (2, 3, 4), (1, 3, 5), (0, 4, 5), (0, 3, 6), (1, 4, 6), (2, 5, 6), (4, 7, 8), (5, 7, 9), (6, 8, 9), (3, 7, 10), (6, 7, 11), (5, 8, 10), (0, 8, 11), (0, 7, 12), (1, 9, 10), (2, 8, 12), (2, 7, 13), (4, 9, 11), (2, 10, 11), (1, 8, 13), (3, 9, 12), (1, 7, 14), (0, 9, 13), (3, 8, 14), (6, 10, 12), (4, 10, 13), (1, 11, 12), (2, 9, 14), (3, 11, 13), (0, 10, 14), (5, 12, 13), (5, 11, 14), (4, 12, 14), (6, 13, 14)]
) : 4723702081713920390281