symbols: [a,b,c,d,e]
states:  3
finals:  1
head: 7 4
0 1
7 2
7 2
7 3
0 1
7 1
0 1
7 2
0 1
0 1
0 1
0 1
0 1
0 1
7 3
