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