#states
3
0
12
x
#initial
0
#accepting
3
#alphabet
a
b
#transitions
3:a>x
3:b>x
0:a>12
0:b>x
12:a>x
12:b>3
x:a>x
x:b>x
