#states
01
0
03
02023
0130123012
#initial
0
#accepting
02023
0130123012
03
#alphabet
b
a
#transitions
0130123012:b>02023
0130123012:a>0130123012
02023:b>03
02023:a>0130123012
03:b>0
03:a>01
01:b>02023
01:a>0130123012
0:b>0
0:a>01
