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 '-'=23 '::'=126 ')'=13 '&'=120 'steady'=123 'inc'=124