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