q0 F # q0 a F b D