pairNs cons 0 incr oddNs oddNs incr pairNs incr cons X XS cons s X incr XS take 0 XS nil take s N cons X XS cons X take N XS zip nil XS nil zip X nil nil zip cons X XS cons Y YS cons pair X Y zip XS YS tail cons X XS XS repItems nil nil repItems cons X XS cons X cons X repItems XS pairNs 0 cons 2 1 0 0 incr 1 1 oddNs 0 s 1 1 take 2 1 2 nil 0 zip 2 1 2 pair 2 1 2 tail 1 1 repItems 1 1 FULL ./TRS/CSR/Ex5_DLMMU04.trs