active
dbl
0
mark
0
active
dbl
s
X
mark
s
s
dbl
X
active
dbls
nil
mark
nil
active
dbls
cons
X
Y
mark
cons
dbl
X
dbls
Y
active
sel
0
cons
X
Y
mark
X
active
sel
s
X
cons
Y
Z
mark
sel
X
Z
active
indx
nil
X
mark
nil
active
indx
cons
X
Y
Z
mark
cons
sel
X
Z
indx
Y
Z
active
from
X
mark
cons
X
from
s
X
active
dbl1
0
mark
01
active
dbl1
s
X
mark
s1
s1
dbl1
X
active
sel1
0
cons
X
Y
mark
X
active
sel1
s
X
cons
Y
Z
mark
sel1
X
Z
active
quote
0
mark
01
active
quote
s
X
mark
s1
quote
X
active
quote
dbl
X
mark
dbl1
X
active
quote
sel
X
Y
mark
sel1
X
Y
active
dbl
X
dbl
active
X
active
dbls
X
dbls
active
X
active
sel
X1
X2
sel
active
X1
X2
active
sel
X1
X2
sel
X1
active
X2
active
indx
X1
X2
indx
active
X1
X2
active
dbl1
X
dbl1
active
X
active
s1
X
s1
active
X
active
sel1
X1
X2
sel1
active
X1
X2
active
sel1
X1
X2
sel1
X1
active
X2
active
quote
X
quote
active
X
dbl
mark
X
mark
dbl
X
dbls
mark
X
mark
dbls
X
sel
mark
X1
X2
mark
sel
X1
X2
sel
X1
mark
X2
mark
sel
X1
X2
indx
mark
X1
X2
mark
indx
X1
X2
dbl1
mark
X
mark
dbl1
X
s1
mark
X
mark
s1
X
sel1
mark
X1
X2
mark
sel1
X1
X2
sel1
X1
mark
X2
mark
sel1
X1
X2
quote
mark
X
mark
quote
X
proper
dbl
X
dbl
proper
X
proper
0
ok
0
proper
s
X
s
proper
X
proper
dbls
X
dbls
proper
X
proper
nil
ok
nil
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
sel
X1
X2
sel
proper
X1
proper
X2
proper
indx
X1
X2
indx
proper
X1
proper
X2
proper
from
X
from
proper
X
proper
dbl1
X
dbl1
proper
X
proper
01
ok
01
proper
s1
X
s1
proper
X
proper
sel1
X1
X2
sel1
proper
X1
proper
X2
proper
quote
X
quote
proper
X
dbl
ok
X
ok
dbl
X
s
ok
X
ok
s
X
dbls
ok
X
ok
dbls
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
sel
ok
X1
ok
X2
ok
sel
X1
X2
indx
ok
X1
ok
X2
ok
indx
X1
X2
from
ok
X
ok
from
X
dbl1
ok
X
ok
dbl1
X
s1
ok
X
ok
s1
X
sel1
ok
X1
ok
X2
ok
sel1
X1
X2
quote
ok
X
ok
quote
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
active
1
dbl
1
0
0
mark
1
s
1
dbls
1
nil
0
cons
2
sel
2
indx
2
from
1
dbl1
1
01
0
s1
1
sel1
2
quote
1
proper
1
ok
1
top
1
INNERMOST
./TRS/TRCSR/inn/Ex5_7_Luc97_C.trs