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