" state "+s+" is special state "+specialState); s = specialStateTransition(specialState,input); if ( debug ) { System.err.println("DFA "+decisionNumber+
" state "+s+" is special state "+specialState); s = specialStateTransition(specialState,input); if ( debug ) { System.err.println("DFA "+decisionNumber+
" state "+s+" is special state "+specialState); s = specialStateTransition(specialState,input); if ( debug ) { System.err.println("DFA "+decisionNumber+
" state "+s+" is special state "+specialState); s = specialStateTransition(specialState,input); if ( debug ) { System.err.println("DFA "+decisionNumber+
" state "+s+" is special state "+specialState); s = specialStateTransition(specialState,input); if ( debug ) { System.err.println("DFA "+decisionNumber+
" state "+s+" is special state "+specialState); s = specialStateTransition(specialState,input); if ( debug ) { System.err.println("DFA "+decisionNumber+