a a . PRINT DFA PRINT SIZE GENSTR5 MINIMIZE PRINT SIZE GENSTR5
a b | PRINT DFA PRINT SIZE GENSTR5 MINIMIZE PRINT SIZE GENSTR5
a * PRINT DFA PRINT SIZE GENSTR5 MINIMIZE PRINT SIZE GENSTR5
DONE
