#states
3451213141235111214
x
12131410111214
967897
#initial
3451213141235111214
#accepting
3451213141235111214
12131410111214
#alphabet
0
1
#transitions
3451213141235111214:0>967897
3451213141235111214:1>3451213141235111214
967897:0>12131410111214
967897:1>967897
12131410111214:0>x
12131410111214:1>12131410111214
x:0>x
x:1>x
