a__terms
N
cons
recip
a__sqr
mark
N
terms
s
N
a__sqr
0
0
a__sqr
s
X
s
a__add
a__sqr
mark
X
a__dbl
mark
X
a__dbl
0
0
a__dbl
s
X
s
s
a__dbl
mark
X
a__add
0
X
mark
X
a__add
s
X
Y
s
a__add
mark
X
mark
Y
a__first
0
X
nil
a__first
s
X
cons
Y
Z
cons
mark
Y
first
X
Z
a__half
0
0
a__half
s
0
0
a__half
s
s
X
s
a__half
mark
X
a__half
dbl
X
mark
X
mark
terms
X
a__terms
mark
X
mark
sqr
X
a__sqr
mark
X
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
dbl
X
a__dbl
mark
X
mark
first
X1
X2
a__first
mark
X1
mark
X2
mark
half
X
a__half
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
recip
X
recip
mark
X
mark
s
X
s
mark
X
mark
0
0
mark
nil
nil
a__terms
X
terms
X
a__sqr
X
sqr
X
a__add
X1
X2
add
X1
X2
a__dbl
X
dbl
X
a__first
X1
X2
first
X1
X2
a__half
X
half
X
2.2
a__half
dbl
X
mark
X
a__terms
N
mark
N
mark
terms
X
a__terms
mark
X
a__dbl
s
X
mark
X
a__add
s
X
Y
a__add
mark
X
mark
Y
a__add
s
X
Y
mark
Y
a__sqr
s
X
a__sqr
mark
X
a__sqr
s
X
a__add
a__sqr
mark
X
a__dbl
mark
X
a__dbl
s
X
a__dbl
mark
X
mark
sqr
X
mark
X
mark
s
X
mark
X
mark
sqr
X
a__sqr
mark
X
a__sqr
s
X
mark
X
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
terms
X
mark
X
a__add
s
X
Y
mark
X
mark
first
X1
X2
mark
X1
a__half
s
s
X
mark
X
a__terms
N
a__sqr
mark
N
mark
add
X1
X2
mark
X2
mark
first
X1
X2
mark
X2
a__sqr
s
X
mark
X
mark
half
X
a__half
mark
X
mark
first
X1
X2
a__first
mark
X1
mark
X2
mark
recip
X
mark
X
a__sqr
s
X
a__dbl
mark
X
mark
add
X1
X2
mark
X1
mark
dbl
X
mark
X
a__first
s
X
cons
Y
Z
mark
Y
a__add
0
X
mark
X
mark
cons
X1
X2
mark
X1
mark
dbl
X
a__dbl
mark
X
a__half
s
s
X
a__half
mark
X
mark
half
X
mark
X
true
mark
half
X
mark
X
a__sqr
s
X
mark
X
a__half
s
s
X
a__half
mark
X
mark
sqr
X
a__sqr
mark
X
mark
s
X
mark
X
mark
dbl
X
a__dbl
mark
X
mark
sqr
X
mark
X
a__dbl
s
X
a__dbl
mark
X
mark
cons
X1
X2
mark
X1
a__add
0
X
mark
X
a__sqr
s
X
a__add
a__sqr
mark
X
a__dbl
mark
X
a__first
s
X
cons
Y
Z
mark
Y
a__sqr
s
X
a__sqr
mark
X
mark
dbl
X
mark
X
mark
add
X1
X2
mark
X1
a__sqr
s
X
a__dbl
mark
X
a__add
s
X
Y
mark
Y
a__add
s
X
Y
a__add
mark
X
mark
Y
a__dbl
s
X
mark
X
mark
first
X1
X2
a__first
mark
X1
mark
X2
mark
recip
X
mark
X
mark
half
X
a__half
mark
X
mark
terms
X
a__terms
mark
X
a__sqr
s
X
mark
X
mark
first
X1
X2
mark
X2
mark
add
X1
X2
mark
X2
a__terms
N
a__sqr
mark
N
a__half
s
s
X
mark
X
mark
first
X1
X2
mark
X1
a__add
s
X
Y
mark
X
mark
terms
X
mark
X
a__terms
N
mark
N
a__half
dbl
X
mark
X
mark
add
X1
X2
a__add
mark
X1
mark
X2
true
s
1
1
0
a__first
2
1
20205
2
20203
0
recip
1
1
1
dbl
1
1
0
a__half
1
1
0
a__add
2
1
19335
2
19335
0
a__add
2
1
0
2
0
0
a__dbl
1
1
0
a__half
1
1
19335
a__sqr
1
1
0
half
1
1
0
a__terms
1
1
19336
mark
1
1
19335
0
0
0
nil
0
0
a__dbl
1
1
19335
mark
1
1
0
first
2
1
870
2
869
0
a__first
2
1
870
2
869
0
cons
2
1
1
0
add
2
1
0
2
0
0
sqr
1
1
0
a__terms
1
1
29535
a__sqr
1
1
19335
terms
1
1
29535
mark
add
X1
X2
a__add
mark
X1
mark
X2
a__half
dbl
X
mark
X
a__add
s
X
Y
mark
X
a__half
s
s
X
mark
X
mark
add
X1
X2
mark
X2
a__sqr
s
X
mark
X
mark
half
X
a__half
mark
X
mark
first
X1
X2
a__first
mark
X1
mark
X2
a__dbl
s
X
mark
X
a__add
s
X
Y
a__add
mark
X
mark
Y
a__add
s
X
Y
mark
Y
a__sqr
s
X
a__dbl
mark
X
mark
add
X1
X2
mark
X1
mark
dbl
X
mark
X
a__sqr
s
X
a__sqr
mark
X
a__sqr
s
X
a__add
a__sqr
mark
X
a__dbl
mark
X
a__add
0
X
mark
X
a__dbl
s
X
a__dbl
mark
X
mark
sqr
X
mark
X
mark
dbl
X
a__dbl
mark
X
mark
s
X
mark
X
mark
sqr
X
a__sqr
mark
X
a__half
s
s
X
a__half
mark
X
a__sqr
s
X
mark
X
mark
half
X
mark
X
mark
first
X1
X2
a__first
mark
X1
mark
X2
a__dbl
0
0
mark
sqr
X
a__sqr
mark
X
a__first
0
X
nil
a__terms
N
cons
recip
a__sqr
mark
N
terms
s
N
a__sqr
s
X
s
a__add
a__sqr
mark
X
a__dbl
mark
X
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
recip
X
recip
mark
X
a__sqr
X
sqr
X
mark
half
X
a__half
mark
X
mark
dbl
X
a__dbl
mark
X
a__add
X1
X2
add
X1
X2
mark
s
X
s
mark
X
a__dbl
X
dbl
X
a__dbl
s
X
s
s
a__dbl
mark
X
a__half
0
0
a__add
s
X
Y
s
a__add
mark
X
mark
Y
mark
cons
X1
X2
cons
mark
X1
X2
a__terms
X
terms
X
a__half
X
half
X
mark
terms
X
a__terms
mark
X
a__half
s
s
X
s
a__half
mark
X
mark
0
0
mark
nil
nil
a__half
s
0
0
a__first
s
X
cons
Y
Z
cons
mark
Y
first
X
Z
a__half
dbl
X
mark
X
a__add
0
X
mark
X
a__first
X1
X2
first
X1
X2
a__sqr
0
0
mark
sqr
X
mark
X
mark
sqr
X
a__sqr
mark
X
a__sqr
s
X
mark
X
a__sqr
s
X
a__dbl
mark
X
a__sqr
s
X
mark
X
a__sqr
s
X
a__sqr
mark
X
a__sqr
s
X
a__add
a__sqr
mark
X
a__dbl
mark
X
mark
add
X1
X2
mark
X2
mark
add
X1
X2
mark
X1
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
half
X
mark
X
mark
half
X
a__half
mark
X
mark
dbl
X
mark
X
mark
dbl
X
a__dbl
mark
X
mark
s
X
mark
X
a__dbl
s
X
mark
X
a__dbl
s
X
a__dbl
mark
X
a__add
s
X
Y
mark
Y
a__add
s
X
Y
mark
X
a__add
s
X
Y
a__add
mark
X
mark
Y
a__half
s
s
X
mark
X
a__half
s
s
X
a__half
mark
X
a__half
dbl
X
mark
X
a__add
0
X
mark
X
true
s
1
1
0
a__first
2
1
20205
2
20203
0
recip
1
1
31112
dbl
1
1
0
a__half
1
1
1
a__add
2
1
28163
2
28163
0
a__add
2
1
0
2
0
0
a__dbl
1
1
0
a__half
1
1
28163
a__sqr
1
1
0
half
1
1
1
a__terms
1
1
19336
mark
1
1
28163
0
0
0
nil
0
0
a__dbl
1
1
28163
mark
1
1
0
first
2
1
2
2
1
0
a__first
2
1
2
2
1
0
cons
2
1
1
0
add
2
1
0
2
0
0
sqr
1
1
0
a__terms
1
1
43325
a__sqr
1
1
28163
terms
1
1
43325
a__add
0
X
mark
X
a__half
dbl
X
mark
X
a__half
s
s
X
a__half
mark
X
a__half
s
s
X
mark
X
a__add
s
X
Y
a__add
mark
X
mark
Y
a__add
s
X
Y
mark
X
a__add
s
X
Y
mark
Y
a__dbl
s
X
a__dbl
mark
X
a__dbl
s
X
mark
X
mark
s
X
mark
X
mark
dbl
X
a__dbl
mark
X
mark
dbl
X
mark
X
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
add
X1
X2
mark
X1
mark
add
X1
X2
mark
X2
a__sqr
s
X
a__add
a__sqr
mark
X
a__dbl
mark
X
a__sqr
s
X
a__sqr
mark
X
a__sqr
s
X
mark
X
a__sqr
s
X
a__dbl
mark
X
a__sqr
s
X
mark
X
mark
sqr
X
a__sqr
mark
X
mark
sqr
X
mark
X
mark
first
X1
X2
a__first
mark
X1
mark
X2
a__dbl
0
0
mark
sqr
X
a__sqr
mark
X
a__first
0
X
nil
a__terms
N
cons
recip
a__sqr
mark
N
terms
s
N
a__sqr
s
X
s
a__add
a__sqr
mark
X
a__dbl
mark
X
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
recip
X
recip
mark
X
a__sqr
X
sqr
X
mark
half
X
a__half
mark
X
mark
dbl
X
a__dbl
mark
X
a__add
X1
X2
add
X1
X2
mark
s
X
s
mark
X
a__dbl
X
dbl
X
a__dbl
s
X
s
s
a__dbl
mark
X
a__half
0
0
a__add
s
X
Y
s
a__add
mark
X
mark
Y
mark
cons
X1
X2
cons
mark
X1
X2
a__terms
X
terms
X
a__half
X
half
X
mark
terms
X
a__terms
mark
X
a__half
s
s
X
s
a__half
mark
X
mark
0
0
mark
nil
nil
a__half
s
0
0
a__first
s
X
cons
Y
Z
cons
mark
Y
first
X
Z
a__half
dbl
X
mark
X
a__add
0
X
mark
X
a__first
X1
X2
first
X1
X2
a__sqr
0
0
a__half
s
s
X
a__half
mark
X
true
a__first
2
2
a__half
1
1
a__half
1
1
half
1
1
mark
1
1
s
1
0
1
recip
1
2
dbl
1
2
1
a__add
2
0
1
2
a__add
2
1
2
1
a__dbl
1
2
1
a__sqr
1
2
1
a__terms
1
0
mark
1
0
0
0
0
nil
0
0
a__dbl
1
0
first
2
0
a__first
2
0
cons
2
0
add
2
1
2
1
sqr
1
2
1
a__terms
1
2
1
a__sqr
1
0
terms
1
2
1
s
1
1
0
recip
1
0
dbl
1
1
0
a__add
2
1
0
2
0
0
a__add
2
1
0
2
0
0
a__dbl
1
1
0
a__sqr
1
1
0
a__terms
1
0
mark
1
0
0
0
0
nil
0
0
a__dbl
1
0
first
2
0
a__first
2
0
cons
2
0
add
2
1
0
2
0
0
sqr
1
1
0
a__terms
1
1
0
a__sqr
1
0
terms
1
1
0
mark
first
X1
X2
a__first
mark
X1
mark
X2
a__dbl
0
0
mark
sqr
X
a__sqr
mark
X
a__first
0
X
nil
a__terms
N
cons
recip
a__sqr
mark
N
terms
s
N
a__sqr
s
X
s
a__add
a__sqr
mark
X
a__dbl
mark
X
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
recip
X
recip
mark
X
a__sqr
X
sqr
X
mark
half
X
a__half
mark
X
mark
dbl
X
a__dbl
mark
X
a__add
X1
X2
add
X1
X2
mark
s
X
s
mark
X
a__dbl
X
dbl
X
a__dbl
s
X
s
s
a__dbl
mark
X
a__half
0
0
a__add
s
X
Y
s
a__add
mark
X
mark
Y
mark
cons
X1
X2
cons
mark
X1
X2
a__terms
X
terms
X
a__half
X
half
X
mark
terms
X
a__terms
mark
X
a__half
s
s
X
s
a__half
mark
X
mark
0
0
mark
nil
nil
a__half
s
0
0
a__first
s
X
cons
Y
Z
cons
mark
Y
first
X
Z
a__half
dbl
X
mark
X
a__add
0
X
mark
X
a__first
X1
X2
first
X1
X2
a__sqr
0
0
a__half
s
s
X
mark
X
false
a__half
dbl
X
mark
X
false
mark
sqr
X
mark
X
mark
sqr
X
a__sqr
mark
X
a__sqr
s
X
mark
X
a__sqr
s
X
a__dbl
mark
X
a__sqr
s
X
mark
X
a__sqr
s
X
a__sqr
mark
X
a__sqr
s
X
a__add
a__sqr
mark
X
a__dbl
mark
X
mark
add
X1
X2
mark
X2
mark
add
X1
X2
mark
X1
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
dbl
X
mark
X
mark
dbl
X
a__dbl
mark
X
mark
s
X
mark
X
a__dbl
s
X
mark
X
a__dbl
s
X
a__dbl
mark
X
a__add
s
X
Y
mark
Y
a__add
s
X
Y
mark
X
a__add
s
X
Y
a__add
mark
X
mark
Y
a__add
0
X
mark
X
true
s
1
1
0
a__first
2
0
recip
1
1
dbl
1
1
1
a__half
1
1
1
a__add
2
1
48491
2
48491
0
a__add
2
1
0
2
0
0
a__dbl
1
1
1
a__half
1
28163
a__sqr
1
1
1
half
1
1
1
a__terms
1
19336
mark
1
1
48491
0
0
1
nil
0
12701
a__dbl
1
1
48492
mark
1
1
0
first
2
1
46869
0
a__first
2
1
46869
0
cons
2
0
add
2
1
0
2
0
0
sqr
1
1
1
a__terms
1
49364
a__sqr
1
1
48492
terms
1
49364
a__add
0
X
mark
X
a__add
s
X
Y
a__add
mark
X
mark
Y
a__add
s
X
Y
mark
X
a__add
s
X
Y
mark
Y
a__dbl
s
X
a__dbl
mark
X
mark
s
X
mark
X
mark
dbl
X
a__dbl
mark
X
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
add
X1
X2
mark
X1
mark
add
X1
X2
mark
X2
a__sqr
s
X
a__add
a__sqr
mark
X
a__dbl
mark
X
a__sqr
s
X
a__sqr
mark
X
a__sqr
s
X
a__dbl
mark
X
mark
sqr
X
a__sqr
mark
X
mark
first
X1
X2
a__first
mark
X1
mark
X2
a__dbl
0
0
mark
sqr
X
a__sqr
mark
X
a__first
0
X
nil
a__terms
N
cons
recip
a__sqr
mark
N
terms
s
N
a__sqr
s
X
s
a__add
a__sqr
mark
X
a__dbl
mark
X
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
recip
X
recip
mark
X
a__sqr
X
sqr
X
mark
half
X
a__half
mark
X
mark
dbl
X
a__dbl
mark
X
a__add
X1
X2
add
X1
X2
mark
s
X
s
mark
X
a__dbl
X
dbl
X
a__dbl
s
X
s
s
a__dbl
mark
X
a__half
0
0
a__add
s
X
Y
s
a__add
mark
X
mark
Y
mark
cons
X1
X2
cons
mark
X1
X2
a__terms
X
terms
X
a__half
X
half
X
mark
terms
X
a__terms
mark
X
a__half
s
s
X
s
a__half
mark
X
mark
0
0
mark
nil
nil
a__half
s
0
0
a__first
s
X
cons
Y
Z
cons
mark
Y
first
X
Z
a__half
dbl
X
mark
X
a__add
0
X
mark
X
a__first
X1
X2
first
X1
X2
a__sqr
0
0
mark
sqr
X
a__sqr
mark
X
a__sqr
s
X
a__sqr
mark
X
a__sqr
s
X
a__add
a__sqr
mark
X
a__dbl
mark
X
mark
add
X1
X2
mark
X2
mark
add
X1
X2
mark
X1
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
s
X
mark
X
a__add
s
X
Y
mark
Y
a__add
s
X
Y
mark
X
a__add
s
X
Y
a__add
mark
X
mark
Y
a__add
0
X
mark
X
true
s
1
1
0
a__first
2
0
recip
1
1
dbl
1
1
1
a__half
1
1
1
a__add
2
1
35955
2
35956
0
a__add
2
1
0
2
1
0
a__dbl
1
1
1
a__half
1
28163
a__sqr
1
1
3
half
1
1
1
a__terms
1
19336
mark
1
1
35955
0
0
1
nil
0
2
a__dbl
1
1
48492
mark
1
1
0
first
2
1
1
0
a__first
2
1
1
0
cons
2
0
add
2
1
0
2
1
0
sqr
1
1
3
a__terms
1
44798
a__sqr
1
1
35958
terms
1
44798
a__add
s
X
Y
a__add
mark
X
mark
Y
a__add
s
X
Y
mark
X
mark
s
X
mark
X
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
add
X1
X2
mark
X1
a__sqr
s
X
a__add
a__sqr
mark
X
a__dbl
mark
X
a__sqr
s
X
a__sqr
mark
X
mark
sqr
X
a__sqr
mark
X
mark
first
X1
X2
a__first
mark
X1
mark
X2
a__dbl
0
0
mark
sqr
X
a__sqr
mark
X
a__first
0
X
nil
a__terms
N
cons
recip
a__sqr
mark
N
terms
s
N
a__sqr
s
X
s
a__add
a__sqr
mark
X
a__dbl
mark
X
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
recip
X
recip
mark
X
a__sqr
X
sqr
X
mark
half
X
a__half
mark
X
mark
dbl
X
a__dbl
mark
X
a__add
X1
X2
add
X1
X2
mark
s
X
s
mark
X
a__dbl
X
dbl
X
a__dbl
s
X
s
s
a__dbl
mark
X
a__half
0
0
a__add
s
X
Y
s
a__add
mark
X
mark
Y
mark
cons
X1
X2
cons
mark
X1
X2
a__terms
X
terms
X
a__half
X
half
X
mark
terms
X
a__terms
mark
X
a__half
s
s
X
s
a__half
mark
X
mark
0
0
mark
nil
nil
a__half
s
0
0
a__first
s
X
cons
Y
Z
cons
mark
Y
first
X
Z
a__half
dbl
X
mark
X
a__add
0
X
mark
X
a__first
X1
X2
first
X1
X2
a__sqr
0
0
mark
sqr
X
a__sqr
mark
X
a__sqr
s
X
a__sqr
mark
X
a__sqr
s
X
a__add
a__sqr
mark
X
a__dbl
mark
X
mark
add
X1
X2
mark
X1
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
s
X
mark
X
a__add
s
X
Y
mark
X
a__add
s
X
Y
a__add
mark
X
mark
Y
true
a__first
2
2
a__half
1
1
a__add
2
1
half
1
1
mark
1
1
mark
1
1
s
1
1
1
recip
1
4
dbl
1
3
1
a__add
2
2
1
2
a__dbl
1
3
1
a__half
1
0
a__sqr
1
4
1
a__terms
1
0
0
0
0
nil
0
0
a__dbl
1
0
first
2
0
a__first
2
0
cons
2
0
add
2
2
1
2
sqr
1
4
1
a__terms
1
4
1
a__sqr
1
4
1
terms
1
4
1
s
1
1
0
recip
1
0
dbl
1
1
0
a__add
2
1
0
2
0
0
a__dbl
1
1
0
a__half
1
0
a__sqr
1
1
0
a__terms
1
0
0
0
0
nil
0
0
a__dbl
1
0
first
2
0
a__first
2
0
cons
2
0
add
2
1
0
2
0
0
sqr
1
1
0
a__terms
1
1
0
a__sqr
1
1
0
terms
1
1
0
mark
sqr
X
a__sqr
mark
X
mark
first
X1
X2
a__first
mark
X1
mark
X2
a__dbl
0
0
mark
sqr
X
a__sqr
mark
X
a__first
0
X
nil
a__terms
N
cons
recip
a__sqr
mark
N
terms
s
N
a__sqr
s
X
s
a__add
a__sqr
mark
X
a__dbl
mark
X
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
recip
X
recip
mark
X
a__sqr
X
sqr
X
mark
half
X
a__half
mark
X
mark
dbl
X
a__dbl
mark
X
a__add
X1
X2
add
X1
X2
mark
s
X
s
mark
X
a__dbl
X
dbl
X
a__dbl
s
X
s
s
a__dbl
mark
X
a__half
0
0
a__add
s
X
Y
s
a__add
mark
X
mark
Y
mark
cons
X1
X2
cons
mark
X1
X2
a__terms
X
terms
X
a__half
X
half
X
mark
terms
X
a__terms
mark
X
a__half
s
s
X
s
a__half
mark
X
mark
0
0
mark
nil
nil
a__half
s
0
0
a__first
s
X
cons
Y
Z
cons
mark
Y
first
X
Z
a__half
dbl
X
mark
X
a__add
0
X
mark
X
a__first
X1
X2
first
X1
X2
a__sqr
0
0
mark
sqr
X
a__sqr
mark
X
false
mark
dbl
X
a__dbl
mark
X
false
a__sqr
s
X
a__dbl
mark
X
false
a__dbl
s
X
a__dbl
mark
X
true
a__first
2
2
a__half
1
1
a__add
2
1
half
1
1
mark
1
1
mark
1
1
s
1
1
1
recip
1
4
dbl
1
3
1
a__add
2
2
1
2
a__dbl
1
3
1
a__half
1
0
a__sqr
1
4
1
a__terms
1
0
0
0
0
nil
0
0
a__dbl
1
0
1
first
2
0
a__first
2
0
cons
2
0
add
2
2
1
2
sqr
1
4
1
a__terms
1
4
1
a__sqr
1
4
1
terms
1
4
1
s
1
1
0
recip
1
0
dbl
1
1
0
a__add
2
1
0
2
0
0
a__dbl
1
1
0
a__half
1
0
a__sqr
1
1
0
a__terms
1
0
0
0
0
nil
0
0
a__dbl
1
1
0
first
2
0
a__first
2
0
cons
2
0
add
2
1
0
2
0
0
sqr
1
1
0
a__terms
1
1
0
a__sqr
1
1
0
terms
1
1
0
mark
first
X1
X2
a__first
mark
X1
mark
X2
a__dbl
0
0
mark
sqr
X
a__sqr
mark
X
a__first
0
X
nil
a__terms
N
cons
recip
a__sqr
mark
N
terms
s
N
a__sqr
s
X
s
a__add
a__sqr
mark
X
a__dbl
mark
X
mark
add
X1
X2
a__add
mark
X1
mark
X2
mark
recip
X
recip
mark
X
a__sqr
X
sqr
X
mark
half
X
a__half
mark
X
mark
dbl
X
a__dbl
mark
X
a__add
X1
X2
add
X1
X2
mark
s
X
s
mark
X
a__dbl
X
dbl
X
a__dbl
s
X
s
s
a__dbl
mark
X
a__half
0
0
a__add
s
X
Y
s
a__add
mark
X
mark
Y
mark
cons
X1
X2
cons
mark
X1
X2
a__terms
X
terms
X
a__half
X
half
X
mark
terms
X
a__terms
mark
X
a__half
s
s
X
s
a__half
mark
X
mark
0
0
mark
nil
nil
a__half
s
0
0
a__first
s
X
cons
Y
Z
cons
mark
Y
first
X
Z
a__half
dbl
X
mark
X
a__add
0
X
mark
X
a__first
X1
X2
first
X1
X2
a__sqr
0
0
mark
first
X1
X2
a__first
mark
X1
mark
X2
false
NaTT
certifiable-1.6