q0 a a l q00 q0 b b l q00 q00 _ ( r q1 q1 a _ r q4 q4 a a l q4 q4 b b l q4 q4 _ _ l q4 q4 ( ( r q2 q4 ) ) l q6 q1 _ _ r q1 q1 b b r q1 q1 ) ) l q6 q2 a a r q2 q2 b _ l q3 q2 _ _ r q2 q2 ) ) l q5 q3 a a l q3 q3 b b l q3 q3 _ _ l q3 q3 ( ( r q1 q3 ) ) l q5 q5 _ _ l q5 q5 a a l q5 q5 b b l q5 q5 ( _ r q6 q6 _ _ l q6 q6 b b l q6 q6 a a l q6 q6 ( _ r q7 q7 _ _ r q7 q7 a 2 r qa qa _ _ r qa qa a _ r qa qa ) _ * halt q6 _ 3 r qab qa _ _ * halt qb _ _ * halt qab _ _ * halt