dfa13.txt

33
ab
1,2,3,6,10 'a' 3,4,6,7,10
1,2,3,6,10 'b' 3,6,10,11
0 'a' 0
0 'b' 0
1 'a' 0
1 'b' 0
2 'a' 0
2 'b' 0
3 'a' 3,4
3 'b' 3
4 'a' 0
4 'b' 5
5 'a' 0
5 'b' 0
6 'a' 6,7
6 'b' 6
7 'a' 8
7 'b' 0
8 'a' 9
8 'b' 0
9 'a' 0
9 'b' 0
10 'a' 10
10 'b' 10,11
11 'a' 12
11 'b' 0
12 'a' 0
12 'b' 0
3,4,6,7,10 'a' 3,4,6,7,8,10
3,4,6,7,10 'b' 3,5,6,10,11
3,6,10,11 'a' 3,4,6,7,10,12
3,6,10,11 'b' 3,6,10,11
3,4 'a' 3,4
3,4 'b' 3,5
6,7 'a' 6,7,8
6,7 'b' 6
10,11 'a' 10,12
10,11 'b' 10,11
3,4,6,7,8,10 'a' 3,4,6,7,8,9,10
3,4,6,7,8,10 'b' 3,5,6,10,11
3,5,6,10,11 'a' 3,4,6,7,10,12
3,5,6,10,11 'b' 3,6,10,11
3,4,6,7,10,12 'a' 3,4,6,7,8,10
3,4,6,7,10,12 'b' 3,5,6,10,11
3,5 'a' 3,4
3,5 'b' 3
6,7,8 'a' 6,7,8,9
6,7,8 'b' 6
10,12 'a' 10
10,12 'b' 10,11
3,4,6,7,8,9,10 'a' 3,4,6,7,8,9,10
3,4,6,7,8,9,10 'b' 3,5,6,10,11
6,7,8,9 'a' 6,7,8,9
6,7,8,9 'b' 6
1,2,3,6,10
5 9 12 3,5,6,10,11 3,4,6,7,10,12 3,5 10,12 3,4,6,7,8,9,10 6,7,8,9