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();
dfa5 = new DFA5( this );
dfa10 = new DFA10( this );
dfa13 = new DFA13( this );
dfa15 = new DFA15( this );
dfa17 = new DFA17( this );
dfa19 = new DFA19( this );
dfa21 = new DFA21( this );
dfa26 = new DFA26( this );
dfa46 = new DFA46( this );
dfa40 = new DFA40( this );
dfa45 = new DFA45( this );
dfa49 = new DFA49( this );
dfa56 = new DFA56( this );
dfa63 = new DFA63( this );
dfa71 = new DFA71( this );
dfa70 = new DFA70( this );
dfa77 = new DFA77( this );
dfa81 = new DFA81( this );
dfa92 = new DFA92( this );
dfa91 = new DFA91( this );
dfa96 = new DFA96( this );
dfa101 = new DFA101( this );
dfa107 = new DFA107( this );
dfa106 = new DFA106( this );
dfa111 = new DFA111( this );
dfa115 = new DFA115( this );
dfa120 = new DFA120( this );
dfa119 = new DFA119( this );
dfa122 = new DFA122( this );
dfa127 = new DFA127( this );
dfa140 = new DFA140( this );
dfa139 = new DFA139( this );
dfa134 = new DFA134( this );
dfa137 = new DFA137( this );
dfa142 = new DFA142( this );
dfa145 = new DFA145( this );
dfa144 = new DFA144( this );
dfa150 = new DFA150( this );
dfa149 = new DFA149( this );
dfa165 = new DFA165( this );
dfa171 = new DFA171( this );
dfa175 = new DFA175( this );
dfa182 = new DFA182( this );
dfa192 = new DFA192( this );
dfa196 = new DFA196( this );
dfa199 = new DFA199( this );
dfa212 = new DFA212( this );
dfa211 = new DFA211( this );
dfa237 = new DFA237( this );
dfa236 = new DFA236( this );
dfa238 = new DFA238( this );
dfa247 = new DFA247( this );
dfa249 = new DFA249( this );
dfa252 = new DFA252( this );
dfa261 = new DFA261( this );
dfa258 = new DFA258( this );
dfa269 = new DFA269( this );
dfa267 = new DFA267( this );
dfa276 = new DFA276( this );
dfa281 = new DFA281( this );
dfa283 = new DFA283( this );
dfa304 = new DFA304( this );
dfa293 = new DFA293( this );
dfa298 = new DFA298( this );
dfa303 = new DFA303( this );
dfa307 = new DFA307( this );
dfa312 = new DFA312( this );
dfa324 = new DFA324( this );
dfa329 = new DFA329( this );
dfa331 = new DFA331( this );
dfa343 = new DFA343( this );
dfa356 = new DFA356( this );
dfa350 = new DFA350( this );
dfa355 = new DFA355( this );
dfa365 = new DFA365( this );
dfa393 = new DFA393( this );
dfa385 = new DFA385( this );
dfa377 = new DFA377( this );
dfa415 = new DFA415( this );
dfa404 = new DFA404( this );
dfa420 = new DFA420( this );
dfa423 = new DFA423( this );
dfa435 = new DFA435( this );
dfa442 = new DFA442( this );
dfa451 = new DFA451( this );
dfa450 = new DFA450( this );
dfa465 = new DFA465( this );
dfa459 = new DFA459( this );
dfa462 = new DFA462( this );
dfa471 = new DFA471( this );
dfa470 = new DFA470( this );
dfa478 = new DFA478( this );
dfa477 = new DFA477( this );
dfa476 = new DFA476( this );
dfa481 = new DFA481( this );
dfa484 = new DFA484( this );
dfa487 = new DFA487( this );
dfa490 = new DFA490( this );
dfa493 = new DFA493( this );
dfa510 = new DFA510( this );
dfa511 = new DFA511( this );
dfa513 = new DFA513( this );
dfa512 = new DFA512( this );
dfa516 = new DFA516( this );
dfa521 = new DFA521( this );
dfa528 = new DFA528( this );
dfa531 = new DFA531( this );
dfa536 = new DFA536( this );
dfa545 = new DFA545( this );
dfa550 = new DFA550( this );
dfa556 = new DFA556( this );
dfa555 = new DFA555( this );
dfa583 = new DFA583( this );
dfa565 = new DFA565( this );
dfa563 = new DFA563( this );
dfa567 = new DFA567( this );
dfa580 = new DFA580( this );
dfa579 = new DFA579( this );
dfa577 = new DFA577( this );
dfa596 = new DFA596( this );
dfa604 = new DFA604( this );
dfa601 = new DFA601( this );
dfa616 = new DFA616( this );
dfa622 = new DFA622( this );
dfa627 = new DFA627( this );
}
protected override void InitDFAs()
{
base.InitDFAs();
dfa6 = new DFA6( this );
dfa13 = new DFA13( this );
dfa21 = new DFA21( this );
dfa24 = new DFA24( this );
dfa27 = new DFA27( this );
dfa33 = new DFA33( this, SpecialStateTransition33 );
dfa39 = new DFA39( this, SpecialStateTransition39 );
dfa56 = new DFA56( this );
dfa59 = new DFA59( this );
dfa62 = new DFA62( this );
dfa74 = new DFA74( this );
dfa73 = new DFA73( this );
dfa84 = new DFA84( this );
dfa88 = new DFA88( this );
dfa91 = new DFA91( this );
dfa93 = new DFA93( this );
dfa95 = new DFA95( this );
dfa115 = new DFA115( this );
dfa118 = new DFA118( this );
dfa121 = new DFA121( this );
dfa148 = new DFA148( this );
dfa152 = new DFA152( this );
dfa151 = new DFA151( this );
dfa164 = new DFA164( this );
dfa173 = new DFA173( this );
dfa176 = new DFA176( this );
dfa200 = new DFA200( this );
dfa199 = new DFA199( this );
dfa209 = new DFA209( this );
dfa214 = new DFA214( this );
dfa217 = new DFA217( this );
dfa220 = new DFA220( this );
dfa223 = new DFA223( this );
dfa226 = new DFA226( this );
dfa229 = new DFA229( this );
dfa232 = new DFA232( this );
dfa235 = new DFA235( this );
dfa238 = new DFA238( this );
dfa241 = new DFA241( this );
dfa244 = new DFA244( this );
dfa247 = new DFA247( this );
dfa250 = new DFA250( this );
dfa253 = new DFA253( this );
dfa256 = new DFA256( this );
dfa259 = new DFA259( this );
dfa265 = new DFA265( this );
dfa276 = new DFA276( this );
dfa275 = new DFA275( this );
dfa283 = new DFA283( this );
dfa282 = new DFA282( this );
dfa289 = new DFA289( this );
dfa295 = new DFA295( this );
dfa326 = new DFA326( this );
dfa333 = new DFA333( this );
dfa336 = new DFA336( this );
}