Finish DFA for a5p2.