terms N cons recip sqr N sqr 0 0 sqr s s dbl 0 0 dbl s s add 0 X X add s Y s first 0 X nil first s cons Y cons Y terms 1 cons 1 recip 1 sqr 1 0 0 s 0 dbl 1 add 2 first 2 nil 0 INNERMOST ./TRS/TRCSR/inn/Ex26_Luc03b_L.trs