dfa1
dfa2
dfa3
dfa4
wc5