#states
015
2
412
81011126781112
9
x
3
#initial
015
#accepting
81011126781112
412
#alphabet
b
a
#transitions
81011126781112:b>x
81011126781112:a>9
2:b>3
2:a>x
9:b>81011126781112
9:a>x
412:b>x
412:a>x
3:b>412
3:a>x
x:b>x
x:a>x
015:b>81011126781112
015:a>2
