#states
s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6
s9s3
s0s9s7
x
s2s0s9s3s5
s0s9s1s5s7
s1s7
s8s3s2
s9
s6s3s2s3s2
s1s9s7
s0s9
s2s0s9s3s8s5
s4s0s9s5
s3
s0s9s5
s2s0s9s3s1s5s7s2s0s9s3s8s1s5s7
s6s2s9s3s1s7s6s2s3s1s7
s3s7
#initial
s0s9
#accepting
s8s3s2
s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6
s9s3
s6s2s9s3s1s7s6s2s3s1s7
s3s7
s2s0s9s3s5
s6s3s2s3s2
s3
s2s0s9s3s8s5
s2s0s9s3s1s5s7s2s0s9s3s8s1s5s7
#alphabet
c
e
b
d
a
#transitions
s2s0s9s3s1s5s7s2s0s9s3s8s1s5s7:c>s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6
s2s0s9s3s1s5s7s2s0s9s3s8s1s5s7:e>s2s0s9s3s5
s2s0s9s3s1s5s7s2s0s9s3s8s1s5s7:b>s2s0s9s3s1s5s7s2s0s9s3s8s1s5s7
s2s0s9s3s1s5s7s2s0s9s3s8s1s5s7:d>s6s2s9s3s1s7s6s2s3s1s7
s2s0s9s3s1s5s7s2s0s9s3s8s1s5s7:a>s4s0s9s5
s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6:c>s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6
s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6:e>s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6
s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6:b>s0s9s5
s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6:d>s6s3s2s3s2
s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6:a>s4s0s9s5
s6s2s9s3s1s7s6s2s3s1s7:c>s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6
s6s2s9s3s1s7s6s2s3s1s7:e>s2s0s9s3s5
s6s2s9s3s1s7s6s2s3s1s7:b>s2s0s9s3s8s5
s6s2s9s3s1s7s6s2s3s1s7:d>s6s2s9s3s1s7s6s2s3s1s7
s6s2s9s3s1s7s6s2s3s1s7:a>s4s0s9s5
s6s3s2s3s2:c>s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6
s6s3s2s3s2:e>s0s9
s6s3s2s3s2:b>s0s9s5
s6s3s2s3s2:d>s6s3s2s3s2
s6s3s2s3s2:a>s4s0s9s5
s1s7:c>s3s7
s1s7:e>s2s0s9s3s5
s1s7:b>s8s3s2
s1s7:d>s1s7
s1s7:a>x
s0s9s7:c>s3s7
s0s9s7:e>s6s3s2s3s2
s0s9s7:b>s0s9s5
s0s9s7:d>x
s0s9s7:a>x
x:c>x
x:e>x
x:b>x
x:d>x
x:a>x
s8s3s2:c>s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6
s8s3s2:e>s0s9
s8s3s2:b>s2s0s9s3s8s5
s8s3s2:d>s6s2s9s3s1s7s6s2s3s1s7
s8s3s2:a>s4s0s9s5
s2s0s9s3s5:c>s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6
s2s0s9s3s5:e>s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6
s2s0s9s3s5:b>s0s9s1s5s7
s2s0s9s3s5:d>s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6
s2s0s9s3s5:a>s4s0s9s5
s4s0s9s5:c>s6s3s2s3s2
s4s0s9s5:e>s9s3
s4s0s9s5:b>s2s0s9s3s1s5s7s2s0s9s3s8s1s5s7
s4s0s9s5:d>s9
s4s0s9s5:a>s4s0s9s5
s0s9s5:c>s6s3s2s3s2
s0s9s5:e>s9s3
s0s9s5:b>s0s9s1s5s7
s0s9s5:d>s9
s0s9s5:a>x
s2s0s9s3s8s5:c>s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6
s2s0s9s3s8s5:e>s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6
s2s0s9s3s8s5:b>s2s0s9s3s1s5s7s2s0s9s3s8s1s5s7
s2s0s9s3s8s5:d>s6s2s9s3s1s7s6s2s3s1s7
s2s0s9s3s8s5:a>s4s0s9s5
s3s7:c>s0s9s7
s3s7:e>s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6
s3s7:b>s0s9s5
s3s7:d>s6s3s2s3s2
s3s7:a>s4s0s9s5
s9:c>x
s9:e>s3
s9:b>s0s9s5
s9:d>x
s9:a>x
s0s9s1s5s7:c>s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6
s0s9s1s5s7:e>s2s0s9s3s5
s0s9s1s5s7:b>s2s0s9s3s1s5s7s2s0s9s3s8s1s5s7
s0s9s1s5s7:d>s1s9s7
s0s9s1s5s7:a>x
s0s9:c>s3
s0s9:e>s3
s0s9:b>s0s9s5
s0s9:d>x
s0s9:a>x
s9s3:c>s0s9
s9s3:e>s6s2s0s9s3s0s9s3s2s0s9s3s2s3s7s6s2s0s9s3s7s9s2s3s6
s9s3:b>s0s9s5
s9s3:d>s6s3s2s3s2
s9s3:a>s4s0s9s5
s3:c>s0s9
s3:e>s0s9
s3:b>s0s9s5
s3:d>s6s3s2s3s2
s3:a>s4s0s9s5
s1s9s7:c>s3s7
s1s9s7:e>s2s0s9s3s5
s1s9s7:b>s2s0s9s3s8s5
s1s9s7:d>s1s7
s1s9s7:a>x
