_q1: (q2,a); (q4,); (q7,c);
q2: (q3,b);
q3: (q1,a);
q4: (q5,a);
q5: (q5,a); (q6,a);
q6: (q1,b);
_q7: (q7,c);