dfa

5 6 7