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