Transition table (in human-readable form):
Transition table (in machine-readable form):
22105 42503 00213 05033 03002