app
app
map_1
f
app
app
cons
h
t
app
app
cons
app
f
h
app
app
map_1
f
t
app
app
app
map_2
f
c
app
app
cons
h
t
app
app
cons
app
app
f
h
c
app
app
app
map_2
f
c
t
app
app
app
app
map_3
f
g
c
app
app
cons
h
t
app
app
cons
app
app
app
f
g
h
c
app
app
app
app
map_3
f
g
c
t
app
2
map_1
0
cons
0
map_2
0
map_3
0
g
0
FULL
./TRS/higher-order/Lifantsev/Ex9Maps.trs