a a . * DFA PRINT GENSTR10
DONE
