sum#1
Nil
0
sum#1
Cons
x2
x1
plus#2
x2
sum#1
x1
map#2
Nil
Nil
map#2
Cons
x2
x5
Cons
mult#2
x2
x2
map#2
x5
unfoldr#2
0
Nil
unfoldr#2
S
x2
Cons
x2
unfoldr#2
x2
mult#2
0
x2
0
mult#2
S
x4
x2
plus#2
x2
mult#2
x4
x2
plus#2
0
x8
x8
plus#2
S
x4
x2
S
plus#2
x4
x2
main
0
0
main
S
x1
sum#1
map#2
Cons
S
x1
unfoldr#2
S
x1
sum#1
1
Nil
0
0
0
Cons
2
plus#2
2
map#2
1
mult#2
2
unfoldr#2
1
S
1
main
1
INNERMOST
hoca/sum_sqs3.trs