#states
015145
23
x
#initial
015145
#accepting
015145
#alphabet
a
b
#transitions
015145:a>23
015145:b>x
x:a>x
x:b>x
23:a>x
23:b>015145
