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
a
4
h
0
s
1
+
2
1
0
app
2
nil
0
cons
2
sum
1
FULL
./TRS/secret07/cime/secret4.trs