T__0=1
T__1=2
T__2=3
T__3=4
T__4=5
T__5=6
T__6=7
WS=8
ATOM=9
'('=1
')'=2
'-'=3
'->'=4
'<->'=5
'|'=6
'&'=7