a__pairNs cons 0 incr oddNs a__oddNs a__incr a__pairNs a__incr cons X XS cons s mark X incr XS a__take 0 XS nil a__take s N cons X XS cons mark X take N XS a__zip nil XS nil a__zip X nil nil a__zip cons X XS cons Y YS cons pair mark X mark Y zip XS YS a__tail cons X XS mark XS a__repItems nil nil a__repItems cons X XS cons mark X cons X repItems XS mark pairNs a__pairNs mark incr X a__incr mark X mark oddNs a__oddNs mark take X1 X2 a__take mark X1 mark X2 mark zip X1 X2 a__zip mark X1 mark X2 mark tail X a__tail mark X mark repItems X a__repItems mark X mark cons X1 X2 cons mark X1 X2 mark 0 0 mark s X s mark X mark nil nil mark pair X1 X2 pair mark X1 mark X2 a__pairNs pairNs a__incr X incr X a__oddNs oddNs a__take X1 X2 take X1 X2 a__zip X1 X2 zip X1 X2 a__tail X tail X a__repItems X repItems X a__pairNs 0 cons 2 0 0 incr 1 oddNs 0 a__oddNs 0 a__incr 1 s 1 mark 1 a__take 2 nil 0 take 2 a__zip 2 pair 2 zip 2 a__tail 1 a__repItems 1 repItems 1 pairNs 0 tail 1 INNERMOST ./TRS/TRCSR/inn/Ex5_DLMMU04_GM.trs