#states
61314151618245614151618
x
7891112161718013456141516189101112161718
#initial
7891112161718013456141516189101112161718
#accepting
61314151618245614151618
7891112161718013456141516189101112161718
#alphabet
0
1
#transitions
61314151618245614151618:0>7891112161718013456141516189101112161718
61314151618245614151618:1>x
7891112161718013456141516189101112161718:0>7891112161718013456141516189101112161718
7891112161718013456141516189101112161718:1>61314151618245614151618
x:0>x
x:1>x
