Transition table (in human-readable form):
Transition table (in machine-readable form):
10545 04144 11404 03031 20230