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