app
app
plus
0
y
y
app
app
plus
app
s
x
y
app
s
app
app
plus
x
y
app
app
sumwith
f
nil
nil
app
app
sumwith
f
app
app
cons
x
xs
app
app
plus
app
f
x
app
app
sumwith
f
xs
2.2
app
app
plus
app
s
x
y
app
app
plus
x
y
app
app
sumwith
f
app
app
cons
x
xs
app
f
x
app
app
sumwith
f
app
app
cons
x
xs
app
app
sumwith
f
xs
app
app
sumwith
f
app
app
cons
x
xs
app
plus
app
f
x
app
app
plus
app
s
x
y
app
plus
x
app
app
plus
app
s
x
y
app
s
app
app
plus
x
y
app
app
sumwith
f
app
app
cons
x
xs
app
app
plus
app
f
x
app
app
sumwith
f
xs
true
app
app
sumwith
f
app
app
cons
x
xs
app
f
x
app
app
sumwith
f
app
app
cons
x
xs
app
app
sumwith
f
xs
true
s
0
1
0
0
8647
sumwith
0
38139
nil
0
30988
app
2
2
0
plus
0
1143
cons
0
58713
app
2
1
2
57571
app
app
sumwith
f
app
app
cons
x
xs
app
app
plus
app
f
x
app
app
sumwith
f
xs
false
app
app
sumwith
f
app
app
cons
x
xs
app
plus
app
f
x
false
app
app
plus
app
s
x
y
app
app
plus
x
y
true
Failed!
NaTT
certifiable-1.6