T__116=116
T__117=117
T__118=118
T__119=119
T__120=120
T__121=121
FLOAT_OR_INT_OR_RANGE=4
LINE_COMMENT=5
T_ABORT=6
T_ABS=7
T_ACTIONS=8
T_AND=9
T_ASSIGNMENT=10
T_AUTOCONS=11
T_BAR=12
T_BIIMPLIES=13
T_BOOL=14
T_BREAK=15
T_CARD=16
T_CBRL=17
T_CBRR=18
T_CHAR=19
T_COLON=20
T_COMMA=21
T_COMMENT=22
T_CONC=23
T_CONSTS=24
T_CTRL=25
T_DCONC=26
T_DERIV=27
T_DIFF=28
T_DIGIT=29
T_DINTER=30
T_DIV=31
T_DO=32
T_DOM=33
T_DOMRESBY=34
T_DOMRESTO=35
T_DUNION=36
T_ELEMS=37
T_ELSE=38
T_END=39
T_EQUAL=40
T_EXISTS=41
T_FALSE=42
T_FLOAT=43
T_FLOATNUMBER=44
T_FOLDLR=45
T_FOLDRL=46
T_FORALL=47
T_GREATER=48
T_GREATEREQUAL=49
T_HEAD=50
T_IDENTIFIER=51
T_IDIV=52
T_IF=53
T_IMPLIES=54
T_IN=55
T_INDS=56
T_INFTY=57
T_INT=58
T_INTER=59
T_INTNUMBER=60
T_KILL=61
T_LEN=62
T_LESS=63
T_LESSEQUAL=64
T_LETTER=65
T_LIST=66
T_LPAREN=67
T_LSQPAREN=68
T_MAP=69
T_MAPS=70
T_MERGE=71
T_METHODS=72
T_MINUS=73
T_MOD=74
T_MUNION=75
T_NEW=76
T_NIL=77
T_NONDET=78
T_NOT=79
T_NOTEQUAL=80
T_OBS=81
T_OD=82
T_OF=83
T_OR=84
T_POINT=85
T_POW=86
T_PRIMED=87
T_PRIO=88
T_PROD=89
T_RANGETO=90
T_REQUIRES=91
T_RNG=92
T_RNGRESBY=93
T_RNGRESTO=94
T_RPAREN=95
T_RSQPAREN=96
T_SELF=97
T_SEMICOLON=98
T_SEQMOD_MAPOVERRIDE=99
T_SET=100
T_SKIP=101
T_STATIC=102
T_STRINGLITERAL=103
T_SUBSET=104
T_SUM=105
T_SYSTEM=106
T_TAIL=107
T_THEN=108
T_TO=109
T_TRUE=110
T_TYPES=111
T_UNION=112
T_VAR=113
T_WITH=114
T_WS=115
'&'=116
'('=67
')'=95
'::'=117
']|'=118
'as'=119
'begin'=120
'|['=121