#states
s1s5s9
s1s5
s10s6s4
s11s1s5s9
s11s1s9s2s11s1s9
s5s5s2
s1s7
s10s10s2
s10s11s1s9
s10s1s9
s10s1s5s9
s5s3
s1
s10s4
s8s7
s10s1s6
s10s6s2s10s6
s10s6s5s2
s3
s10s9s11s1s5
s1s9s5s3
s7
s5s7
s8s5s7
xs2
s10s1s7s10s7
s3s7
s0s1
s0s1s5
s1s9
#initial
s0s1
#accepting
s1s5s9
s1s5
s10s6s4
s11s1s5s9
s5s5s2
s1s7
s10s1s5s9
s5s3
s10s4
s8s7
s10s1s6
s10s6s2s10s6
s10s6s5s2
s10s9s11s1s5
s1s9s5s3
s7
s5s7
s8s5s7
s3s7
s10s1s7s10s7
s0s1s5
#alphabet
c
e
b
d
a
#transitions
s11s1s9s2s11s1s9:c>s1s7
s11s1s9s2s11s1s9:e>xs2
s11s1s9s2s11s1s9:b>s8s7
s11s1s9s2s11s1s9:d>xs2
s11s1s9s2s11s1s9:a>s10s1s9
s10s10s2:c>xs2
s10s10s2:e>s10s10s2
s10s10s2:b>xs2
s10s10s2:d>s5s5s2
s10s10s2:a>s11s1s9s2s11s1s9
s10s6s2s10s6:c>s3
s10s6s2s10s6:e>s10s4
s10s6s2s10s6:b>xs2
s10s6s2s10s6:d>s5s3
s10s6s2s10s6:a>s11s1s9s2s11s1s9
xs2:c>xs2
xs2:e>xs2
xs2:b>xs2
xs2:d>xs2
xs2:a>xs2
s5s5s2:c>s7
s5s5s2:e>s10s6s2s10s6
s5s5s2:b>s5s5s2
s5s5s2:d>xs2
s5s5s2:a>s5s5s2
s10s1s7s10s7:c>s7
s10s1s7s10s7:e>s10s10s2
s10s1s7s10s7:b>s1s9
s10s1s7s10s7:d>s5s5s2
s10s1s7s10s7:a>s11s1s9s2s11s1s9
s10s1s6:c>s3s7
s10s1s6:e>s10s4
s10s1s6:b>xs2
s10s1s6:d>s5s3
s10s1s6:a>s11s1s9s2s11s1s9
s1s9s5s3:c>s10s1s7s10s7
s1s9s5s3:e>s10s6s2s10s6
s1s9s5s3:b>s5s7
s1s9s5s3:d>s11s1s9s2s11s1s9
s1s9s5s3:a>s10s1s5s9
s10s4:c>xs2
s10s4:e>s10s10s2
s10s4:b>s11s1s9s2s11s1s9
s10s4:d>s1s5s9
s10s4:a>s11s1s9s2s11s1s9
s1s7:c>s7
s1s7:e>xs2
s1s7:b>s1s9
s1s7:d>xs2
s1s7:a>s1s9
s7:c>s7
s7:e>xs2
s7:b>s1s9
s7:d>xs2
s7:a>xs2
s10s6s4:c>s3
s10s6s4:e>s10s4
s10s6s4:b>s11s1s9s2s11s1s9
s10s6s4:d>s1s9s5s3
s10s6s4:a>s11s1s9s2s11s1s9
s1:c>s7
s1:e>xs2
s1:b>xs2
s1:d>xs2
s1:a>s1s9
s10s9s11s1s5:c>s1s7
s10s9s11s1s5:e>s10s6s2s10s6
s10s9s11s1s5:b>s8s5s7
s10s9s11s1s5:d>s5s5s2
s10s9s11s1s5:a>s10s9s11s1s5
s5s3:c>s10s1s7s10s7
s5s3:e>s10s6s2s10s6
s5s3:b>s5s5s2
s5s3:d>s11s1s9s2s11s1s9
s5s3:a>s5s5s2
s11s1s5s9:c>s1s7
s11s1s5s9:e>s10s6s2s10s6
s11s1s5s9:b>s8s5s7
s11s1s5s9:d>xs2
s11s1s5s9:a>s10s1s5s9
s8s7:c>s7
s8s7:e>s5s5s2
s8s7:b>s1s9
s8s7:d>s11s1s9s2s11s1s9
s8s7:a>s0s1
s0s1s5:c>s7
s0s1s5:e>s10s1s6
s0s1s5:b>s1s5
s0s1s5:d>xs2
s0s1s5:a>s1s5s9
s10s1s9:c>s1s7
s10s1s9:e>s10s10s2
s10s1s9:b>s7
s10s1s9:d>s5s5s2
s10s1s9:a>s10s11s1s9
s10s1s5s9:c>s1s7
s10s1s5s9:e>s10s6s2s10s6
s10s1s5s9:b>s5s7
s10s1s5s9:d>s5s5s2
s10s1s5s9:a>s10s9s11s1s5
s10s6s5s2:c>s3s7
s10s6s5s2:e>s10s6s4
s10s6s5s2:b>s5s5s2
s10s6s5s2:d>s5s3
s10s6s5s2:a>s11s1s5s9
s3s7:c>s10s1s7s10s7
s3s7:e>xs2
s3s7:b>s1s9
s3s7:d>s11s1s9s2s11s1s9
s3s7:a>xs2
s8s5s7:c>s7
s8s5s7:e>s10s6s5s2
s8s5s7:b>s1s5s9
s8s5s7:d>s11s1s9s2s11s1s9
s8s5s7:a>s0s1s5
s1s5:c>s7
s1s5:e>s10s6s2s10s6
s1s5:b>s5s5s2
s1s5:d>xs2
s1s5:a>s1s5s9
s1s9:c>s1s7
s1s9:e>xs2
s1s9:b>s7
s1s9:d>xs2
s1s9:a>s10s1s9
s5s7:c>s7
s5s7:e>s10s6s2s10s6
s5s7:b>s1s5s9
s5s7:d>xs2
s5s7:a>s5s5s2
s1s5s9:c>s1s7
s1s5s9:e>s10s6s2s10s6
s1s5s9:b>s5s7
s1s5s9:d>xs2
s1s5s9:a>s10s1s5s9
s10s11s1s9:c>s1s7
s10s11s1s9:e>s10s10s2
s10s11s1s9:b>s8s7
s10s11s1s9:d>s5s5s2
s10s11s1s9:a>s10s11s1s9
s3:c>s10s10s2
s3:e>xs2
s3:b>xs2
s3:d>s11s1s9s2s11s1s9
s3:a>xs2
s0s1:c>s7
s0s1:e>s1
s0s1:b>s1
s0s1:d>xs2
s0s1:a>s1s9
