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