13 8
nodes: 34248   cpu: 5400122
0: F L M F B M L M F B B B M F F B B M F F  changes: 2
1: F B B M M F B B M M F B L L M F B M F F  changes: 3
2: M M F M B B L L M L L M B B M B M E E E  changes: 3
3: M F B B M B B M B B M F F B L M L M F F  changes: 4
4: M F B B M B M F F F L L L M B B B M F F  changes: 2
5: M M F L L M F B B M F B B B B M F M F F  changes: 2
6: L M M F F M B L L M M F B B B B B M F F  changes: 1
7: L M B B B L M B B B B M F M F F F M F F  changes: 2
8: B B B B B B M B B L M L M M M M M F F F  changes: 2
9: B B M B B M F F B B B B M L L L M F F F  changes: 3
10: B B L L M B B M M B B M B M B L L M F F  changes: 5
11: B L M M L L M M L M B B B B M B M M F F  changes: 3
12: B B L M F F B B M F M M M F B M B M F F  changes: 3
total boat changes: 35