Public Test (DFA 1) Output