#define END 257
#define PROGRAM 258
#define PROCESS 259
#define PROCEDURE 260
#define ENDPROCEDURE 261
#define FUNCTION 262
#define ENDFUNCTION 263
#define RULE 264
#define ENDRULE 265
#define RULESET 266
#define ENDRULESET 267
#define ALIAS 268
#define ENDALIAS 269
#define IF 270
#define THEN 271
#define ELSIF 272
#define ELSE 273
#define ENDIF 274
#define SWITCH 275
#define CASE 276
#define ENDSWITCH 277
#define FOR 278
#define FORALL 279
#define EXISTS 280
#define IN 281
#define DO 282
#define ENDFOR 283
#define ENDFORALL 284
#define ENDEXISTS 285
#define WHILE 286
#define ENDWHILE 287
#define RETURN 288
#define TO 289
#define bEGIN 290
#define BY 291
#define OLDEND 292
#define LONGARROW 293
#define DOTDOT 294
#define ASSIGN 295
#define CLEAR 296
#define ERROR 297
#define ASSERT 298
#define PUT 299
#define CONST 300
#define TYPE 301
#define VAR 302
#define ENUM 303
#define INTERLEAVED 304
#define RECORD 305
#define ARRAY 306
#define OF 307
#define ENDRECORD 308
#define STARTSTATE 309
#define ENDSTARTSTATE 310
#define INVARIANT 311
#define TRACEUNTIL 312
#define STRING 313
#define ID 314
#define INTCONST 315
#define FAIRNESS 316
#define LIVENESS 317
#define ALWAYS 318
#define EVENTUALLY 319
#define UNTIL 320
#define FAILED 321
#define UNFAIR 322
#define LIVENESSSET 323
#define ENDLIVENESSSET 324
#define FAIRNESSSET 325
#define ENDFAIRNESSSET 326
#define SCALARSET 327
#define ISMEMBER 328
#define UNDEFINE 329
#define ISUNDEFINED 330
#define UNDEFINED 331
#define UNION 332
#define MULTISET 333
#define MULTISETREMOVE 334
#define MULTISETREMOVEPRED 335
#define MULTISETADD 336
#define MULTISETCOUNT 337
#define CHOOSE 338
#define ENDCHOOSE 339
#define IMPLIES 340
#define NOT 341
#define LEQ 342
#define NEQ 343
#define GEQ 344
