()q1(a,b,#,a,b)
(x)q2(b,#,a,b)
(x,b)q2(#,a,b)
(x,b,#)q4(a,b)
(x,b)q6(#,x,b)
(x)q7(b,#,x,b)
()q7(x,b,#,x,b)
(x)q1(b,#,x,b)
(x,x)q3(#,x,b)
(x,x,#)q5(x,b)
(x,x,#,x)q5(b)
(x,x,#)q6(x,x)
(x,x)q6(#,x,x)
(x)q7(x,#,x,x)
(x,x)q1(#,x,x)
(x,x,#)q8(x,x)
(x,x,#,x)q8(x)
(x,x,#,x,x)q8()
(x,x,#,x,x, )qa()
ACCEPT

()q1(b,#,b,b)
(x)q3(#,b,b)
(x,#)q5(b,b)
(x)q6(#,x,b)
()q7(x,#,x,b)
(x)q1(#,x,b)
(x,#)q8(x,b)
(x,#,x)q8(b)
(x,#,x,b)qr()
REJECT