active
terms
N
mark
cons
recip
sqr
N
terms
s
N
active
sqr
0
mark
0
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
active
dbl
0
mark
0
active
dbl
s
X
mark
s
s
dbl
X
active
add
0
X
mark
X
active
add
s
X
Y
mark
s
add
X
Y
active
first
0
X
mark
nil
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
mark
terms
X
active
terms
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
recip
X
active
recip
mark
X
mark
sqr
X
active
sqr
mark
X
mark
s
X
active
s
mark
X
mark
0
active
0
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
dbl
X
active
dbl
mark
X
mark
first
X1
X2
active
first
mark
X1
mark
X2
mark
nil
active
nil
terms
mark
X
terms
X
terms
active
X
terms
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
recip
mark
X
recip
X
recip
active
X
recip
X
sqr
mark
X
sqr
X
sqr
active
X
sqr
X
s
mark
X
s
X
s
active
X
s
X
add
mark
X1
X2
add
X1
X2
add
X1
mark
X2
add
X1
X2
add
active
X1
X2
add
X1
X2
add
X1
active
X2
add
X1
X2
dbl
mark
X
dbl
X
dbl
active
X
dbl
X
first
mark
X1
X2
first
X1
X2
first
X1
mark
X2
first
X1
X2
first
active
X1
X2
first
X1
X2
first
X1
active
X2
first
X1
X2
2.2
sqr
active
X
sqr
X
cons
mark
X1
X2
cons
X1
X2
terms
mark
X
terms
X
mark
terms
X
terms
mark
X
active
terms
N
sqr
N
mark
dbl
X
active
dbl
mark
X
sqr
mark
X
sqr
X
active
dbl
s
X
dbl
X
add
X1
mark
X2
add
X1
X2
mark
first
X1
X2
first
mark
X1
mark
X2
mark
dbl
X
dbl
mark
X
terms
active
X
terms
X
active
dbl
0
mark
0
mark
dbl
X
mark
X
mark
first
X1
X2
mark
X2
mark
first
X1
X2
mark
X1
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
active
sqr
s
X
sqr
X
active
dbl
s
X
mark
s
s
dbl
X
first
mark
X1
X2
first
X1
X2
active
sqr
s
X
s
add
sqr
X
dbl
X
mark
add
X1
X2
add
mark
X1
mark
X2
active
terms
N
terms
s
N
active
dbl
s
X
s
dbl
X
recip
mark
X
recip
X
active
first
s
X
cons
Y
Z
cons
Y
first
X
Z
mark
sqr
X
active
sqr
mark
X
mark
sqr
X
mark
X
mark
add
X1
X2
mark
X2
mark
s
X
active
s
mark
X
mark
0
active
0
s
active
X
s
X
recip
active
X
recip
X
active
first
0
X
mark
nil
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
add
s
X
Y
s
add
X
Y
mark
add
X1
X2
mark
X1
active
first
s
X
cons
Y
Z
first
X
Z
active
sqr
s
X
dbl
X
active
add
s
X
Y
mark
s
add
X
Y
dbl
mark
X
dbl
X
add
mark
X1
X2
add
X1
X2
mark
s
X
s
mark
X
mark
recip
X
active
recip
mark
X
active
add
0
X
mark
X
active
dbl
s
X
s
s
dbl
X
mark
sqr
X
sqr
mark
X
active
terms
N
cons
recip
sqr
N
terms
s
N
first
X1
mark
X2
first
X1
X2
mark
first
X1
X2
active
first
mark
X1
mark
X2
dbl
active
X
dbl
X
add
active
X1
X2
add
X1
X2
active
terms
N
recip
sqr
N
cons
X1
active
X2
cons
X1
X2
mark
recip
X
mark
X
mark
terms
X
active
terms
mark
X
s
mark
X
s
X
active
sqr
s
X
add
sqr
X
dbl
X
mark
cons
X1
X2
mark
X1
active
add
s
X
Y
add
X
Y
cons
X1
mark
X2
cons
X1
X2
active
terms
N
mark
cons
recip
sqr
N
terms
s
N
mark
s
X
mark
X
active
terms
N
s
N
mark
terms
X
mark
X
mark
recip
X
recip
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
add
X1
active
X2
add
X1
X2
active
sqr
0
mark
0
mark
add
X1
X2
active
add
mark
X1
mark
X2
first
active
X1
X2
first
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
first
X1
active
X2
first
X1
X2
mark
nil
active
nil
cons
active
X1
X2
cons
X1
X2
true
active
add
s
X
Y
mark
s
add
X
Y
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
add
X1
X2
mark
X1
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
s
X
active
s
mark
X
mark
terms
X
mark
X
mark
add
X1
X2
mark
X2
mark
s
X
mark
X
mark
sqr
X
mark
X
mark
sqr
X
active
sqr
mark
X
active
terms
N
mark
cons
recip
sqr
N
terms
s
N
mark
cons
X1
X2
mark
X1
active
dbl
s
X
mark
s
s
dbl
X
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
first
X1
X2
mark
X1
mark
terms
X
active
terms
mark
X
mark
first
X1
X2
mark
X2
mark
dbl
X
mark
X
mark
recip
X
mark
X
mark
first
X1
X2
active
first
mark
X1
mark
X2
mark
dbl
X
active
dbl
mark
X
active
add
0
X
mark
X
mark
recip
X
active
recip
mark
X
true
cons
2
0
s
1
1
recip
1
1
recip
1
0
dbl
1
2
dbl
1
0
terms
1
0
sqr
1
0
mark
1
2
0
0
1
s
1
0
first
2
0
nil
0
2
mark
1
2
first
2
2
active
1
1
0
cons
2
1
active
1
1
0
add
2
0
add
2
2
sqr
1
2
terms
1
2
active
add
0
X
mark
X
mark
dbl
X
active
dbl
mark
X
mark
first
X1
X2
active
first
mark
X1
mark
X2
mark
recip
X
mark
X
mark
dbl
X
mark
X
mark
first
X1
X2
mark
X2
mark
terms
X
active
terms
mark
X
mark
first
X1
X2
mark
X1
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
active
dbl
s
X
mark
s
s
dbl
X
mark
cons
X1
X2
mark
X1
active
terms
N
mark
cons
recip
sqr
N
terms
s
N
mark
sqr
X
active
sqr
mark
X
mark
sqr
X
mark
X
mark
s
X
mark
X
mark
add
X1
X2
mark
X2
mark
terms
X
mark
X
mark
add
X1
X2
active
add
mark
X1
mark
X2
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
mark
add
X1
X2
mark
X1
active
add
s
X
Y
mark
s
add
X
Y
mark
first
X1
X2
active
first
mark
X1
mark
X2
active
dbl
0
mark
0
mark
0
active
0
active
first
0
X
mark
nil
active
terms
N
mark
cons
recip
sqr
N
terms
s
N
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
add
X1
X2
active
add
mark
X1
mark
X2
terms
active
X
terms
X
dbl
mark
X
dbl
X
recip
mark
X
recip
X
mark
nil
active
nil
add
mark
X1
X2
add
X1
X2
mark
dbl
X
active
dbl
mark
X
recip
active
X
recip
X
add
active
X1
X2
add
X1
X2
cons
mark
X1
X2
cons
X1
X2
sqr
mark
X
sqr
X
active
dbl
s
X
mark
s
s
dbl
X
add
X1
mark
X2
add
X1
X2
mark
terms
X
active
terms
mark
X
first
X1
mark
X2
first
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
terms
mark
X
terms
X
cons
X1
active
X2
cons
X1
X2
s
mark
X
s
X
mark
s
X
active
s
mark
X
s
active
X
s
X
mark
recip
X
active
recip
mark
X
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
mark
sqr
X
active
sqr
mark
X
first
active
X1
X2
first
X1
X2
active
add
0
X
mark
X
first
mark
X1
X2
first
X1
X2
dbl
active
X
dbl
X
first
X1
active
X2
first
X1
X2
add
X1
active
X2
add
X1
X2
sqr
active
X
sqr
X
active
sqr
0
mark
0
mark
first
X1
X2
mark
X2
mark
first
X1
X2
mark
X1
mark
first
X1
X2
active
first
mark
X1
mark
X2
active
terms
N
mark
cons
recip
sqr
N
terms
s
N
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
add
X1
X2
mark
X2
mark
add
X1
X2
mark
X1
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
dbl
X
mark
X
mark
dbl
X
active
dbl
mark
X
active
dbl
s
X
mark
s
s
dbl
X
mark
terms
X
mark
X
mark
terms
X
active
terms
mark
X
active
add
s
X
Y
mark
s
add
X
Y
mark
s
X
mark
X
mark
recip
X
mark
X
mark
cons
X1
X2
mark
X1
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
mark
sqr
X
mark
X
mark
sqr
X
active
sqr
mark
X
active
add
0
X
mark
X
true
cons
2
0
s
1
1
0
recip
1
1
20977
recip
1
0
dbl
1
1
26286
dbl
1
0
terms
1
0
sqr
1
0
mark
1
1
0
0
0
2998
s
1
0
first
2
0
nil
0
17680
mark
1
1
0
first
2
1
14681
2
17680
0
active
1
1
0
cons
2
1
17681
2
0
0
active
1
1
0
add
2
0
add
2
1
0
2
1
0
sqr
1
1
26288
terms
1
1
64947
mark
sqr
X
active
sqr
mark
X
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
mark
s
X
mark
X
active
add
s
X
Y
mark
s
add
X
Y
mark
terms
X
active
terms
mark
X
active
dbl
s
X
mark
s
s
dbl
X
mark
dbl
X
active
dbl
mark
X
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
add
X1
X2
mark
X1
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
active
terms
N
mark
cons
recip
sqr
N
terms
s
N
mark
first
X1
X2
active
first
mark
X1
mark
X2
mark
first
X1
X2
active
first
mark
X1
mark
X2
active
dbl
0
mark
0
mark
0
active
0
active
first
0
X
mark
nil
active
terms
N
mark
cons
recip
sqr
N
terms
s
N
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
add
X1
X2
active
add
mark
X1
mark
X2
terms
active
X
terms
X
dbl
mark
X
dbl
X
recip
mark
X
recip
X
mark
nil
active
nil
add
mark
X1
X2
add
X1
X2
mark
dbl
X
active
dbl
mark
X
recip
active
X
recip
X
add
active
X1
X2
add
X1
X2
cons
mark
X1
X2
cons
X1
X2
sqr
mark
X
sqr
X
active
dbl
s
X
mark
s
s
dbl
X
add
X1
mark
X2
add
X1
X2
mark
terms
X
active
terms
mark
X
first
X1
mark
X2
first
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
terms
mark
X
terms
X
cons
X1
active
X2
cons
X1
X2
s
mark
X
s
X
mark
s
X
active
s
mark
X
s
active
X
s
X
mark
recip
X
active
recip
mark
X
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
mark
sqr
X
active
sqr
mark
X
first
active
X1
X2
first
X1
X2
active
add
0
X
mark
X
first
mark
X1
X2
first
X1
X2
dbl
active
X
dbl
X
first
X1
active
X2
first
X1
X2
add
X1
active
X2
add
X1
X2
sqr
active
X
sqr
X
active
sqr
0
mark
0
mark
first
X1
X2
active
first
mark
X1
mark
X2
active
terms
N
mark
cons
recip
sqr
N
terms
s
N
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
add
X1
X2
mark
X1
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
dbl
X
active
dbl
mark
X
active
dbl
s
X
mark
s
s
dbl
X
mark
terms
X
active
terms
mark
X
active
add
s
X
Y
mark
s
add
X
Y
mark
s
X
mark
X
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
mark
sqr
X
active
sqr
mark
X
true
cons
2
0
s
1
1
0
recip
1
0
recip
1
0
dbl
1
0
dbl
1
0
terms
1
0
sqr
1
0
mark
1
1
2
0
0
0
s
1
0
first
2
0
nil
0
0
mark
1
1
0
first
2
52195
active
1
1
0
cons
2
52194
active
1
1
2
add
2
0
add
2
1
2
0
sqr
1
14003
terms
1
52195
mark
sqr
X
active
sqr
mark
X
mark
s
X
mark
X
active
add
s
X
Y
mark
s
add
X
Y
mark
terms
X
active
terms
mark
X
active
dbl
s
X
mark
s
s
dbl
X
mark
dbl
X
active
dbl
mark
X
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
add
X1
X2
mark
X1
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
first
X1
X2
active
first
mark
X1
mark
X2
mark
first
X1
X2
active
first
mark
X1
mark
X2
active
dbl
0
mark
0
mark
0
active
0
active
first
0
X
mark
nil
active
terms
N
mark
cons
recip
sqr
N
terms
s
N
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
add
X1
X2
active
add
mark
X1
mark
X2
terms
active
X
terms
X
dbl
mark
X
dbl
X
recip
mark
X
recip
X
mark
nil
active
nil
add
mark
X1
X2
add
X1
X2
mark
dbl
X
active
dbl
mark
X
recip
active
X
recip
X
add
active
X1
X2
add
X1
X2
cons
mark
X1
X2
cons
X1
X2
sqr
mark
X
sqr
X
active
dbl
s
X
mark
s
s
dbl
X
add
X1
mark
X2
add
X1
X2
mark
terms
X
active
terms
mark
X
first
X1
mark
X2
first
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
terms
mark
X
terms
X
cons
X1
active
X2
cons
X1
X2
s
mark
X
s
X
mark
s
X
active
s
mark
X
s
active
X
s
X
mark
recip
X
active
recip
mark
X
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
mark
sqr
X
active
sqr
mark
X
first
active
X1
X2
first
X1
X2
active
add
0
X
mark
X
first
mark
X1
X2
first
X1
X2
dbl
active
X
dbl
X
first
X1
active
X2
first
X1
X2
add
X1
active
X2
add
X1
X2
sqr
active
X
sqr
X
active
sqr
0
mark
0
mark
first
X1
X2
active
first
mark
X1
mark
X2
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
add
X1
X2
mark
X1
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
dbl
X
active
dbl
mark
X
active
dbl
s
X
mark
s
s
dbl
X
mark
terms
X
active
terms
mark
X
active
add
s
X
Y
mark
s
add
X
Y
mark
s
X
mark
X
mark
sqr
X
active
sqr
mark
X
true
cons
2
0
s
1
1
recip
1
1
recip
1
0
dbl
1
23506
dbl
1
0
terms
1
0
sqr
1
0
mark
1
23506
0
0
1
s
1
0
first
2
0
nil
0
1
mark
1
1
first
2
1
active
1
2
cons
2
1
active
1
1
0
add
2
0
add
2
23506
sqr
1
23506
terms
1
4187
mark
sqr
X
active
sqr
mark
X
mark
s
X
mark
X
active
add
s
X
Y
mark
s
add
X
Y
active
dbl
s
X
mark
s
s
dbl
X
mark
dbl
X
active
dbl
mark
X
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
add
X1
X2
mark
X1
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
terms
active
X
terms
X
dbl
mark
X
dbl
X
recip
mark
X
recip
X
add
mark
X1
X2
add
X1
X2
recip
active
X
recip
X
add
active
X1
X2
add
X1
X2
cons
mark
X1
X2
cons
X1
X2
sqr
mark
X
sqr
X
add
X1
mark
X2
add
X1
X2
first
X1
mark
X2
first
X1
X2
terms
mark
X
terms
X
cons
X1
active
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
first
active
X1
X2
first
X1
X2
first
mark
X1
X2
first
X1
X2
dbl
active
X
dbl
X
first
X1
active
X2
first
X1
X2
add
X1
active
X2
add
X1
X2
sqr
active
X
sqr
X
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
add
X1
X2
mark
X1
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
dbl
X
active
dbl
mark
X
active
dbl
s
X
mark
s
s
dbl
X
active
add
s
X
Y
mark
s
add
X
Y
mark
s
X
mark
X
mark
sqr
X
active
sqr
mark
X
true
recip
1
1
sqr
1
1
s
1
1
mark
1
1
active
1
1
cons
2
2
cons
2
0
1
2
s
1
0
1
recip
1
0
dbl
1
2
1
dbl
1
0
terms
1
0
mark
1
0
1
0
0
2
first
2
0
1
2
nil
0
1
first
2
0
1
2
active
1
0
1
add
2
0
2
1
add
2
1
2
1
sqr
1
2
1
terms
1
0
cons
2
1
0
2
0
0
s
1
1
0
recip
1
0
dbl
1
1
0
dbl
1
0
terms
1
0
mark
1
1
0
0
0
0
first
2
1
0
2
0
0
nil
0
0
first
2
1
0
2
0
0
active
1
1
0
add
2
1
0
2
0
0
add
2
1
0
2
0
0
sqr
1
1
0
terms
1
0
mark
sqr
X
active
sqr
mark
X
mark
dbl
X
active
dbl
mark
X
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
first
X1
X2
active
first
mark
X1
mark
X2
active
dbl
0
mark
0
mark
0
active
0
active
first
0
X
mark
nil
active
terms
N
mark
cons
recip
sqr
N
terms
s
N
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
add
X1
X2
active
add
mark
X1
mark
X2
terms
active
X
terms
X
dbl
mark
X
dbl
X
recip
mark
X
recip
X
mark
nil
active
nil
add
mark
X1
X2
add
X1
X2
mark
dbl
X
active
dbl
mark
X
recip
active
X
recip
X
add
active
X1
X2
add
X1
X2
cons
mark
X1
X2
cons
X1
X2
sqr
mark
X
sqr
X
active
dbl
s
X
mark
s
s
dbl
X
add
X1
mark
X2
add
X1
X2
mark
terms
X
active
terms
mark
X
first
X1
mark
X2
first
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
terms
mark
X
terms
X
cons
X1
active
X2
cons
X1
X2
s
mark
X
s
X
mark
s
X
active
s
mark
X
s
active
X
s
X
mark
recip
X
active
recip
mark
X
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
mark
sqr
X
active
sqr
mark
X
first
active
X1
X2
first
X1
X2
active
add
0
X
mark
X
first
mark
X1
X2
first
X1
X2
dbl
active
X
dbl
X
first
X1
active
X2
first
X1
X2
add
X1
active
X2
add
X1
X2
sqr
active
X
sqr
X
active
sqr
0
mark
0
mark
add
X1
X2
active
add
mark
X1
mark
X2
false
mark
dbl
X
active
dbl
mark
X
false
mark
sqr
X
active
sqr
mark
X
false
mark
sqr
X
sqr
mark
X
false
active
sqr
0
mark
0
false
mark
cons
X1
X2
cons
mark
X1
X2
false
mark
recip
X
recip
mark
X
false
mark
s
X
s
mark
X
false
active
first
s
X
cons
Y
Z
cons
Y
first
X
Z
false
active
first
s
X
cons
Y
Z
first
X
Z
false
mark
terms
X
terms
mark
X
false
active
add
s
X
Y
s
add
X
Y
false
active
add
s
X
Y
add
X
Y
false
mark
dbl
X
dbl
mark
X
false
active
dbl
s
X
s
s
dbl
X
false
active
dbl
s
X
s
dbl
X
false
active
dbl
s
X
dbl
X
false
mark
add
X1
X2
add
mark
X1
mark
X2
false
active
sqr
s
X
s
add
sqr
X
dbl
X
false
active
sqr
s
X
add
sqr
X
dbl
X
false
add
mark
X1
X2
add
X1
X2
add
X1
active
X2
add
X1
X2
add
active
X1
X2
add
X1
X2
add
X1
mark
X2
add
X1
X2
true
cons
2
0
s
1
1
recip
1
25967
recip
1
0
dbl
1
1
1
dbl
1
0
terms
1
0
sqr
1
0
mark
1
0
0
0
1
s
1
0
first
2
0
nil
0
0
mark
1
1
46596
first
2
1
2
46593
active
1
1
1
cons
2
40940
active
1
0
add
2
1
0
add
2
1
2
32582
sqr
1
0
terms
1
1
0
add
X1
mark
X2
add
X1
X2
add
X1
active
X2
add
X1
X2
add
X1
mark
X2
add
X1
X2
add
X1
active
X2
add
X1
X2
true
cons
2
0
s
1
1
recip
1
32885
recip
1
0
dbl
1
12703
dbl
1
0
terms
1
0
sqr
1
0
mark
1
0
0
0
1
s
1
0
first
2
0
nil
0
0
mark
1
1
14025
first
2
1
2
14022
active
1
1
1
cons
2
31870
active
1
0
add
2
2
0
add
2
1
2
242
sqr
1
0
terms
1
1
0
active
sqr
s
X
sqr
X
false
active
sqr
s
X
dbl
X
false
dbl
mark
X
dbl
X
dbl
active
X
dbl
X
true
cons
2
0
s
1
1
recip
1
17943
recip
1
0
dbl
1
1
dbl
1
1
0
terms
1
0
sqr
1
0
mark
1
0
0
0
1
s
1
0
first
2
0
nil
0
0
mark
1
1
4
first
2
1
2
1
active
1
1
1
cons
2
1
active
1
0
add
2
0
add
2
1
2
1
sqr
1
0
terms
1
1
0
mark
first
X1
X2
first
mark
X1
mark
X2
false
first
X1
active
X2
first
X1
X2
first
active
X1
X2
first
X1
X2
first
mark
X1
X2
first
X1
X2
first
X1
mark
X2
first
X1
X2
true
cons
2
0
s
1
1
recip
1
51071
recip
1
0
dbl
1
1
dbl
1
0
terms
1
0
sqr
1
0
mark
1
0
0
0
1
s
1
0
first
2
1
2
0
nil
0
0
mark
1
1
4
first
2
1
2
1
active
1
1
1
cons
2
13363
active
1
0
add
2
0
add
2
1
2
1
sqr
1
0
terms
1
1
0
active
terms
N
cons
recip
sqr
N
terms
s
N
false
cons
active
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
cons
2
1
2
0
s
1
1
recip
1
6437
recip
1
0
dbl
1
2
dbl
1
0
terms
1
0
sqr
1
0
mark
1
0
0
0
1
s
1
0
first
2
0
nil
0
0
mark
1
1
4
first
2
1
2
1
active
1
1
1
cons
2
1
active
1
0
add
2
0
add
2
1
2
1
sqr
1
0
terms
1
1
0
active
terms
N
recip
sqr
N
false
recip
active
X
recip
X
recip
mark
X
recip
X
true
cons
2
0
s
1
1
recip
1
30215
recip
1
1
0
dbl
1
2
dbl
1
0
terms
1
0
sqr
1
0
mark
1
0
0
0
1
s
1
0
first
2
0
nil
0
0
mark
1
1
4
first
2
1
2
1
active
1
1
1
cons
2
40758
active
1
0
add
2
0
add
2
1
2
1
sqr
1
0
terms
1
1
0
active
terms
N
sqr
N
false
sqr
mark
X
sqr
X
sqr
active
X
sqr
X
true
cons
2
0
s
1
1
recip
1
26953
recip
1
0
dbl
1
3
dbl
1
0
terms
1
0
sqr
1
1
0
mark
1
0
0
0
1
s
1
0
first
2
0
nil
0
0
mark
1
1
4
first
2
1
2
1
active
1
1
1
cons
2
26211
active
1
0
add
2
0
add
2
1
2
1
sqr
1
0
terms
1
1
0
active
terms
N
terms
s
N
false
terms
active
X
terms
X
terms
mark
X
terms
X
true
cons
2
0
s
1
1
recip
1
28776
recip
1
0
dbl
1
1
dbl
1
0
terms
1
1
0
sqr
1
0
mark
1
0
0
0
1
s
1
0
first
2
0
nil
0
0
mark
1
1
4
first
2
1
2
1
active
1
1
1
cons
2
1
active
1
0
add
2
0
add
2
1
2
1
sqr
1
0
terms
1
1
0
active
terms
N
s
N
false
s
active
X
s
X
s
mark
X
s
X
true
cons
2
0
s
1
1
recip
1
50219
recip
1
0
dbl
1
1
dbl
1
0
terms
1
0
sqr
1
0
mark
1
0
0
0
1
s
1
1
0
first
2
0
nil
0
0
mark
1
1
4
first
2
1
2
1
active
1
1
1
cons
2
19198
active
1
0
add
2
0
add
2
1
2
1
sqr
1
0
terms
1
1
0
active
first
0
X
mark
nil
false
mark
nil
active
nil
false
active
dbl
0
mark
0
false
mark
0
active
0
false
NaTT
certifiable-1.6