0: -- match[0][1]:0[1]{0} match[0][2]:3[1]{3} match[0][3]:9[1]{9} match[0][4]:6[1]{6} match[0][5]:12[1]{12} match[0][6]:18[1]{18} match[0][7]:15[1]{15} match[0][8]:21[1]{21} 
1: match[0][1]:0[1]{0} -- match[1][2]:35[1]{35} match[1][3]:7[1]{7} match[1][4]:4[1]{4} match[1][5]:10[1]{10} match[1][6]:16[1]{16} match[1][7]:32[1]{32} match[1][8]:19[1]{19} 
2: match[0][2]:3[1]{3} match[1][2]:35[1]{35} -- match[2][3]:?[16]{1, 2, 13, 14, 17, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30..., 31} match[2][4]:?[17]{1, 2, 11, 13, 14, 17, 20, 22, 23, 24, 25, 26, 27, 28, 29..., 31} match[2][5]:?[15]{1, 2, 8, 17, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31} match[2][6]:?[16]{1, 2, 8, 11, 13, 14, 22, 23, 24, 25, 26, 27, 28, 29, 30..., 31} match[2][7]:?[15]{1, 2, 8, 11, 13, 14, 20, 22, 23, 24, 25, 26, 27, 28, 29} match[2][8]:?[15]{1, 2, 8, 11, 13, 14, 17, 24, 25, 26, 27, 28, 29, 30, 31} 
3: match[0][3]:9[1]{9} match[1][3]:7[1]{7} match[2][3]:?[16]{1, 2, 13, 14, 17, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30..., 31} -- match[3][4]:?[18]{1, 2, 13, 14, 17, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30..., 34} match[3][5]:?[17]{1, 2, 5, 17, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31..., 34} match[3][6]:?[17]{1, 2, 5, 13, 14, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31..., 34} match[3][7]:?[16]{1, 2, 5, 13, 14, 20, 22, 23, 24, 25, 26, 27, 28, 29, 33..., 34} match[3][8]:?[16]{1, 2, 5, 13, 14, 17, 24, 25, 26, 27, 28, 29, 30, 31, 33..., 34} 
4: match[0][4]:6[1]{6} match[1][4]:4[1]{4} match[2][4]:?[17]{1, 2, 11, 13, 14, 17, 20, 22, 23, 24, 25, 26, 27, 28, 29..., 31} match[3][4]:?[18]{1, 2, 13, 14, 17, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30..., 34} -- match[4][5]:?[16]{1, 2, 17, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33..., 34} match[4][6]:?[17]{1, 2, 11, 13, 14, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31..., 34} match[4][7]:?[16]{1, 2, 11, 13, 14, 20, 22, 23, 24, 25, 26, 27, 28, 29, 33..., 34} match[4][8]:?[16]{1, 2, 11, 13, 14, 17, 24, 25, 26, 27, 28, 29, 30, 31, 33..., 34} 
5: match[0][5]:12[1]{12} match[1][5]:10[1]{10} match[2][5]:?[15]{1, 2, 8, 17, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31} match[3][5]:?[17]{1, 2, 5, 17, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31..., 34} match[4][5]:?[16]{1, 2, 17, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33..., 34} -- match[5][6]:?[16]{1, 2, 5, 8, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33..., 34} match[5][7]:?[15]{1, 2, 5, 8, 20, 22, 23, 24, 25, 26, 27, 28, 29, 33, 34} match[5][8]:?[15]{1, 2, 5, 8, 17, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34} 
6: match[0][6]:18[1]{18} match[1][6]:16[1]{16} match[2][6]:?[16]{1, 2, 8, 11, 13, 14, 22, 23, 24, 25, 26, 27, 28, 29, 30..., 31} match[3][6]:?[17]{1, 2, 5, 13, 14, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31..., 34} match[4][6]:?[17]{1, 2, 11, 13, 14, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31..., 34} match[5][6]:?[16]{1, 2, 5, 8, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33..., 34} -- match[6][7]:?[17]{1, 2, 5, 8, 11, 13, 14, 22, 23, 24, 25, 26, 27, 28, 29..., 34} match[6][8]:?[17]{1, 2, 5, 8, 11, 13, 14, 24, 25, 26, 27, 28, 29, 30, 31..., 34} 
7: match[0][7]:15[1]{15} match[1][7]:32[1]{32} match[2][7]:?[15]{1, 2, 8, 11, 13, 14, 20, 22, 23, 24, 25, 26, 27, 28, 29} match[3][7]:?[16]{1, 2, 5, 13, 14, 20, 22, 23, 24, 25, 26, 27, 28, 29, 33..., 34} match[4][7]:?[16]{1, 2, 11, 13, 14, 20, 22, 23, 24, 25, 26, 27, 28, 29, 33..., 34} match[5][7]:?[15]{1, 2, 5, 8, 20, 22, 23, 24, 25, 26, 27, 28, 29, 33, 34} match[6][7]:?[17]{1, 2, 5, 8, 11, 13, 14, 22, 23, 24, 25, 26, 27, 28, 29..., 34} -- match[7][8]:?[15]{1, 2, 5, 8, 11, 13, 14, 24, 25, 26, 27, 28, 29, 33, 34} 
8: match[0][8]:21[1]{21} match[1][8]:19[1]{19} match[2][8]:?[15]{1, 2, 8, 11, 13, 14, 17, 24, 25, 26, 27, 28, 29, 30, 31} match[3][8]:?[16]{1, 2, 5, 13, 14, 17, 24, 25, 26, 27, 28, 29, 30, 31, 33..., 34} match[4][8]:?[16]{1, 2, 11, 13, 14, 17, 24, 25, 26, 27, 28, 29, 30, 31, 33..., 34} match[5][8]:?[15]{1, 2, 5, 8, 17, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34} match[6][8]:?[17]{1, 2, 5, 8, 11, 13, 14, 24, 25, 26, 27, 28, 29, 30, 31..., 34} match[7][8]:?[15]{1, 2, 5, 8, 11, 13, 14, 24, 25, 26, 27, 28, 29, 33, 34} -- 
0: state_0_0:1[1]{1} state_0_1:1[1]{1} state_0_2:1[1]{1} state_0_3:1[1]{1} state_0_4:1[1]{1} state_0_5:1[1]{1} state_0_6:1[1]{1} state_0_7:1[1]{1} state_0_8:5[1]{5} state_0_9:5[1]{5} state_0_10:5[1]{5} state_0_11:5[1]{5} 
1: state_1_0:1[1]{1} state_1_1:2[1]{2} state_1_2:2[1]{2} state_1_3:2[1]{2} state_1_4:4[1]{4} state_1_5:2[1]{2} state_1_6:2[1]{2} state_1_7:4[1]{4} state_1_8:4[1]{4} state_1_9:4[1]{4} state_1_10:3[1]{3} state_1_11:3[1]{3} 
2: state_2_0:?[3]{2, 3, 4} state_2_1:?[2]{1, 3} state_2_2:?[3]{2, 3, 4} state_2_3:?[3]{2, 3, 4} state_2_4:?[3]{2, 3, 4} state_2_5:?[3]{2, 3, 4} state_2_6:?[3]{2, 3, 4} state_2_7:?[3]{2, 3, 4} state_2_8:?[4]{1, 2, 3, 4} state_2_9:?[4]{1, 2, 3, 4} state_2_10:?[3]{1, 2, 4} state_2_11:?[2]{1, 3} 
3: state_3_0:?[3]{2, 3, 4} state_3_1:?[3]{2, 3, 4} state_3_2:?[2]{2, 3} state_3_3:?[2]{1, 3} state_3_4:?[4]{2, 3, 4, 5} state_3_5:?[4]{2, 3, 4, 5} state_3_6:?[4]{2, 3, 4, 5} state_3_7:?[4]{2, 3, 4, 5} state_3_8:?[5]{1, 2, 3, 4, 5} state_3_9:?[5]{1, 2, 3, 4, 5} state_3_10:?[4]{1, 2, 4, 5} state_3_11:?[3]{1, 2, 5} 
4: state_4_0:?[3]{2, 3, 4} state_4_1:?[2]{2, 3} state_4_2:?[2]{1, 3} state_4_3:?[4]{2, 3, 4, 5} state_4_4:?[4]{2, 3, 4, 5} state_4_5:?[4]{2, 3, 4, 5} state_4_6:?[4]{2, 3, 4, 5} state_4_7:?[4]{2, 3, 4, 5} state_4_8:?[5]{1, 2, 3, 4, 5} state_4_9:?[5]{1, 2, 3, 4, 5} state_4_10:?[4]{1, 2, 4, 5} state_4_11:?[3]{1, 2, 5} 
5: state_5_0:?[3]{2, 3, 4} state_5_1:?[3]{2, 3, 4} state_5_2:?[3]{2, 3, 4} state_5_3:?[2]{2, 3} state_5_4:?[2]{1, 3} state_5_5:?[4]{2, 3, 4, 5} state_5_6:?[4]{2, 3, 4, 5} state_5_7:?[4]{2, 3, 4, 5} state_5_8:?[5]{1, 2, 3, 4, 5} state_5_9:?[5]{1, 2, 3, 4, 5} state_5_10:?[4]{1, 2, 4, 5} state_5_11:?[3]{1, 2, 5} 
6: state_6_0:?[3]{2, 3, 4} state_6_1:?[3]{2, 3, 4} state_6_2:?[3]{2, 3, 4} state_6_3:?[3]{2, 3, 4} state_6_4:?[3]{2, 3, 4} state_6_5:?[2]{2, 3} state_6_6:?[2]{1, 3} state_6_7:?[4]{2, 3, 4, 5} state_6_8:?[5]{1, 2, 3, 4, 5} state_6_9:?[5]{1, 2, 3, 4, 5} state_6_10:?[4]{1, 2, 4, 5} state_6_11:?[3]{1, 2, 5} 
7: state_7_0:?[3]{2, 3, 4} state_7_1:?[3]{2, 3, 4} state_7_2:?[3]{2, 3, 4} state_7_3:?[3]{2, 3, 4} state_7_4:?[3]{2, 3, 4} state_7_5:?[2]{1, 3} state_7_6:?[3]{2, 3, 4} state_7_7:?[3]{2, 3, 4} state_7_8:?[4]{1, 2, 3, 4} state_7_9:?[4]{1, 2, 3, 4} state_7_10:?[2]{1, 3} state_7_11:?[3]{1, 2, 5} 
8: state_8_0:?[3]{2, 3, 4} state_8_1:?[3]{2, 3, 4} state_8_2:?[3]{2, 3, 4} state_8_3:?[3]{2, 3, 4} state_8_4:?[3]{2, 3, 4} state_8_5:?[3]{2, 3, 4} state_8_6:?[2]{2, 3} state_8_7:?[2]{1, 3} state_8_8:?[5]{1, 2, 3, 4, 5} state_8_9:?[5]{1, 2, 3, 4, 5} state_8_10:?[4]{1, 2, 4, 5} state_8_11:?[3]{1, 2, 5} 
true
0: 1--2--4--3--5--7--6--8--************
1: 0---4--3--5-----6--8------------7--2
2: -6-0---------7---8--5-4-----3------1
3: --4--8-1-0----------------7-2-5--6--
4: --3-1-0---------------2-8--5---6--7-
5: --------8-1-0-------2--7-6-4--3--***
6: -2------------8-1-0------5---7-4-3--
7: -----------8-2-0-------5--3--6--1-4-
8: -----3--5--7--6--2-1-0--4--*********
(0,1) (2,6) (3,4) 
(0,2) (1,4) (3,8) 
(0,4) (1,3) (5,8) 
(0,3) (1,5) (7,8) 
(0,5) (2,7) (6,8) 
(0,7) (1,6) (2,8) 
(0,6) (1,8) (2,5) 
(0,8) (2,4) (5,7) 
(4,8) (5,6) (3,7) 
(4,5) (2,3) (6,7) 
(3,5) (4,6) (1,7) 
(3,6) (4,7) (1,2) 
nodes: 50402   cpu: 286367
0: -- 0 3 9 6 12 18 15 21 
1: 0 -- 35 7 4 10 16 32 19 
2: 3 35 -- 28 22 20 1 13 17 
3: 9 7 28 -- 2 30 33 26 5 
4: 6 4 22 2 -- 27 31 34 24 
5: 12 10 20 30 27 -- 25 23 8 
6: 18 16 1 33 31 25 -- 29 14 
7: 15 32 13 26 34 23 29 -- 11 
8: 21 19 17 5 24 8 14 11 -- 
0: F F F F F F F F E E E E 
1: F M M M B M M B B B L L 
2: M F B B M L L M B M B L 
3: L L M F B B B B L M F F 
4: L M F B B B B M F F M M 
5: B B L M F B L L M F F E 
6: M B B B L M F B M L M F 
7: B B B L M F B L L L L M 
8: B L L L L L M F F E E E