15 25 0 1 3 0 2 3 0 4 1 0 5 4 0 6 1 0 14 1 1 2 2 1 5 3 1 10 2 2 5 4 2 8 3 2 9 4 2 12 4 3 7 3 3 8 1 3 13 2 3 14 3 4 7 3 7 9 3 8 9 3 8 12 3 9 10 3 9 11 2 9 12 2 11 13 4 +++ MST found (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (7,9):3 (9,11):2 (9,12):2 [29] +++ Generating all MSTs (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (7,9):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (8,9):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (8,12):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (9,10):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (4,7):3 (7,9):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (4,7):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (4,7):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (4,7):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (7,9):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (7,9):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (7,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (3,14):3 (7,9):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (3,14):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (3,14):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (3,14):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (4,7):3 (7,9):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (4,7):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (4,7):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (4,7):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (7,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (8,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (8,12):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (4,7):3 (7,9):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (4,7):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (4,7):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (4,7):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (7,9):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (7,9):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (7,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (4,7):3 (7,9):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (4,7):3 (7,9):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (4,7):3 (8,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (4,7):3 (8,12):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (7,9):3 (8,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,1):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (7,9):3 (8,12):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (7,9):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (8,9):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (8,12):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (9,10):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (4,7):3 (7,9):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (4,7):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (4,7):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (4,7):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (7,9):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (7,9):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (7,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (3,14):3 (7,9):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (3,14):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (3,14):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (3,14):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (4,7):3 (7,9):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (4,7):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (4,7):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (4,7):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (7,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (8,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (8,12):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (4,7):3 (7,9):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (4,7):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (4,7):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (4,7):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (7,9):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (7,9):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (7,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (4,7):3 (7,9):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (4,7):3 (7,9):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (4,7):3 (8,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (4,7):3 (8,12):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (7,9):3 (8,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,2):3 (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (7,9):3 (8,12):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (3,14):3 (7,9):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (3,14):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (3,14):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (3,14):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (4,7):3 (7,9):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (4,7):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (4,7):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,7):3 (3,8):1 (3,13):2 (4,7):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (3,14):3 (4,7):3 (7,9):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (3,14):3 (4,7):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (3,14):3 (4,7):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (3,14):3 (4,7):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (3,14):3 (7,9):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (3,14):3 (7,9):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (3,14):3 (7,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (4,7):3 (7,9):3 (8,9):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (4,7):3 (7,9):3 (8,12):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (2,8):3 (3,8):1 (3,13):2 (4,7):3 (7,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (3,14):3 (7,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (3,14):3 (8,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (3,14):3 (8,12):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (4,7):3 (7,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (4,7):3 (8,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,7):3 (3,8):1 (3,13):2 (4,7):3 (8,12):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (4,7):3 (7,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (4,7):3 (8,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (4,7):3 (8,12):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (7,9):3 (8,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (3,14):3 (7,9):3 (8,12):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (4,7):3 (7,9):3 (8,9):3 (9,10):3 (9,11):2 (9,12):2 [29] (0,4):1 (0,6):1 (0,14):1 (1,2):2 (1,5):3 (1,10):2 (3,8):1 (3,13):2 (4,7):3 (7,9):3 (8,12):3 (9,10):3 (9,11):2 (9,12):2 [29]