#states
6747
1235
x
0
#initial
0
#accepting
6747
#alphabet
c
a
b
#transitions
6747:c>x
6747:a>x
6747:b>x
1235:c>x
1235:a>6747
1235:b>6747
x:c>x
x:a>x
x:b>x
0:c>1235
0:a>x
0:b>x
