#states
0
478910121591012131415678910121591011121415
1235
x
#initial
0
#accepting
478910121591012131415678910121591011121415
#alphabet
a
b
c
#transitions
478910121591012131415678910121591011121415:a>478910121591012131415678910121591011121415
478910121591012131415678910121591011121415:b>478910121591012131415678910121591011121415
478910121591012131415678910121591011121415:c>x
1235:a>478910121591012131415678910121591011121415
1235:b>478910121591012131415678910121591011121415
1235:c>x
x:a>x
x:b>x
x:c>x
0:a>x
0:b>x
0:c>1235
