a b a | . DFA COMPLEMENT PRINT STAT GENSTR4
a b . * DFA COMPLEMENT PRINT STAT GENSTR4
DONE
