Transition table (in human-readable form):
Transition table (in machine-readable form):
01025 41454 15355 52402 32520