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
l
a
h
h
x
s
x
a
x
s
y
h
a
x
y
s
h
a
x
s
y
s
z
a
x
y
a
x
s
y
z
a
s
x
h
z
a
x
z
z
app
2
nil
0
cons
2
sum
1
a
3
h
0
s
1
INNERMOST
./TRS/secret07/cime/secret3.trs