(letrec(letrec X(X cons(quote 1)(merge X2(merge X3 X5)))(X2 times(quote
2)X)(X3 times(quote 3)X)(X5 times(quote 5)X))(merge lambda(a b)(if(eq(head
a)(head b))(merge a(tail b))(if(leq(head a)(head b))(cons(head a)(merge
(tail a)b))(cons(head b)(merge a(tail b))))))(times lambda(c l)(cons(mul
c(head l))(times c(tail l)))))