a
h
h
h
x
s
x
a
l
x
s
y
h
a
l
x
y
s
h
a
l
x
s
y
s
z
a
l
x
y
a
l
x
s
y
z
a
l
s
x
h
z
a
l
x
z
z
a
s
l
h
h
z
a
l
z
h
z
+
x
h
x
+
h
x
x
+
s
x
s
y
s
s
+
x
y
+
+
x
y
z
+
x
+
y
z
s
h
1
app
nil
k
k
app
l
nil
l
app
cons
x
l
k
cons
x
app
l
k
sum
cons
x
nil
cons
x
nil
sum
cons
x
cons
y
l
sum
cons
a
x
y
h
h
l
2.2
a
l
x
s
y
h
s
h
a
s
l
h
h
z
a
l
z
h
z
sum
cons
x
cons
y
l
sum
cons
a
x
y
h
h
l
a
h
h
h
x
s
x
+
s
x
s
y
s
+
x
y
+
s
x
s
y
+
x
y
sum
cons
x
cons
y
l
a
x
y
h
h
a
l
x
s
y
s
z
a
l
x
y
a
l
x
s
y
z
+
s
x
s
y
s
s
+
x
y
+
+
x
y
z
+
y
z
app
cons
x
l
k
app
l
k
a
l
x
s
y
h
a
l
x
y
s
h
a
l
x
s
y
s
z
a
l
x
s
y
z
a
l
s
x
h
z
a
l
x
z
z
+
+
x
y
z
+
x
+
y
z
true
app
cons
x
l
k
app
l
k
true
a
4
0
h
0
0
1
0
0
s
1
0
sum
1
0
s
1
0
nil
0
0
app
2
1
0
cons
2
2
1
a
4
0
+
2
0
sum
1
0
+
2
0
app
2
0
sum
cons
x
cons
y
l
sum
cons
a
x
y
h
h
l
true
a
4
1
3
4
2
h
0
1
1
0
3
s
1
1
1
sum
1
0
s
1
0
nil
0
0
app
2
0
cons
2
2
1
a
4
0
+
2
0
sum
1
1
0
+
2
0
app
2
0
sum
cons
x
cons
y
l
a
x
y
h
h
false
+
+
x
y
z
+
x
+
y
z
+
s
x
s
y
+
x
y
+
+
x
y
z
+
y
z
true
a
4
1
3
4
2
h
0
1
1
0
2
s
1
1
1
sum
1
0
s
1
0
nil
0
0
app
2
0
cons
2
1
a
4
0
+
2
1
2
1
sum
1
1
0
+
2
1
2
0
app
2
0
+
+
x
y
z
+
x
+
y
z
+
s
x
s
y
s
s
+
x
y
s
h
1
+
h
x
x
+
+
x
y
z
+
x
+
y
z
+
x
h
x
+
+
x
y
z
+
x
+
y
z
true
a
4
1
3
4
33955
h
0
1
1
0
33955
s
1
1
33954
sum
1
0
s
1
0
nil
0
0
app
2
0
cons
2
1
a
4
0
+
2
1
2
1
sum
1
1
0
+
2
1
0
app
2
0
+
s
x
s
y
s
s
+
x
y
s
h
1
+
h
x
x
+
+
x
y
z
+
x
+
y
z
+
x
h
x
+
s
x
s
y
s
+
x
y
false
+
s
x
s
y
s
s
+
x
y
false
a
l
s
x
h
z
a
l
x
z
z
a
l
x
s
y
s
z
a
l
x
s
y
z
a
l
x
s
y
h
a
l
x
y
s
h
a
s
l
h
h
z
a
l
z
h
z
a
l
x
s
y
s
z
a
l
x
y
a
l
x
s
y
z
true
a
4
1
3
4
2
h
0
1
1
0
3
s
1
1
1
sum
1
0
s
1
0
nil
0
0
app
2
0
cons
2
1
a
4
1
0
+
2
1
2
1
sum
1
1
0
+
2
0
app
2
0
a
l
x
s
y
s
z
a
l
x
y
a
l
x
s
y
z
a
l
x
s
y
h
a
l
x
y
s
h
a
l
x
s
y
s
z
a
l
x
s
y
z
a
l
s
x
h
z
a
l
x
z
z
+
h
x
x
+
x
h
x
a
l
s
x
h
z
a
l
x
z
z
a
l
x
s
y
s
z
a
l
x
s
y
z
a
l
x
s
y
s
z
a
l
x
y
a
l
x
s
y
z
a
l
x
s
y
h
a
l
x
y
s
h
true
a
4
1
3
4
2
h
0
1
1
0
3
s
1
1
1
sum
1
0
s
1
0
nil
0
0
app
2
0
cons
2
1
a
4
2
0
+
2
1
2
1
sum
1
1
0
+
2
0
app
2
0
a
l
x
s
y
h
a
l
x
y
s
h
a
l
x
s
y
s
z
a
l
x
y
a
l
x
s
y
z
a
l
x
s
y
s
z
a
l
x
s
y
z
+
h
x
x
+
x
h
x
a
l
x
s
y
s
z
a
l
x
s
y
z
a
l
x
s
y
s
z
a
l
x
y
a
l
x
s
y
z
a
l
x
s
y
h
a
l
x
y
s
h
true
a
4
1
3
4
2
h
0
1
1
0
2
s
1
1
1
sum
1
0
s
1
0
nil
0
0
app
2
0
cons
2
1
a
4
3
0
+
2
1
2
35657
sum
1
1
0
+
2
0
app
2
0
a
l
x
s
y
s
z
a
l
x
s
y
z
s
h
1
+
h
x
x
+
x
h
x
a
l
x
s
y
s
z
a
l
x
s
y
z
true
a
4
0
h
0
1
1
0
3
s
1
1
1
sum
1
0
s
1
0
nil
0
0
app
2
0
cons
2
0
a
4
4
23676
0
+
2
0
sum
1
0
+
2
0
app
2
0
a
h
h
h
x
s
x
false
a
l
x
s
y
h
s
h
false
NaTT
certifiable-1.6