comp_f_g#1
plus_x
x3
comp_f_g
x1
x2
0
plus_x#1
x3
comp_f_g#1
x1
x2
0
comp_f_g#1
plus_x
x3
id
0
plus_x#1
x3
0
map#2
Nil
Nil
map#2
Cons
x16
x6
Cons
plus_x
x16
map#2
x6
plus_x#1
0
x6
x6
plus_x#1
S
x8
x10
S
plus_x#1
x8
x10
foldr_f#3
Nil
0
0
foldr_f#3
Cons
x16
x5
x24
comp_f_g#1
x16
foldr#3
x5
x24
foldr#3
Nil
id
foldr#3
Cons
x32
x6
comp_f_g
x32
foldr#3
x6
main
x3
foldr_f#3
map#2
x3
0
comp_f_g#1
3
plus_x
1
comp_f_g
2
0
0
plus_x#1
2
id
0
map#2
1
Nil
0
Cons
2
S
1
foldr_f#3
2
foldr#3
1
main
1
INNERMOST
hoca/foldsum.trs