sum
cons
s
n
x
cons
m
y
sum
cons
n
x
cons
s
m
y
sum
cons
0
x
y
sum
x
y
sum
nil
y
y
weight
cons
n
cons
m
x
weight
sum
cons
n
cons
m
x
cons
0
x
weight
cons
n
nil
n
2.2
sum
cons
s
n
x
cons
m
y
sum
cons
n
x
cons
s
m
y
weight
cons
n
cons
m
x
weight
sum
cons
n
cons
m
x
cons
0
x
sum
cons
0
x
y
sum
x
y
weight
cons
n
cons
m
x
sum
cons
n
cons
m
x
cons
0
x
true
weight
cons
n
cons
m
x
weight
sum
cons
n
cons
m
x
cons
0
x
true
s
1
1
weight
1
1
0
sum
2
2
0
0
0
1
nil
0
1
weight
1
0
cons
2
2
1
sum
2
0
sum
cons
s
n
x
cons
m
y
sum
cons
n
x
cons
s
m
y
sum
nil
y
y
sum
cons
0
x
y
sum
x
y
weight
cons
n
cons
m
x
sum
cons
n
cons
m
x
cons
0
x
false
sum
cons
0
x
y
sum
x
y
sum
cons
s
n
x
cons
m
y
sum
cons
n
x
cons
s
m
y
true
s
1
1
weight
1
1
0
sum
2
2
0
0
0
1
nil
0
1
weight
1
0
cons
2
2
1
sum
2
1
0
sum
cons
s
n
x
cons
m
y
sum
cons
n
x
cons
s
m
y
sum
cons
s
n
x
cons
m
y
sum
cons
n
x
cons
s
m
y
sum
nil
y
y
sum
cons
0
x
y
sum
x
y
sum
cons
s
n
x
cons
m
y
sum
cons
n
x
cons
s
m
y
true
s
1
1
1
weight
1
1
0
sum
2
1
2
0
0
0
44022
nil
0
21680
weight
1
0
cons
2
1
2
282
sum
2
1
0
sum
cons
s
n
x
cons
m
y
sum
cons
n
x
cons
s
m
y
sum
nil
y
y
sum
cons
0
x
y
sum
x
y
NaTT
certifiable-1.6