Transition table (in human-readable form):
Transition table (in machine-readable form):
15332 14444 44444 51143 13133