(s,{)->(s,{,R)
(s,a)->(s,a,R)
(s,b)->(q_1,b,R)
(s,c)->(q_2,c,R)
(s,)->(q_3,z,L)
(s,z)->(,,)
(q_1,{)->(,,)
(q_1,a)->(r,,)
(q_1,b)->(q_1,b,R)
(q_1,c)->(q_2,c,R)
(q_1,)->(q_3,z,L)
(q_1,z)->(,,)
(q_2,{)->(,,)
(q_2,a)->(r,,)
(q_2,b)->(r,,)
(q_2,c)->(q_2,c,R)
(q_2,)->(q_3,z,L)
(q_2,z)->(,,)
(q_3,{)->(t,,)
(q_3,a)->(r,,)
(q_3,b)->(r,,)
(q_3,c)->(q_4,,L)
(q_3,)->(q_3,,L)
(q_3,z)->(,,)
(q_4,{)->(r,,)
(q_4,a)->(r,,)
(q_4,b)->(q_5,,L)
(q_4,c)->(q_4,c,L)
(q_4,)->(q_4,,L)
(q_4,z)->(,,)
(q_5,{)->(r,,)
(q_5,a)->(q_6,,L)
(q_5,b)->(q_5,b,L)
(q_5,c)->(,,)
(q_5,)->(q_5,,L)
(q_5,z)->(,,)
(q_6,{)->(q_7,{,R)
(q_6,a)->(q_6,a,L)
(q_6,b)->(,,)
(q_6,c)->(,,)
(q_6,)->(q_6,,L)
(q_6,z)->(,,)
(q_7,{)->(,,)
(q_7,a)->(q_8,,R)
(q_7,b)->(r,,)
(q_7,c)->(r,,)
(q_7,)->(q_7,,R)
(q_7,z)->(t,,)
(q_8,{)->(,,)
(q_8,a)->(q_8,a,R)
(q_8,b)->(q_9,,R)
(q_8,c)->(r,,)
(q_8,)->(q_8,,R)
(q_8,z)->(r,,)
(q_9,{)->(,,)
(q_9,a)->(,,)
(q_9,b)->(q_9,b,R)
(q_9,c)->(q_A,,R)
(q_9,)->(q_9,,R)
(q_9,z)->(r,,)
(q_A,{)->(,,)
(q_A,a)->(,,)
(q_A,b)->(,,)
(q_A,c)->(q_A,c,R)
(q_A,)->(q_A,,R)
(q_A,z)->(q_3,z,L)