Transition table (in human-readable form):

Transition table (in machine-readable form):

30255
43155
25403
52143
51250