Transition table (in human-readable form):
Transition table (in machine-readable form):
11255 14125 45412 45433 45244