#states
013
4525
x
#initial
013
#accepting
4525
#alphabet
a
b
#transitions
4525:a>x
4525:b>x
013:a>4525
013:b>4525
x:a>x
x:b>x
