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