LT=18
T__29=29
T__28=28
T__27=27
T__26=26
T__25=25
T__24=24
T__23=23
T__22=22
INT=20
MINUS=5
AND=7
T__30=30
T__31=31
T__32=32
WS=21
NEQ=14
T__33=33
T__34=34
T__35=35
T__36=36
T__37=37
EX=12
T__38=38
ALL=11
OR=8
NEG=6
IMP=9
GT=17
EQV=10
PLUS=4
VAR=19
GEQ=15
EQ=13
LEQ=16
'!'=22
'>='=35
'=='=33
'>'=37
'||'=30
'&&'=29
'<='=36
'!='=34
'<'=38
'A'=27
'('=23
'-'=26
'+'=25
'<->'=32
')'=24
'E'=28
'->'=31