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
active
half
0
mark
0
active
half
s
0
mark
0
active
half
s
s
X
mark
s
half
X
active
half
dbl
X
mark
X
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
mark
half
X
active
half
mark
X
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
half
mark
X
half
X
half
active
X
half
X
2.2
first
mark
X1
X2
first
X1
X2
mark
s
X
mark
X
active
dbl
s
X
mark
s
s
dbl
X
mark
terms
X
terms
mark
X
mark
add
X1
X2
mark
X1
active
dbl
0
mark
0
mark
recip
X
recip
mark
X
active
dbl
s
X
dbl
X
sqr
mark
X
sqr
X
active
half
0
mark
0
active
add
s
X
Y
mark
s
add
X
Y
active
terms
N
mark
cons
recip
sqr
N
terms
s
N
first
X1
mark
X2
first
X1
X2
sqr
active
X
sqr
X
active
sqr
s
X
sqr
X
cons
X1
mark
X2
cons
X1
X2
active
terms
N
recip
sqr
N
active
terms
N
cons
recip
sqr
N
terms
s
N
recip
active
X
recip
X
s
active
X
s
X
active
add
s
X
Y
s
add
X
Y
dbl
active
X
dbl
X
mark
0
active
0
mark
sqr
X
active
sqr
mark
X
mark
recip
X
mark
X
add
active
X1
X2
add
X1
X2
mark
first
X1
X2
mark
X1
add
X1
active
X2
add
X1
X2
half
mark
X
half
X
add
X1
mark
X2
add
X1
X2
mark
sqr
X
mark
X
active
terms
N
sqr
N
active
half
s
s
X
mark
s
half
X
active
sqr
s
X
add
sqr
X
dbl
X
first
active
X1
X2
first
X1
X2
mark
cons
X1
X2
cons
mark
X1
X2
active
terms
N
s
N
active
dbl
s
X
s
dbl
X
active
sqr
s
X
s
add
sqr
X
dbl
X
active
add
0
X
mark
X
cons
X1
active
X2
cons
X1
X2
active
first
0
X
mark
nil
mark
sqr
X
sqr
mark
X
mark
cons
X1
X2
mark
X1
active
half
dbl
X
mark
X
mark
dbl
X
active
dbl
mark
X
mark
terms
X
mark
X
mark
first
X1
X2
mark
X2
mark
first
X1
X2
active
first
mark
X1
mark
X2
active
half
s
s
X
s
half
X
mark
half
X
half
mark
X
dbl
mark
X
dbl
X
active
add
s
X
Y
add
X
Y
half
active
X
half
X
mark
dbl
X
mark
X
mark
add
X1
X2
active
add
mark
X1
mark
X2
active
sqr
s
X
dbl
X
first
X1
active
X2
first
X1
X2
active
dbl
s
X
s
s
dbl
X
mark
recip
X
active
recip
mark
X
mark
terms
X
active
terms
mark
X
mark
nil
active
nil
mark
add
X1
X2
add
mark
X1
mark
X2
mark
s
X
active
s
mark
X
recip
mark
X
recip
X
terms
active
X
terms
X
active
first
s
X
cons
Y
Z
first
X
Z
terms
mark
X
terms
X
mark
half
X
active
half
mark
X
mark
dbl
X
dbl
mark
X
active
half
s
s
X
half
X
mark
s
X
s
mark
X
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
add
X1
X2
mark
X2
mark
half
X
mark
X
active
first
s
X
cons
Y
Z
cons
Y
first
X
Z
cons
active
X1
X2
cons
X1
X2
active
terms
N
terms
s
N
active
sqr
0
mark
0
cons
mark
X1
X2
cons
X1
X2
add
mark
X1
X2
add
X1
X2
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
s
mark
X
s
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
first
X1
X2
first
mark
X1
mark
X2
active
half
s
0
mark
0
true
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
first
X1
X2
mark
X2
mark
first
X1
X2
active
first
mark
X1
mark
X2
mark
dbl
X
active
dbl
mark
X
mark
terms
X
mark
X
active
half
dbl
X
mark
X
mark
cons
X1
X2
mark
X1
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
add
0
X
mark
X
active
half
s
s
X
mark
s
half
X
mark
half
X
mark
X
mark
add
X1
X2
mark
X2
mark
sqr
X
mark
X
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
first
X1
X2
mark
X1
mark
half
X
active
half
mark
X
mark
recip
X
mark
X
mark
sqr
X
active
sqr
mark
X
mark
s
X
active
s
mark
X
mark
terms
X
active
terms
mark
X
mark
recip
X
active
recip
mark
X
active
terms
N
mark
cons
recip
sqr
N
terms
s
N
active
add
s
X
Y
mark
s
add
X
Y
mark
dbl
X
mark
X
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
add
X1
X2
mark
X1
mark
s
X
mark
X
active
dbl
s
X
mark
s
s
dbl
X
true
cons
2
0
s
1
1
recip
1
9711
recip
1
0
dbl
1
10452
dbl
1
0
terms
1
0
half
1
0
half
1
10452
sqr
1
0
mark
1
10452
0
0
1
s
1
0
first
2
0
nil
0
1
mark
1
1
first
2
10452
active
1
1
cons
2
10451
active
1
1
0
add
2
0
add
2
10452
sqr
1
10452
terms
1
10452
active
dbl
s
X
mark
s
s
dbl
X
mark
s
X
mark
X
mark
add
X1
X2
mark
X1
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
dbl
X
mark
X
active
add
s
X
Y
mark
s
add
X
Y
active
terms
N
mark
cons
recip
sqr
N
terms
s
N
mark
terms
X
active
terms
mark
X
mark
sqr
X
active
sqr
mark
X
mark
recip
X
mark
X
mark
half
X
active
half
mark
X
mark
first
X1
X2
mark
X1
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
sqr
X
mark
X
mark
add
X1
X2
mark
X2
mark
half
X
mark
X
active
half
s
s
X
mark
s
half
X
active
add
0
X
mark
X
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
mark
cons
X1
X2
mark
X1
active
half
dbl
X
mark
X
mark
terms
X
mark
X
mark
dbl
X
active
dbl
mark
X
mark
first
X1
X2
active
first
mark
X1
mark
X2
mark
first
X1
X2
mark
X2
mark
s
X
active
s
mark
X
active
dbl
0
mark
0
mark
cons
X1
X2
active
cons
mark
X1
X2
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
recip
X
active
recip
mark
X
mark
dbl
X
active
dbl
mark
X
s
active
X
s
X
terms
active
X
terms
X
mark
0
active
0
recip
active
X
recip
X
mark
sqr
X
active
sqr
mark
X
cons
mark
X1
X2
cons
X1
X2
sqr
active
X
sqr
X
mark
first
X1
X2
active
first
mark
X1
mark
X2
cons
X1
mark
X2
cons
X1
X2
first
X1
mark
X2
first
X1
X2
active
dbl
s
X
mark
s
s
dbl
X
sqr
mark
X
sqr
X
active
half
0
mark
0
add
active
X1
X2
add
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
mark
add
X1
X2
active
add
mark
X1
mark
X2
terms
mark
X
terms
X
cons
X1
active
X2
cons
X1
X2
mark
terms
X
active
terms
mark
X
recip
mark
X
recip
X
active
half
s
s
X
mark
s
half
X
first
active
X1
X2
first
X1
X2
mark
nil
active
nil
mark
half
X
active
half
mark
X
active
half
s
0
mark
0
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
half
dbl
X
mark
X
add
X1
active
X2
add
X1
X2
active
add
0
X
mark
X
add
X1
mark
X2
add
X1
X2
half
active
X
half
X
half
mark
X
half
X
add
mark
X1
X2
add
X1
X2
dbl
mark
X
dbl
X
dbl
active
X
dbl
X
first
X1
active
X2
first
X1
X2
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
first
mark
X1
X2
first
X1
X2
active
sqr
0
mark
0
mark
s
X
mark
X
mark
cons
X1
X2
mark
X1
active
terms
N
mark
cons
recip
sqr
N
terms
s
N
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
recip
X
mark
X
mark
dbl
X
mark
X
mark
dbl
X
active
dbl
mark
X
mark
sqr
X
mark
X
mark
sqr
X
active
sqr
mark
X
mark
first
X1
X2
mark
X2
mark
first
X1
X2
mark
X1
mark
first
X1
X2
active
first
mark
X1
mark
X2
active
dbl
s
X
mark
s
s
dbl
X
active
add
s
X
Y
mark
s
add
X
Y
mark
add
X1
X2
mark
X2
mark
add
X1
X2
mark
X1
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
terms
X
mark
X
mark
terms
X
active
terms
mark
X
active
half
s
s
X
mark
s
half
X
mark
half
X
mark
X
mark
half
X
active
half
mark
X
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
half
dbl
X
mark
X
active
add
0
X
mark
X
true
cons
2
0
s
1
1
0
recip
1
1
28101
recip
1
0
dbl
1
1
11798
dbl
1
0
terms
1
0
half
1
0
half
1
1
8366
sqr
1
0
mark
1
1
0
0
0
33428
s
1
0
first
2
0
nil
0
30614
mark
1
1
0
first
2
1
41064
2
30613
0
active
1
1
0
cons
2
1
41065
0
active
1
1
0
add
2
0
add
2
1
0
2
5854
0
sqr
1
1
17653
terms
1
1
86820
mark
half
X
active
half
mark
X
active
half
s
s
X
mark
s
half
X
mark
terms
X
active
terms
mark
X
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
add
X1
X2
mark
X1
active
add
s
X
Y
mark
s
add
X
Y
active
dbl
s
X
mark
s
s
dbl
X
mark
first
X1
X2
active
first
mark
X1
mark
X2
mark
sqr
X
active
sqr
mark
X
mark
dbl
X
active
dbl
mark
X
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
s
X
mark
X
mark
s
X
active
s
mark
X
active
dbl
0
mark
0
mark
cons
X1
X2
active
cons
mark
X1
X2
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
recip
X
active
recip
mark
X
mark
dbl
X
active
dbl
mark
X
s
active
X
s
X
terms
active
X
terms
X
mark
0
active
0
recip
active
X
recip
X
mark
sqr
X
active
sqr
mark
X
cons
mark
X1
X2
cons
X1
X2
sqr
active
X
sqr
X
mark
first
X1
X2
active
first
mark
X1
mark
X2
cons
X1
mark
X2
cons
X1
X2
first
X1
mark
X2
first
X1
X2
active
dbl
s
X
mark
s
s
dbl
X
sqr
mark
X
sqr
X
active
half
0
mark
0
add
active
X1
X2
add
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
mark
add
X1
X2
active
add
mark
X1
mark
X2
terms
mark
X
terms
X
cons
X1
active
X2
cons
X1
X2
mark
terms
X
active
terms
mark
X
recip
mark
X
recip
X
active
half
s
s
X
mark
s
half
X
first
active
X1
X2
first
X1
X2
mark
nil
active
nil
mark
half
X
active
half
mark
X
active
half
s
0
mark
0
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
half
dbl
X
mark
X
add
X1
active
X2
add
X1
X2
active
add
0
X
mark
X
add
X1
mark
X2
add
X1
X2
half
active
X
half
X
half
mark
X
half
X
add
mark
X1
X2
add
X1
X2
dbl
mark
X
dbl
X
dbl
active
X
dbl
X
first
X1
active
X2
first
X1
X2
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
first
mark
X1
X2
first
X1
X2
active
sqr
0
mark
0
mark
s
X
mark
X
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
dbl
X
active
dbl
mark
X
mark
sqr
X
active
sqr
mark
X
mark
first
X1
X2
active
first
mark
X1
mark
X2
active
dbl
s
X
mark
s
s
dbl
X
active
add
s
X
Y
mark
s
add
X
Y
mark
add
X1
X2
mark
X1
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
terms
X
active
terms
mark
X
active
half
s
s
X
mark
s
half
X
mark
half
X
active
half
mark
X
true
cons
2
0
s
1
1
recip
1
9711
recip
1
0
dbl
1
31599
dbl
1
0
terms
1
0
half
1
0
half
1
31599
sqr
1
0
mark
1
31599
0
0
1
s
1
0
first
2
0
nil
0
1
mark
1
1
first
2
31598
active
1
0
cons
2
10451
active
1
1
0
add
2
0
add
2
31599
sqr
1
31599
terms
1
20585
mark
half
X
active
half
mark
X
active
half
s
s
X
mark
s
half
X
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
add
X1
X2
mark
X1
active
add
s
X
Y
mark
s
add
X
Y
active
dbl
s
X
mark
s
s
dbl
X
mark
sqr
X
active
sqr
mark
X
mark
dbl
X
active
dbl
mark
X
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
s
X
mark
X
s
active
X
s
X
terms
active
X
terms
X
recip
active
X
recip
X
cons
mark
X1
X2
cons
X1
X2
sqr
active
X
sqr
X
cons
X1
mark
X2
cons
X1
X2
first
X1
mark
X2
first
X1
X2
sqr
mark
X
sqr
X
add
active
X1
X2
add
X1
X2
terms
mark
X
terms
X
cons
X1
active
X2
cons
X1
X2
recip
mark
X
recip
X
first
active
X1
X2
first
X1
X2
add
X1
active
X2
add
X1
X2
add
X1
mark
X2
add
X1
X2
half
active
X
half
X
half
mark
X
half
X
add
mark
X1
X2
add
X1
X2
dbl
mark
X
dbl
X
dbl
active
X
dbl
X
first
X1
active
X2
first
X1
X2
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
first
mark
X1
X2
first
X1
X2
mark
s
X
mark
X
active
sqr
s
X
mark
s
add
sqr
X
dbl
X
mark
dbl
X
active
dbl
mark
X
mark
sqr
X
active
sqr
mark
X
active
dbl
s
X
mark
s
s
dbl
X
active
add
s
X
Y
mark
s
add
X
Y
mark
add
X1
X2
mark
X1
mark
add
X1
X2
active
add
mark
X1
mark
X2
active
half
s
s
X
mark
s
half
X
mark
half
X
active
half
mark
X
true
cons
2
1
recip
1
1
half
1
1
mark
1
1
mark
1
1
active
1
1
active
1
1
s
1
0
1
recip
1
0
dbl
1
1
1
dbl
1
0
terms
1
0
half
1
0
sqr
1
0
0
0
0
s
1
0
first
2
0
1
2
nil
0
3
first
2
3
2
1
cons
2
3
add
2
0
add
2
3
1
2
sqr
1
4
1
terms
1
5
1
s
1
1
0
recip
1
0
dbl
1
1
0
dbl
1
0
terms
1
0
half
1
0
sqr
1
0
0
0
0
s
1
0
first
2
1
0
2
0
0
nil
0
0
first
2
1
0
2
0
0
cons
2
0
add
2
0
add
2
1
0
2
0
0
sqr
1
1
0
terms
1
1
0
mark
half
X
active
half
mark
X
mark
add
X1
X2
active
add
mark
X1
mark
X2
mark
sqr
X
active
sqr
mark
X
mark
dbl
X
active
dbl
mark
X
mark
s
X
active
s
mark
X
active
dbl
0
mark
0
mark
cons
X1
X2
active
cons
mark
X1
X2
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
recip
X
active
recip
mark
X
mark
dbl
X
active
dbl
mark
X
s
active
X
s
X
terms
active
X
terms
X
mark
0
active
0
recip
active
X
recip
X
mark
sqr
X
active
sqr
mark
X
cons
mark
X1
X2
cons
X1
X2
sqr
active
X
sqr
X
mark
first
X1
X2
active
first
mark
X1
mark
X2
cons
X1
mark
X2
cons
X1
X2
first
X1
mark
X2
first
X1
X2
active
dbl
s
X
mark
s
s
dbl
X
sqr
mark
X
sqr
X
active
half
0
mark
0
add
active
X1
X2
add
X1
X2
active
add
s
X
Y
mark
s
add
X
Y
mark
add
X1
X2
active
add
mark
X1
mark
X2
terms
mark
X
terms
X
cons
X1
active
X2
cons
X1
X2
mark
terms
X
active
terms
mark
X
recip
mark
X
recip
X
active
half
s
s
X
mark
s
half
X
first
active
X1
X2
first
X1
X2
mark
nil
active
nil
mark
half
X
active
half
mark
X
active
half
s
0
mark
0
active
first
s
X
cons
Y
Z
mark
cons
Y
first
X
Z
active
half
dbl
X
mark
X
add
X1
active
X2
add
X1
X2
active
add
0
X
mark
X
add
X1
mark
X2
add
X1
X2
half
active
X
half
X
half
mark
X
half
X
add
mark
X1
X2
add
X1
X2
dbl
mark
X
dbl
X
dbl
active
X
dbl
X
first
X1
active
X2
first
X1
X2
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
first
mark
X1
X2
first
X1
X2
active
sqr
0
mark
0
mark
dbl
X
active
dbl
mark
X
false
mark
sqr
X
active
sqr
mark
X
false
mark
add
X1
X2
active
add
mark
X1
mark
X2
false
mark
half
X
active
half
mark
X
false
active
sqr
0
mark
0
false
mark
terms
X
terms
mark
X
false
mark
add
X1
X2
add
mark
X1
mark
X2
false
mark
first
X1
X2
first
mark
X1
mark
X2
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
active
half
s
0
mark
0
false
mark
sqr
X
sqr
mark
X
false
active
half
s
s
X
s
half
X
false
active
half
s
s
X
half
X
false
mark
dbl
X
dbl
mark
X
false
active
add
s
X
Y
s
add
X
Y
false
active
add
s
X
Y
add
X
Y
false
active
half
0
mark
0
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
recip
X
recip
mark
X
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
mark
X2
add
X1
X2
add
X1
active
X2
add
X1
X2
add
active
X1
X2
add
X1
X2
true
cons
2
0
s
1
1
recip
1
1
7210
recip
1
0
dbl
1
1
1
dbl
1
0
terms
1
0
half
1
0
half
1
1
1
sqr
1
0
mark
1
0
0
0
0
s
1
0
first
2
0
nil
0
1
mark
1
1
4
first
2
1
1
active
1
1
1
cons
2
28938
active
1
0
add
2
2
0
add
2
0
sqr
1
1
terms
1
1
0
add
active
X1
X2
add
X1
X2
add
mark
X1
X2
add
X1
X2
s
active
X
s
X
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
add
active
X1
X2
add
X1
X2
add
mark
X1
X2
add
X1
X2
true
cons
2
0
s
1
1
recip
1
1
43950
recip
1
0
dbl
1
1
1
dbl
1
0
terms
1
0
half
1
0
half
1
1
1
sqr
1
0
mark
1
0
0
0
0
s
1
0
first
2
0
nil
0
49364
mark
1
1
4
first
2
1
24324
active
1
1
1
cons
2
2
28938
active
1
0
add
2
1
0
add
2
0
sqr
1
1
terms
1
1
0
s
active
X
s
X
s
mark
X
s
X
active
sqr
s
X
sqr
X
false
active
sqr
s
X
dbl
X
false
dbl
active
X
dbl
X
dbl
mark
X
dbl
X
true
cons
2
0
s
1
1
recip
1
1
43950
recip
1
0
dbl
1
1
1
dbl
1
1
0
terms
1
0
half
1
0
half
1
1
1
sqr
1
0
mark
1
0
0
0
0
s
1
0
first
2
0
nil
0
46797
mark
1
1
4
first
2
1
14459
active
1
1
1
cons
2
2
40578
active
1
0
add
2
0
add
2
0
sqr
1
1
terms
1
1
0
s
active
X
s
X
s
mark
X
s
X
mark
cons
X1
X2
cons
mark
X1
X2
false
active
terms
N
cons
recip
sqr
N
terms
s
N
false
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
true
cons
2
1
2
0
s
1
1
recip
1
1
32576
recip
1
0
dbl
1
1
1
dbl
1
0
terms
1
0
half
1
0
half
1
1
38541
sqr
1
0
mark
1
0
0
0
0
s
1
0
first
2
0
nil
0
14457
mark
1
1
38544
first
2
1
1
active
1
1
1
cons
2
2
27846
active
1
0
add
2
0
add
2
0
sqr
1
1
terms
1
1
0
s
active
X
s
X
s
mark
X
s
X
active
terms
N
recip
sqr
N
false
recip
mark
X
recip
X
recip
active
X
recip
X
true
cons
2
0
s
1
1
recip
1
1
20067
recip
1
1
0
dbl
1
1
1
dbl
1
0
terms
1
0
half
1
0
half
1
1
1
sqr
1
0
mark
1
0
0
0
0
s
1
0
first
2
0
nil
0
36495
mark
1
1
4
first
2
1
1
active
1
1
1
cons
2
2
1
active
1
0
add
2
0
add
2
0
sqr
1
1
terms
1
1
0
s
active
X
s
X
s
mark
X
s
X
active
terms
N
sqr
N
false
sqr
active
X
sqr
X
sqr
mark
X
sqr
X
true
cons
2
0
s
1
1
recip
1
1
9884
recip
1
0
dbl
1
1
1
dbl
1
0
terms
1
0
half
1
0
half
1
1
19560
sqr
1
1
0
mark
1
0
0
0
0
s
1
0
first
2
0
nil
0
36495
mark
1
1
19563
first
2
1
1
active
1
1
1
cons
2
2
27644
active
1
0
add
2
0
add
2
0
sqr
1
1
terms
1
1
0
s
active
X
s
X
s
mark
X
s
X
active
terms
N
terms
s
N
false
terms
mark
X
terms
X
terms
active
X
terms
X
true
cons
2
0
s
1
1
recip
1
1
31413
recip
1
0
dbl
1
1
1
dbl
1
0
terms
1
1
0
half
1
0
half
1
1
32647
sqr
1
0
mark
1
0
0
0
0
s
1
0
first
2
0
nil
0
47313
mark
1
1
32650
first
2
1
1
active
1
1
1
cons
2
2
27644
active
1
0
add
2
0
add
2
0
sqr
1
1
terms
1
1
0
s
active
X
s
X
s
mark
X
s
X
active
terms
N
s
N
false
active
first
0
X
mark
nil
false
mark
nil
active
nil
false
active
dbl
0
mark
0
false
mark
0
active
0
false
mark
s
X
s
mark
X
false
s
mark
X
s
X
s
active
X
s
X
true
cons
2
0
s
1
1
recip
1
1
28038
recip
1
0
dbl
1
1
1
dbl
1
0
terms
1
0
half
1
0
half
1
1
1
sqr
1
0
mark
1
0
0
0
0
s
1
1
0
first
2
0
nil
0
50917
mark
1
1
4
first
2
1
1
active
1
1
1
cons
2
2
1
active
1
0
add
2
0
add
2
0
sqr
1
1
terms
1
1
0
s
active
X
s
X
s
mark
X
s
X
first
active
X1
X2
first
X1
X2
first
X1
mark
X2
first
X1
X2
first
X1
active
X2
first
X1
X2
first
mark
X1
X2
first
X1
X2
true
cons
2
0
s
1
1
recip
1
1
21270
recip
1
0
dbl
1
1
1
dbl
1
0
terms
1
0
half
1
0
half
1
1
1
sqr
1
0
mark
1
0
0
0
0
s
1
0
first
2
1
2
0
nil
0
50917
mark
1
1
4
first
2
1
1
active
1
1
1
cons
2
2
1
active
1
0
add
2
0
add
2
0
sqr
1
1
terms
1
1
0
s
active
X
s
X
s
mark
X
s
X
mark
half
X
half
mark
X
false
half
mark
X
half
X
half
active
X
half
X
true
cons
2
0
s
1
1
recip
1
1
19510
recip
1
0
dbl
1
1
1
dbl
1
0
terms
1
0
half
1
1
0
half
1
1
1
sqr
1
0
mark
1
0
0
0
0
s
1
0
first
2
0
nil
0
45181
mark
1
1
4
first
2
1
1
active
1
1
1
cons
2
2
24054
active
1
0
add
2
0
add
2
0
sqr
1
1
terms
1
1
0
s
active
X
s
X
s
mark
X
s
X
NaTT
certifiable-1.6