10 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) (8,9) 
(0,5) (1,4) (2,8) (3,9) 
(0,6) (1,7) (2,9) (3,8) 
(0,7) (1,6) (4,8) (5,9) 
(0,8) (1,9) (2,4) (3,5) 
(0,9) (1,8) (2,5) (3,7) 
(2,7) (5,8) (6,9) 
(3,4) (6,8) (7,9) 
(3,6) (4,9) (7,8) 
nodes: 9214   cpu: 120192
0: F F F F F F F F F F F E  changes: 0
1: F M M M M M M M M F F E  changes: 0
2: M F M M M M B M M F F E  changes: 1
3: M M F B L L B L L B F F  changes: 3
4: M M M F M B M M B B F M  changes: 2
5: M L L M F B L L M M F E  changes: 1
6: L M L M B F M B B M M F  changes: 2
7: L L M B B M F B L F M M  changes: 2
8: B B B L M L M F M M M M  changes: 1
9: B B B L L M L M F M M M  changes: 1
total boat changes: 13