0: -- match[0][1]:0[1]{0} match[0][2]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[0][3]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[0][4]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[0][5]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[0][6]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[0][7]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} 
1: match[0][1]:0[1]{0} -- match[1][2]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[1][3]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[1][4]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[1][5]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[1][6]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[1][7]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} 
2: match[0][2]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[1][2]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} -- match[2][3]:1[1]{1} match[2][4]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[2][5]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[2][6]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[2][7]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} 
3: match[0][3]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[1][3]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[2][3]:1[1]{1} -- match[3][4]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[3][5]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[3][6]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[3][7]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} 
4: match[0][4]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[1][4]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[2][4]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[3][4]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} -- match[4][5]:2[1]{2} match[4][6]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[4][7]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} 
5: match[0][5]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[1][5]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[2][5]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[3][5]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[4][5]:2[1]{2} -- match[5][6]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[5][7]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} 
6: match[0][6]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[1][6]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[2][6]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[3][6]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[4][6]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[5][6]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} -- match[6][7]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} 
7: match[0][7]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[1][7]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[2][7]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[3][7]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[4][7]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[5][7]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} match[6][7]:?[27]{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17..., 29} -- 
0: state_0_0:1[1]{1} state_0_1:?[5]{1, 2, 3, 4, 5} state_0_2:?[5]{1, 2, 3, 4, 5} state_0_3:?[5]{1, 2, 3, 4, 5} state_0_4:?[5]{1, 2, 3, 4, 5} state_0_5:?[5]{1, 2, 3, 4, 5} state_0_6:?[5]{1, 2, 3, 4, 5} state_0_7:?[5]{1, 2, 3, 4, 5} state_0_8:?[5]{1, 2, 3, 4, 5} state_0_9:?[4]{1, 2, 3, 5} 
1: state_1_0:1[1]{1} state_1_1:?[5]{1, 2, 3, 4, 5} state_1_2:?[5]{1, 2, 3, 4, 5} state_1_3:?[5]{1, 2, 3, 4, 5} state_1_4:?[5]{1, 2, 3, 4, 5} state_1_5:?[5]{1, 2, 3, 4, 5} state_1_6:?[5]{1, 2, 3, 4, 5} state_1_7:?[5]{1, 2, 3, 4, 5} state_1_8:?[5]{1, 2, 3, 4, 5} state_1_9:?[4]{1, 2, 3, 5} 
2: state_2_0:2[1]{2} state_2_1:?[5]{1, 2, 3, 4, 5} state_2_2:?[5]{1, 2, 3, 4, 5} state_2_3:?[5]{1, 2, 3, 4, 5} state_2_4:?[5]{1, 2, 3, 4, 5} state_2_5:?[5]{1, 2, 3, 4, 5} state_2_6:?[5]{1, 2, 3, 4, 5} state_2_7:?[5]{1, 2, 3, 4, 5} state_2_8:?[5]{1, 2, 3, 4, 5} state_2_9:?[4]{1, 2, 3, 5} 
3: state_3_0:2[1]{2} state_3_1:?[5]{1, 2, 3, 4, 5} state_3_2:?[5]{1, 2, 3, 4, 5} state_3_3:?[5]{1, 2, 3, 4, 5} state_3_4:?[5]{1, 2, 3, 4, 5} state_3_5:?[5]{1, 2, 3, 4, 5} state_3_6:?[5]{1, 2, 3, 4, 5} state_3_7:?[5]{1, 2, 3, 4, 5} state_3_8:?[5]{1, 2, 3, 4, 5} state_3_9:?[4]{1, 2, 3, 5} 
4: state_4_0:3[1]{3} state_4_1:?[3]{2, 3, 5} state_4_2:?[5]{1, 2, 3, 4, 5} state_4_3:?[5]{1, 2, 3, 4, 5} state_4_4:?[5]{1, 2, 3, 4, 5} state_4_5:?[5]{1, 2, 3, 4, 5} state_4_6:?[5]{1, 2, 3, 4, 5} state_4_7:?[5]{1, 2, 3, 4, 5} state_4_8:?[5]{1, 2, 3, 4, 5} state_4_9:?[4]{1, 2, 3, 5} 
5: state_5_0:3[1]{3} state_5_1:?[3]{2, 3, 5} state_5_2:?[5]{1, 2, 3, 4, 5} state_5_3:?[5]{1, 2, 3, 4, 5} state_5_4:?[5]{1, 2, 3, 4, 5} state_5_5:?[5]{1, 2, 3, 4, 5} state_5_6:?[5]{1, 2, 3, 4, 5} state_5_7:?[5]{1, 2, 3, 4, 5} state_5_8:?[5]{1, 2, 3, 4, 5} state_5_9:?[4]{1, 2, 3, 5} 
6: state_6_0:4[1]{4} state_6_1:?[3]{2, 3, 4} state_6_2:?[5]{1, 2, 3, 4, 5} state_6_3:?[5]{1, 2, 3, 4, 5} state_6_4:?[5]{1, 2, 3, 4, 5} state_6_5:?[5]{1, 2, 3, 4, 5} state_6_6:?[5]{1, 2, 3, 4, 5} state_6_7:?[5]{1, 2, 3, 4, 5} state_6_8:?[5]{1, 2, 3, 4, 5} state_6_9:?[4]{1, 2, 3, 5} 
7: state_7_0:4[1]{4} state_7_1:?[3]{2, 3, 4} state_7_2:?[5]{1, 2, 3, 4, 5} state_7_3:?[5]{1, 2, 3, 4, 5} state_7_4:?[5]{1, 2, 3, 4, 5} state_7_5:?[5]{1, 2, 3, 4, 5} state_7_6:?[5]{1, 2, 3, 4, 5} state_7_7:?[5]{1, 2, 3, 4, 5} state_7_8:?[5]{1, 2, 3, 4, 5} state_7_9:?[4]{1, 2, 3, 5}