(q0, 1, 0, R, q1);
(q1, 1, 1, R, q1);
(q1, 0, 0, R, q2);
(q2, 1, 1, R, q2);
(q2, 0, 0, L, q3);
(q3, 1, 0, L, q4);
(q4, 1, 0, L, q5);
(q5, 1, 1, L, q5);
(q5, 0, 0, L, q6);
(q6, 1, 1, L, q6);
(q6, 0, 0, R, q7);
(q7, 1, 0, R, q8);
(q8, 1, 1, R, q8);
(q8, 0, 0, R, q9);
(q9, 1, 1, R, q9);
(q9, 0, 1, L, q4);
(q4, 0, 0, R, q10);
(q10, 1, 1, R, q10);
(q10, 0, 0, L, q4);
(q7, 0, 0, R, q11);
(q11, 1, 0, R, q11);
(q11, 0, 0, H, qf);