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