16 8
(0,1) (2,3) (4,5) (6,7) 
(0,2) (1,3) (4,6) (5,7) 
(0,3) (1,2) (4,7) (5,6) 
(0,4) (1,5) (2,6) (3,7) 
(0,5) (1,4) (2,7) (3,6) 
(0,7) (1,6) (2,4) (3,5) 
(0,6) (1,7) (3,8) (2,5) 
(0,8) (1,9) (2,10) (5,11) 
(0,9) (1,8) (2,11) (5,10) 
(0,11) (1,10) (2,8) (5,9) 
(0,10) (1,11) (2,9) (5,8) 
(9,10) (0,12) (4,8) (5,13) 
(4,9) (0,13) (1,12) (5,14) 
(1,13) (0,14) (2,12) (5,15) 
(1,14) (0,15) (2,13) (5,12) 
(1,15) (2,14) (3,4) (6,12) 
(2,15) (3,9) (4,12) (6,8) 
(3,12) (4,10) (6,9) (7,8) 
(3,10) (4,11) (7,9) (8,12) 
(3,11) (4,13) (8,14) (12,15) 
(3,13) (4,14) (6,15) (7,12) 
(3,14) (4,15) (7,11) (12,13) 
(3,15) (6,10) (11,12) (13,14) 
(6,11) (7,10) (8,13) (14,15) 
(6,13) (7,14) (9,11) (10,15) 
(6,14) (7,13) (9,15) (10,11) 
(7,15) (8,9) (10,13) (11,14) 
(8,10) (9,13) (11,15) (12,14) 
(8,11) (9,12) (10,14) (13,15) 
(9,14) (8,15) (10,12) (11,13) 
nodes: 44423   cpu: 3600336
0: F F F F F F F F F F F M M M M E E E E E E E E E E E E E E E  changes: 0
1: F M M M M M M M M M M B M F F F E E E E E E E E E E E E E E  changes: 1
2: M F M M M M L M M M M B B M M M F E E E E E E E E E E E E E  changes: 1
3: M M F L L L M B B B B B B B B M M F F F F F F E E E E E E E  changes: 1
4: M M M F M M B B B B B M F B B M M M M M M M E E E E E E E E  changes: 2
5: M L L M F L L L L L L L L L L E E E E E E E E E E E E E E E  changes: 0
6: L M L M L M F B B B B B B B B L L M B B M B M F F F E E E E  changes: 3
7: L L M L M F M B B B B B B B B B B L M B L M B M M M F E E E  changes: 3
8: B B B B B B M F M M L M B B B B L L L M B B B M B B M F F M  changes: 4
9: B B B B B B B M F L M F F B B B M M M B B B B B M M M M M F  changes: 3
10: B B B B B B B M L M F F B B B B B M F B B B M M L L M F M M  changes: 3
11: B B B B B B B L M F M B B B B B B B M F B M M F M L L M F L  changes: 3
12: B B B B B B B B B B B M M M L L M F L L L L M B B B B L M M  changes: 2
13: B B B B B B B B B B B L M F M B B B B M F L L M F M M M L L  changes: 2
14: B B B B B B B B B B B B L M F M B B B M M F L L M F L L M F  changes: 2
15: B B B B B B B B B B B B B L M F F B B L M M F L L M F M L M  changes: 2
total boat changes: 32