TM1-decider,1,100,1000 0,1,# q0,q1,q2,q3,q4,q5,q6,q7,q8,q9 q0 q8,q9 0,1,x,# q0,0,q1,x,R q0,1,q2,x,R q0,#,q7,#,R q1,0,q1,0,R q1,1,q1,1,R q1,#,q3,#,R q2,0,q2,0,R q2,1,q2,1,R q2,#,q4,#,R q3,x,q3,x,R q3,0,q5,x,L q4,x,q4,x,R q4,1,q5,x,L q5,0,q5,0,L q5,1,q5,1,L q5,x,q5,x,L q5,#,q6,#,L q6,0,q6,0,L q6,1,q6,1,L q6,x,q0,x,R q7,x,q7,x,R q7,_,q8,_,R