Transition table (in human-readable form):
Transition table (in machine-readable form):
12421 34415 35353 31142 14113