Transition table (in human-readable form):
Transition table (in machine-readable form):
13405 55401 25205 30351 25132