#states
015
2367
x
8994
#initial
015
#accepting
8994
#alphabet
a
c
b
#transitions
8994:a>x
8994:c>x
8994:b>x
x:a>x
x:c>x
x:b>x
015:a>x
015:c>2367
015:b>x
2367:a>8994
2367:c>x
2367:b>8994
