Transition table (in human-readable form):
Transition table (in machine-readable form):
51025 43335 55414 34022 43530