#states
12346701247124567
#initial
12346701247124567
#accepting
12346701247124567
#alphabet
b
a
#transitions
12346701247124567:b>12346701247124567
12346701247124567:a>12346701247124567
