g
A
A
g
B
A
g
B
B
g
C
A
g
C
B
g
C
C
foldf
x
nil
x
foldf
x
cons
y
z
f
foldf
x
z
y
f
t
x
f'
t
g
x
f'
triple
a
b
c
C
triple
a
b
cons
C
c
f'
triple
a
b
c
B
f
triple
a
b
c
A
f'
triple
a
b
c
A
f''
foldf
triple
cons
A
a
nil
c
b
f''
triple
a
b
c
foldf
triple
a
b
nil
c
g
1
A
0
B
0
C
0
foldf
2
nil
0
cons
2
f
2
f'
2
triple
3
f''
1
INNERMOST
./TRS/Cime/filliatre.trs