Transition table (in human-readable form):
Transition table (in machine-readable form):
40541 34120 13114 53001 21500