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
mark
dbl
X
active
dbl
mark
X
mark
0
active
0
mark
s
X
active
s
X
mark
dbls
X
active
dbls
mark
X
mark
nil
active
nil
mark
cons
X1
X2
active
cons
X1
X2
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
indx
X1
X2
active
indx
mark
X1
X2
mark
from
X
active
from
X
dbl
mark
X
dbl
X
dbl
active
X
dbl
X
s
mark
X
s
X
s
active
X
s
X
dbls
mark
X
dbls
X
dbls
active
X
dbls
X
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
indx
mark
X1
X2
indx
X1
X2
indx
X1
mark
X2
indx
X1
X2
indx
active
X1
X2
indx
X1
X2
indx
X1
active
X2
indx
X1
X2
from
mark
X
from
X
from
active
X
from
X
active
1
dbl
1
0
0
mark
1
s
1
dbls
1
nil
0
cons
2
sel
2
indx
2
from
1
INNERMOST
./TRS/TRCSR/inn/Ex3_2_Luc97_iGM.trs