terms
N
cons
recip
sqr
N
n__terms
n__s
N
sqr
0
0
sqr
s
X
s
add
sqr
X
dbl
X
dbl
0
0
dbl
s
X
s
s
dbl
X
add
0
X
X
add
s
X
Y
s
add
X
Y
first
0
X
nil
first
s
X
cons
Y
Z
cons
Y
n__first
X
activate
Z
terms
X
n__terms
X
s
X
n__s
X
first
X1
X2
n__first
X1
X2
activate
n__terms
X
terms
activate
X
activate
n__s
X
s
activate
X
activate
n__first
X1
X2
first
activate
X1
activate
X2
activate
X
X
2.2
activate
n__terms
X
activate
X
add
s
X
Y
s
add
X
Y
sqr
s
X
sqr
X
dbl
s
X
s
dbl
X
sqr
s
X
s
add
sqr
X
dbl
X
sqr
s
X
add
sqr
X
dbl
X
sqr
s
X
dbl
X
add
s
X
Y
add
X
Y
dbl
s
X
dbl
X
activate
n__s
X
activate
X
activate
n__first
X1
X2
activate
X1
activate
n__first
X1
X2
first
activate
X1
activate
X2
first
s
X
cons
Y
Z
activate
Z
activate
n__terms
X
terms
activate
X
dbl
s
X
s
s
dbl
X
terms
N
sqr
N
activate
n__s
X
s
activate
X
activate
n__first
X1
X2
activate
X2
true
activate
n__first
X1
X2
activate
X2
first
s
X
cons
Y
Z
activate
Z
activate
n__first
X1
X2
first
activate
X1
activate
X2
activate
n__first
X1
X2
activate
X1
activate
n__s
X
activate
X
activate
n__terms
X
activate
X
true
s
1
1
0
n__first
2
1
2
18459
recip
1
1
activate
1
1
0
dbl
1
0
dbl
1
0
terms
1
0
activate
1
1
0
n__s
1
1
0
sqr
1
0
0
0
1
s
1
0
first
2
2
18458
nil
0
0
first
2
1
2
18459
n__terms
1
1
25907
cons
2
2
0
add
2
0
add
2
2
0
sqr
1
1
1
terms
1
1
25907
activate
n__s
X
activate
X
activate
n__first
X1
X2
first
activate
X1
activate
X2
first
0
X
nil
terms
N
cons
recip
sqr
N
n__terms
n__s
N
activate
X
X
terms
X
n__terms
X
activate
n__s
X
s
activate
X
first
X1
X2
n__first
X1
X2
s
X
n__s
X
first
s
X
cons
Y
Z
cons
Y
n__first
X
activate
Z
activate
n__terms
X
terms
activate
X
add
0
X
X
activate
n__s
X
activate
X
true
s
1
1
1
n__first
2
21034
recip
1
1
activate
1
1
1431
dbl
1
0
dbl
1
0
terms
1
0
activate
1
1
0
n__s
1
1
1
sqr
1
0
0
0
1
s
1
0
first
2
2
18458
nil
0
0
first
2
21034
n__terms
1
25907
cons
2
2
0
add
2
0
add
2
1
2
0
sqr
1
1
terms
1
25907
activate
n__first
X1
X2
first
activate
X1
activate
X2
first
0
X
nil
terms
N
cons
recip
sqr
N
n__terms
n__s
N
activate
X
X
terms
X
n__terms
X
activate
n__s
X
s
activate
X
first
X1
X2
n__first
X1
X2
s
X
n__s
X
first
s
X
cons
Y
Z
cons
Y
n__first
X
activate
Z
activate
n__terms
X
terms
activate
X
add
0
X
X
sqr
0
0
activate
n__terms
X
terms
activate
X
false
terms
N
sqr
N
false
sqr
s
X
sqr
X
true
s
1
1
1
n__first
2
29525
recip
1
1
activate
1
1
22105
dbl
1
0
dbl
1
0
terms
1
0
activate
1
0
n__s
1
1
1
sqr
1
1
0
0
0
1
s
1
0
first
2
2
18458
nil
0
0
first
2
29525
n__terms
1
36068
cons
2
2
0
add
2
0
add
2
1
2
0
sqr
1
1
terms
1
58173
activate
n__first
X1
X2
first
activate
X1
activate
X2
first
0
X
nil
terms
N
cons
recip
sqr
N
n__terms
n__s
N
activate
X
X
terms
X
n__terms
X
activate
n__s
X
s
activate
X
first
X1
X2
n__first
X1
X2
s
X
n__s
X
first
s
X
cons
Y
Z
cons
Y
n__first
X
activate
Z
activate
n__terms
X
terms
activate
X
add
0
X
X
sqr
0
0
sqr
s
X
s
add
sqr
X
dbl
X
false
sqr
s
X
add
sqr
X
dbl
X
false
add
s
X
Y
add
X
Y
true
s
1
1
1
n__first
2
27463
recip
1
1
activate
1
1
28224
dbl
1
0
dbl
1
0
terms
1
0
activate
1
0
n__s
1
1
1
sqr
1
0
0
0
1
s
1
0
first
2
2
18458
nil
0
0
first
2
27463
n__terms
1
85552
cons
2
2
0
add
2
1
0
add
2
1
2
0
sqr
1
1
terms
1
113776
activate
n__first
X1
X2
first
activate
X1
activate
X2
first
0
X
nil
terms
N
cons
recip
sqr
N
n__terms
n__s
N
activate
X
X
terms
X
n__terms
X
activate
n__s
X
s
activate
X
first
X1
X2
n__first
X1
X2
s
X
n__s
X
first
s
X
cons
Y
Z
cons
Y
n__first
X
activate
Z
activate
n__terms
X
terms
activate
X
add
0
X
X
sqr
0
0
add
s
X
Y
s
add
X
Y
false
sqr
s
X
dbl
X
false
dbl
s
X
dbl
X
true
s
1
1
1
n__first
2
1
recip
1
1
activate
1
1
28224
dbl
1
0
dbl
1
1
0
terms
1
0
activate
1
0
n__s
1
1
1
sqr
1
0
0
0
1
s
1
0
first
2
2
18458
nil
0
0
first
2
1
n__terms
1
38690
cons
2
2
0
add
2
0
add
2
1
2
0
sqr
1
1
terms
1
66914
activate
n__first
X1
X2
first
activate
X1
activate
X2
first
0
X
nil
terms
N
cons
recip
sqr
N
n__terms
n__s
N
activate
X
X
terms
X
n__terms
X
activate
n__s
X
s
activate
X
first
X1
X2
n__first
X1
X2
s
X
n__s
X
first
s
X
cons
Y
Z
cons
Y
n__first
X
activate
Z
activate
n__terms
X
terms
activate
X
add
0
X
X
sqr
0
0
dbl
s
X
s
s
dbl
X
false
dbl
s
X
s
dbl
X
false
activate
n__s
X
s
activate
X
false
NaTT
certifiable-1.6