protected override void InitDFAs()
{
base.InitDFAs();
dfa3 = new DFA3( this );
dfa13 = new DFA13( this );
dfa12 = new DFA12( this );
dfa18 = new DFA18( this );
dfa27 = new DFA27( this, SpecialStateTransition27 );
dfa33 = new DFA33( this, SpecialStateTransition33 );
dfa44 = new DFA44( this );
dfa43 = new DFA43( this );
dfa51 = new DFA51( this );
dfa57 = new DFA57( this );
dfa63 = new DFA63( this );
dfa66 = new DFA66( this );
dfa69 = new DFA69( this );
dfa72 = new DFA72( this );
dfa75 = new DFA75( this );
dfa78 = new DFA78( this );
dfa81 = new DFA81( this );
dfa84 = new DFA84( this );
dfa87 = new DFA87( this );
dfa90 = new DFA90( this );
dfa93 = new DFA93( this );
dfa96 = new DFA96( this );
dfa99 = new DFA99( this );
dfa104 = new DFA104( this );
dfa109 = new DFA109( this );
dfa118 = new DFA118( this );
dfa121 = new DFA121( this );
dfa128 = new DFA128( this );
dfa134 = new DFA134( this );
dfa137 = new DFA137( this );
dfa169 = new DFA169( this );
dfa172 = new DFA172( this );
dfa175 = new DFA175( this );
dfa206 = new DFA206( this );
dfa210 = new DFA210( this );
dfa209 = new DFA209( this );
dfa256 = new DFA256( this );
dfa255 = new DFA255( this );
dfa264 = new DFA264( this );
dfa267 = new DFA267( this );
dfa276 = new DFA276( this );
dfa277 = new DFA277( this );
dfa310 = new DFA310( this );
dfa313 = new DFA313( this );
dfa331 = new DFA331( this );
}
protected override void InitDFAs()
{
base.InitDFAs();
dfa4 = new DFA4( this );
dfa17 = new DFA17( this );
dfa16 = new DFA16( this );
dfa27 = new DFA27( this );
dfa32 = new DFA32( this );
dfa35 = new DFA35( this );
dfa61 = new DFA61( this );
dfa64 = new DFA64( this );
dfa67 = new DFA67( this );
dfa97 = new DFA97( this );
dfa101 = new DFA101( this );
dfa100 = new DFA100( this );
dfa114 = new DFA114( this );
dfa123 = new DFA123( this );
dfa126 = new DFA126( this );
dfa150 = new DFA150( this );
dfa149 = new DFA149( this );
dfa159 = new DFA159( this );
dfa164 = new DFA164( this );
dfa167 = new DFA167( this );
dfa170 = new DFA170( this );
dfa173 = new DFA173( this );
dfa176 = new DFA176( this );
dfa179 = new DFA179( this );
dfa182 = new DFA182( this );
dfa185 = new DFA185( this );
dfa188 = new DFA188( this );
dfa191 = new DFA191( this );
dfa194 = new DFA194( this );
dfa198 = new DFA198( this );
dfa202 = new DFA202( this );
dfa206 = new DFA206( this );
dfa210 = new DFA210( this );
dfa214 = new DFA214( this );
dfa222 = new DFA222( this );
dfa234 = new DFA234( this );
dfa233 = new DFA233( this );
dfa240 = new DFA240( this );
dfa239 = new DFA239( this );
}