()q1(0,#,0,1,1)
(x)q2(#,0,1,1)
(x,#)q3(0,1,1)
(x)q4(#,x,1,1)
()q5(x,#,x,1,1)
(x)q1(#,x,1,1)
(x,#)q6(x,1,1)
(x,#,x)q6(1,1)
(x,#)q7(x,1,1)
ACCEPT

()q1(1,1)
(x)q2(1)
(x,1)q2()
(x,1, )q8()
REJECT