active
from
X
mark
cons
X
from
s
X
active
2ndspos
0
Z
mark
rnil
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
active
2ndsneg
0
Z
mark
rnil
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
active
pi
X
mark
2ndspos
X
from
0
active
plus
0
Y
mark
Y
active
plus
s
X
Y
mark
s
plus
X
Y
active
times
0
Y
mark
0
active
times
s
X
Y
mark
plus
Y
times
X
Y
active
square
X
mark
times
X
X
active
s
X
s
active
X
active
posrecip
X
posrecip
active
X
active
negrecip
X
negrecip
active
X
active
cons
X1
X2
cons
active
X1
X2
active
cons2
X1
X2
cons2
X1
active
X2
active
rcons
X1
X2
rcons
active
X1
X2
active
rcons
X1
X2
rcons
X1
active
X2
active
from
X
from
active
X
active
2ndspos
X1
X2
2ndspos
active
X1
X2
active
2ndspos
X1
X2
2ndspos
X1
active
X2
active
2ndsneg
X1
X2
2ndsneg
active
X1
X2
active
2ndsneg
X1
X2
2ndsneg
X1
active
X2
active
pi
X
pi
active
X
active
plus
X1
X2
plus
active
X1
X2
active
plus
X1
X2
plus
X1
active
X2
active
times
X1
X2
times
active
X1
X2
active
times
X1
X2
times
X1
active
X2
active
square
X
square
active
X
s
mark
X
mark
s
X
posrecip
mark
X
mark
posrecip
X
negrecip
mark
X
mark
negrecip
X
cons
mark
X1
X2
mark
cons
X1
X2
cons2
X1
mark
X2
mark
cons2
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
rcons
X1
mark
X2
mark
rcons
X1
X2
from
mark
X
mark
from
X
2ndspos
mark
X1
X2
mark
2ndspos
X1
X2
2ndspos
X1
mark
X2
mark
2ndspos
X1
X2
2ndsneg
mark
X1
X2
mark
2ndsneg
X1
X2
2ndsneg
X1
mark
X2
mark
2ndsneg
X1
X2
pi
mark
X
mark
pi
X
plus
mark
X1
X2
mark
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
times
mark
X1
X2
mark
times
X1
X2
times
X1
mark
X2
mark
times
X1
X2
square
mark
X
mark
square
X
proper
0
ok
0
proper
s
X
s
proper
X
proper
posrecip
X
posrecip
proper
X
proper
negrecip
X
negrecip
proper
X
proper
nil
ok
nil
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
cons2
X1
X2
cons2
proper
X1
proper
X2
proper
rnil
ok
rnil
proper
rcons
X1
X2
rcons
proper
X1
proper
X2
proper
from
X
from
proper
X
proper
2ndspos
X1
X2
2ndspos
proper
X1
proper
X2
proper
2ndsneg
X1
X2
2ndsneg
proper
X1
proper
X2
proper
pi
X
pi
proper
X
proper
plus
X1
X2
plus
proper
X1
proper
X2
proper
times
X1
X2
times
proper
X1
proper
X2
proper
square
X
square
proper
X
s
ok
X
ok
s
X
posrecip
ok
X
ok
posrecip
X
negrecip
ok
X
ok
negrecip
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
cons2
ok
X1
ok
X2
ok
cons2
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
from
ok
X
ok
from
X
2ndspos
ok
X1
ok
X2
ok
2ndspos
X1
X2
2ndsneg
ok
X1
ok
X2
ok
2ndsneg
X1
X2
pi
ok
X
ok
pi
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
times
ok
X1
ok
X2
ok
times
X1
X2
square
ok
X
ok
square
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
active
1
from
1
mark
1
cons
2
s
1
2ndspos
2
0
0
rnil
0
cons2
2
rcons
2
posrecip
1
2ndsneg
2
negrecip
1
pi
1
plus
2
times
2
square
1
proper
1
ok
1
nil
0
top
1
INNERMOST
./TRS/TRCSR/inn/ExAppendixB_AEL03_C.trs