q0
qf
q1 q2
