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