a E | PRINT DFA PRINT SIZE GENSTR5 MINIMIZE PRINT SIZE GENSTR5
E a . PRINT DFA PRINT SIZE GENSTR5 MINIMIZE PRINT SIZE GENSTR5
DONE
