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 );
}
protected override void InitDFAs()
{
base.InitDFAs();
dfa4 = new DFA4( this );
dfa29 = new DFA29( this );
dfa36 = new DFA36( this );
dfa44 = new DFA44( this );
dfa59 = new DFA59( this );
dfa71 = new DFA71( this );
dfa78 = new DFA78( this );
dfa82 = new DFA82( this );
dfa95 = new DFA95( this );
dfa108 = new DFA108( this );
dfa107 = new DFA107( this );
dfa113 = new DFA113( this );
}