Transition table (in human-readable form):
Transition table (in machine-readable form):
21142 13355 43354 31243 22521