#states
s2s0s4s3s1
s4s0s1s5
s4s1s5
x
s2
s0s1s2
s4
s0s1s5s2
s1
s4s0s1s2
s2s0s3s1s5
s1s3s2
s2s0s4s3s1s5
s2s4s3s1s5
s1s5s2
s1s5s3s2
s4s3s2
s0s1s3s2
s3s2
s0s1
s4s2
#initial
s0s1
#accepting
s4s0s1s2
s1s3s2
s2s0s3s1s5
s2s0s4s3s1s5
s4s0s1s5
s2
s4s3s2
s2s4s3s1s5
s4s1s5
s1s5s3s2
s0s1s2
s2s0s4s3s1
s0s1s3s2
s3s2
s1s5s2
s0s1s5s2
s4s2
#alphabet
b
d
c
a
#transitions
s2s0s4s3s1s5:b>s2s0s3s1s5
s2s0s4s3s1s5:d>s4s0s1s5
s2s0s4s3s1s5:c>s2s0s4s3s1s5
s2s0s4s3s1s5:a>s1s5s3s2
s0s1s3s2:b>s1s3s2
s0s1s3s2:d>s4s0s1s5
s0s1s3s2:c>s2s4s3s1s5
s0s1s3s2:a>s1s3s2
s4:b>s1s5s2
s4:d>x
s4:c>x
s4:a>s1
x:b>x
x:d>x
x:c>x
x:a>x
s1:b>x
s1:d>s4s1s5
s1:c>s2
s1:a>x
s3s2:b>s1s3s2
s3s2:d>s4
s3s2:c>s2s4s3s1s5
s3s2:a>s3s2
s4s1s5:b>s0s1s5s2
s4s1s5:d>s4s1s5
s4s1s5:c>s0s1s2
s4s1s5:a>s1s5s3s2
s4s3s2:b>s1s5s3s2
s4s3s2:d>s4
s4s3s2:c>s2s4s3s1s5
s4s3s2:a>s1s3s2
s1s3s2:b>s1s3s2
s1s3s2:d>s4s1s5
s1s3s2:c>s2s4s3s1s5
s1s3s2:a>s3s2
s1s5s3s2:b>s0s1s3s2
s1s5s3s2:d>s4s1s5
s1s5s3s2:c>s2s0s4s3s1s5
s1s5s3s2:a>s1s5s3s2
s4s2:b>s1s5s3s2
s4s2:d>s4
s4s2:c>s3s2
s4s2:a>s1
s4s0s1s2:b>s1s5s3s2
s4s0s1s2:d>s4s0s1s5
s4s0s1s2:c>s4s3s2
s4s0s1s2:a>s1
s0s1s2:b>s1s3s2
s0s1s2:d>s4s0s1s5
s0s1s2:c>s4s3s2
s0s1s2:a>s1
s0s1s5s2:b>s0s1s3s2
s0s1s5s2:d>s4s0s1s5
s0s1s5s2:c>s2s0s4s3s1
s0s1s5s2:a>s1s5s3s2
s2s4s3s1s5:b>s2s0s3s1s5
s2s4s3s1s5:d>s4s1s5
s2s4s3s1s5:c>s2s0s4s3s1s5
s2s4s3s1s5:a>s1s5s3s2
s1s5s2:b>s0s1s3s2
s1s5s2:d>s4s1s5
s1s5s2:c>s0s1s3s2
s1s5s2:a>s1s5s3s2
s4s0s1s5:b>s0s1s5s2
s4s0s1s5:d>s4s0s1s5
s4s0s1s5:c>s4s0s1s2
s4s0s1s5:a>s1s5s3s2
s2s0s3s1s5:b>s0s1s3s2
s2s0s3s1s5:d>s4s0s1s5
s2s0s3s1s5:c>s2s0s4s3s1s5
s2s0s3s1s5:a>s1s5s3s2
s2s0s4s3s1:b>s1s5s3s2
s2s0s4s3s1:d>s4s0s1s5
s2s0s4s3s1:c>s2s4s3s1s5
s2s0s4s3s1:a>s1s3s2
s2:b>s1s3s2
s2:d>s4
s2:c>s3s2
s2:a>x
s0s1:b>x
s0s1:d>s4s0s1s5
s0s1:c>s4s2
s0s1:a>s1
