#states
234617182324
7891012
x
01151622
112914132914212829272829
589101219202526
#initial
01151622
#accepting
112914132914212829272829
#alphabet
c
b
e
d
a
#transitions
112914132914212829272829:c>x
112914132914212829272829:b>x
112914132914212829272829:e>x
112914132914212829272829:d>x
112914132914212829272829:a>x
234617182324:c>7891012
234617182324:b>589101219202526
234617182324:e>x
234617182324:d>x
234617182324:a>x
589101219202526:c>112914132914212829272829
589101219202526:b>112914132914212829272829
589101219202526:e>112914132914212829272829
589101219202526:d>112914132914212829272829
589101219202526:a>x
x:c>x
x:b>x
x:e>x
x:d>x
x:a>x
01151622:c>x
01151622:b>x
01151622:e>x
01151622:d>x
01151622:a>234617182324
7891012:c>x
7891012:b>x
7891012:e>112914132914212829272829
7891012:d>112914132914212829272829
7891012:a>x
