#states
x
87
34
1269101112561011012611
#initial
1269101112561011012611
#accepting
1269101112561011012611
#alphabet
a
b
c
d
#transitions
1269101112561011012611:a>34
1269101112561011012611:b>x
1269101112561011012611:c>87
1269101112561011012611:d>x
34:a>x
34:b>1269101112561011012611
34:c>x
34:d>x
x:a>x
x:b>x
x:c>x
x:d>x
87:a>x
87:b>x
87:c>x
87:d>1269101112561011012611
