second DFA in list - red