#states
x
s0
s2s0s4s3s1s4s1s3s2s4s0s1s3s4s1s3
#initial
s0
#accepting
s2s0s4s3s1s4s1s3s2s4s0s1s3s4s1s3
#alphabet
b
c
a
#transitions
s2s0s4s3s1s4s1s3s2s4s0s1s3s4s1s3:b>s2s0s4s3s1s4s1s3s2s4s0s1s3s4s1s3
s2s0s4s3s1s4s1s3s2s4s0s1s3s4s1s3:c>s2s0s4s3s1s4s1s3s2s4s0s1s3s4s1s3
s2s0s4s3s1s4s1s3s2s4s0s1s3s4s1s3:a>s2s0s4s3s1s4s1s3s2s4s0s1s3s4s1s3
s0:b>s2s0s4s3s1s4s1s3s2s4s0s1s3s4s1s3
s0:c>s2s0s4s3s1s4s1s3s2s4s0s1s3s4s1s3
s0:a>x
x:b>x
x:c>x
x:a>x
