'#'=46 '*'=63 '+='=62 ','=31 '-'=22 '.'=21 '..'=53 '::'=34 '<'=47 '<='=13 '='=28 '>'=48 '>='=14 'AlloySolver'=19 'SMTSolver'=18 'ViatraSolver'=20 'at'=39 'config'=42 'constraints'=38 'debug'=58 'epackage'=24 'excluding'=33 'file'=27 'folder'=36 'full'=17 'generate'=55 'import'=23 'int'=50 'log'=59 'log-level'=43 'maximize'=12 'memory'=45 'metamodel'=35 'minimize'=11 'models'=37 'mtff'=40 'node'=49 'none'=15 'normal'=16 'number'=64 'objectives'=41 'output'=61 'package'=32 'partial-model'=56 'real'=51 'reliability'=26 'runs'=65 'runtime'=44 'scope'=54 'solver'=57 'statistics'=60 'string'=52 'viatra'=25 '{'=29 '}'=30 RULE_ANY_OTHER=10 RULE_ID=4 RULE_INT=5 RULE_ML_COMMENT=7 RULE_SL_COMMENT=8 RULE_STRING=6 RULE_WS=9 T__11=11 T__12=12 T__13=13 T__14=14 T__15=15 T__16=16 T__17=17 T__18=18 T__19=19 T__20=20 T__21=21 T__22=22 T__23=23 T__24=24 T__25=25 T__26=26 T__27=27 T__28=28 T__29=29 T__30=30 T__31=31 T__32=32 T__33=33 T__34=34 T__35=35 T__36=36 T__37=37 T__38=38 T__39=39 T__40=40 T__41=41 T__42=42 T__43=43 T__44=44 T__45=45 T__46=46 T__47=47 T__48=48 T__49=49 T__50=50 T__51=51 T__52=52 T__53=53 T__54=54 T__55=55 T__56=56 T__57=57 T__58=58 T__59=59 T__60=60 T__61=61 T__62=62 T__63=63 T__64=64 T__65=65