from
X
cons
X
n__from
n__s
X
head
cons
X
XS
X
2nd
cons
X
XS
head
activate
XS
take
0
XS
nil
take
s
N
cons
X
XS
cons
X
n__take
N
activate
XS
sel
0
cons
X
XS
X
sel
s
N
cons
X
XS
sel
N
activate
XS
from
X
n__from
X
s
X
n__s
X
take
X1
X2
n__take
X1
X2
activate
n__from
X
from
activate
X
activate
n__s
X
s
activate
X
activate
n__take
X1
X2
take
activate
X1
activate
X2
activate
X
X
2.2
activate
n__take
X1
X2
activate
X1
activate
n__s
X
s
activate
X
sel
s
N
cons
X
XS
activate
XS
2nd
cons
X
XS
head
activate
XS
2nd
cons
X
XS
activate
XS
activate
n__s
X
activate
X
take
s
N
cons
X
XS
activate
XS
activate
n__from
X
activate
X
activate
n__take
X1
X2
activate
X2
activate
n__take
X1
X2
take
activate
X1
activate
X2
sel
s
N
cons
X
XS
sel
N
activate
XS
activate
n__from
X
from
activate
X
true
2nd
cons
X
XS
activate
XS
false
sel
s
N
cons
X
XS
sel
N
activate
XS
true
s
1
1
1
take
2
0
activate
1
1
3
take
2
1
2
0
n__from
1
1
activate
1
0
2nd
1
0
head
1
0
n__s
1
2
0
0
23676
n__take
2
2
sel
2
1
0
from
1
1
2
sel
2
0
s
1
0
nil
0
23677
2nd
1
0
from
1
0
head
1
0
cons
2
1
2
2
2nd
cons
X
XS
head
activate
XS
false
sel
s
N
cons
X
XS
activate
XS
false
activate
n__take
X1
X2
take
activate
X1
activate
X2
activate
n__take
X1
X2
activate
X2
activate
n__from
X
activate
X
take
s
N
cons
X
XS
activate
XS
activate
n__s
X
activate
X
activate
n__take
X1
X2
activate
X1
true
s
1
1
0
take
2
2
1
activate
1
1
0
take
2
1
2
20539
n__from
1
1
282
activate
1
1
0
2nd
1
0
head
1
0
n__s
1
1
0
0
0
23676
n__take
2
1
2
20539
sel
2
0
from
1
1
282
sel
2
0
s
1
0
nil
0
44215
2nd
1
0
from
1
0
head
1
0
cons
2
2
0
activate
n__s
X
activate
X
take
0
XS
nil
from
X
n__from
X
from
X
cons
X
n__from
n__s
X
take
s
N
cons
X
XS
cons
X
n__take
N
activate
XS
take
X1
X2
n__take
X1
X2
activate
X
X
activate
n__s
X
s
activate
X
activate
n__from
X
from
activate
X
s
X
n__s
X
activate
n__take
X1
X2
take
activate
X1
activate
X2
activate
n__s
X
activate
X
true
s
1
0
take
2
1
activate
1
1
take
2
1
n__from
1
1
activate
1
1
0
2nd
1
0
head
1
0
n__s
1
1
1
0
0
23676
n__take
2
1
sel
2
0
from
1
1
0
sel
2
0
s
1
0
nil
0
2
2nd
1
0
from
1
0
head
1
0
cons
2
1
0
from
X
cons
X
n__from
n__s
X
take
X1
X2
n__take
X1
X2
activate
n__from
X
from
activate
X
false
activate
n__s
X
s
activate
X
false
NaTT
certifiable-1.6