true
0: 1--2--4--3--5--7--6--8--************
1: 0---4--3--5-----6---2-7-8--*********
2: -3-0----5--6-7---8--1--4************
3: -2---5-1-0---------------4-8--6--7--
4: --5-1-0----------------2-3--6--7--8-
5: --4--3--2-1-0----------------7--8--6
6: -----------2--8-1-0-------7-4-3----5
7: -------------2-0---8--1---6--5-4-3--
8: --------------6--2-7-0--1--3----5-4-
(0,1) (2,3) (4,5) 
(0,2) (1,4) (3,5) 
(0,4) (1,3) (2,5) 
(0,3) (1,5) (2,6) 
(0,5) (2,7) (6,8) 
(0,7) (1,6) (2,8) 
(0,6) (7,8) (1,2) 
(0,8) (1,7) (2,4) 
(1,8) (3,4) (6,7) 
(3,8) (4,6) (5,7) 
(3,6) (4,7) (5,8) 
(3,7) (4,8) (5,6) 
nodes: 261507   cpu: 3600235
0: -- 0 3 9 6 12 18 15 21 
1: 0 -- 20 7 4 10 16 22 24 
2: 3 20 -- 1 23 8 11 13 17 
3: 9 7 1 -- 25 5 30 33 27 
4: 6 4 23 25 -- 2 28 31 34 
5: 12 10 8 5 2 -- 35 29 32 
6: 18 16 11 30 28 35 -- 26 14 
7: 15 22 13 33 31 29 26 -- 19 
8: 21 24 17 27 34 32 14 19 -- 
0: F F F F F F F F E E E E  changes: 0
1: F M M M B M L M F E E E  changes: 1
2: M F L L M L L L E E E E  changes: 0
3: M L M F B B B B M F F F  changes: 1
4: L M F B B B B L M M M M  changes: 1
5: L L L M F B B B B L L L  changes: 1
6: B B B L L M F B L M F L  changes: 2
7: B B B B M F M M L L M F  changes: 1
8: B B B B L L M F F F L M  changes: 1
total boat changes: 8