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