Transition table (in human-readable form):
Transition table (in machine-readable form):
43355 44312 45425 33424 15434