Public Test (DFA 1) Input