terms
N
cons
recip
sqr
N
n__terms
n__s
N
sqr
0
0
sqr
s
X
s
n__add
n__sqr
activate
X
n__dbl
activate
X
dbl
0
0
dbl
s
X
s
n__s
n__dbl
activate
X
add
0
X
X
add
s
X
Y
s
n__add
activate
X
Y
first
0
X
nil
first
s
X
cons
Y
Z
cons
Y
n__first
activate
X
activate
Z
terms
X
n__terms
X
s
X
n__s
X
add
X1
X2
n__add
X1
X2
sqr
X
n__sqr
X
dbl
X
n__dbl
X
first
X1
X2
n__first
X1
X2
activate
n__terms
X
terms
activate
X
activate
n__s
X
s
X
activate
n__add
X1
X2
add
activate
X1
activate
X2
activate
n__sqr
X
sqr
activate
X
activate
n__dbl
X
dbl
activate
X
activate
n__first
X1
X2
first
activate
X1
activate
X2
activate
X
X
2.2
first
s
X
cons
Y
Z
activate
Z
add
s
X
Y
activate
X
activate
n__first
X1
X2
activate
X1
activate
n__s
X
s
X
activate
n__sqr
X
activate
X
activate
n__add
X1
X2
activate
X2
activate
n__first
X1
X2
first
activate
X1
activate
X2
activate
n__first
X1
X2
activate
X2
terms
N
sqr
N
dbl
s
X
s
n__s
n__dbl
activate
X
activate
n__sqr
X
sqr
activate
X
add
s
X
Y
s
n__add
activate
X
Y
activate
n__add
X1
X2
activate
X1
sqr
s
X
s
n__add
n__sqr
activate
X
n__dbl
activate
X
sqr
s
X
activate
X
activate
n__add
X1
X2
add
activate
X1
activate
X2
activate
n__terms
X
activate
X
activate
n__dbl
X
dbl
activate
X
first
s
X
cons
Y
Z
activate
X
dbl
s
X
activate
X
activate
n__terms
X
terms
activate
X
activate
n__dbl
X
activate
X
sqr
s
X
activate
X
true
sqr
s
X
activate
X
activate
n__dbl
X
activate
X
activate
n__first
X1
X2
activate
X2
activate
n__terms
X
terms
activate
X
activate
n__first
X1
X2
first
activate
X1
activate
X2
dbl
s
X
activate
X
first
s
X
cons
Y
Z
activate
X
activate
n__add
X1
X2
activate
X2
activate
n__dbl
X
dbl
activate
X
activate
n__terms
X
activate
X
activate
n__add
X1
X2
add
activate
X1
activate
X2
activate
n__sqr
X
activate
X
activate
n__first
X1
X2
activate
X1
sqr
s
X
activate
X
add
s
X
Y
activate
X
activate
n__add
X1
X2
activate
X1
activate
n__sqr
X
sqr
activate
X
first
s
X
cons
Y
Z
activate
Z
terms
N
sqr
N
true
s
1
1
0
n__sqr
1
1
3
n__first
2
1
20541
2
20539
0
recip
1
1
0
activate
1
1
0
dbl
1
1
2
dbl
1
1
26287
terms
1
1
26288
activate
1
1
26286
n__add
2
1
0
2
1
0
n__s
1
1
0
sqr
1
1
26287
n__dbl
1
1
2
0
0
9227
s
1
0
first
2
1
46826
2
46824
0
nil
0
20540
first
2
1
20541
2
20539
0
n__terms
1
1
3
cons
2
2
0
0
add
2
1
26286
0
add
2
1
0
2
1
0
sqr
1
1
3
terms
1
1
3
activate
n__add
X1
X2
activate
X1
add
s
X
Y
activate
X
activate
n__add
X1
X2
add
activate
X1
activate
X2
activate
n__add
X1
X2
add
activate
X1
activate
X2
dbl
0
0
first
X1
X2
n__first
X1
X2
first
0
X
nil
terms
N
cons
recip
sqr
N
n__terms
n__s
N
sqr
s
X
s
n__add
n__sqr
activate
X
n__dbl
activate
X
activate
n__terms
X
terms
activate
X
activate
n__first
X1
X2
first
activate
X1
activate
X2
activate
n__sqr
X
sqr
activate
X
activate
n__s
X
s
X
activate
X
X
dbl
s
X
s
n__s
n__dbl
activate
X
terms
X
n__terms
X
add
s
X
Y
s
n__add
activate
X
Y
activate
n__dbl
X
dbl
activate
X
dbl
X
n__dbl
X
add
X1
X2
n__add
X1
X2
s
X
n__s
X
first
s
X
cons
Y
Z
cons
Y
n__first
activate
X
activate
Z
sqr
X
n__sqr
X
add
0
X
X
sqr
0
0
activate
n__add
X1
X2
activate
X1
activate
n__add
X1
X2
add
activate
X1
activate
X2
add
s
X
Y
activate
X
true
recip
1
1
activate
1
1
dbl
1
1
activate
1
1
first
2
1
cons
2
2
add
2
1
s
1
1
1
n__sqr
1
4
1
n__first
2
1
dbl
1
3
1
terms
1
0
n__add
2
2
2
1
n__s
1
1
1
sqr
1
0
n__dbl
1
3
1
0
0
4
s
1
0
nil
0
1
first
2
1
n__terms
1
4
add
2
2
2
1
sqr
1
4
1
terms
1
4
s
1
1
0
n__sqr
1
1
0
n__first
2
0
dbl
1
1
0
terms
1
0
n__add
2
1
0
2
0
0
n__s
1
1
0
sqr
1
0
n__dbl
1
1
0
0
0
0
s
1
0
nil
0
0
first
2
0
n__terms
1
0
add
2
1
0
2
0
0
sqr
1
1
0
terms
1
0
activate
n__add
X1
X2
add
activate
X1
activate
X2
dbl
0
0
first
X1
X2
n__first
X1
X2
first
0
X
nil
terms
N
cons
recip
sqr
N
n__terms
n__s
N
sqr
s
X
s
n__add
n__sqr
activate
X
n__dbl
activate
X
activate
n__terms
X
terms
activate
X
activate
n__first
X1
X2
first
activate
X1
activate
X2
activate
n__sqr
X
sqr
activate
X
activate
n__s
X
s
X
activate
X
X
dbl
s
X
s
n__s
n__dbl
activate
X
terms
X
n__terms
X
add
s
X
Y
s
n__add
activate
X
Y
activate
n__dbl
X
dbl
activate
X
dbl
X
n__dbl
X
add
X1
X2
n__add
X1
X2
s
X
n__s
X
first
s
X
cons
Y
Z
cons
Y
n__first
activate
X
activate
Z
sqr
X
n__sqr
X
add
0
X
X
sqr
0
0
add
s
X
Y
s
n__add
activate
X
Y
false
sqr
s
X
s
n__add
n__sqr
activate
X
n__dbl
activate
X
false
dbl
s
X
s
n__s
n__dbl
activate
X
false
activate
n__s
X
s
X
false
NaTT
certifiable-1.6