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