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 2.2 a__oddNs a__pairNs a__repItems cons X XS mark X mark tail X mark X mark pairNs a__pairNs a__take s N cons X XS mark X mark take X1 X2 mark X2 mark take X1 X2 mark X1 mark tail X a__tail mark X mark cons X1 X2 mark X1 mark repItems X a__repItems mark X a__zip cons X XS cons Y YS mark X mark pair X1 X2 mark X1 mark oddNs a__oddNs a__tail cons X XS mark XS mark take X1 X2 a__take mark X1 mark X2 mark zip X1 X2 mark X1 a__incr cons X XS mark X mark repItems X mark X a__zip cons X XS cons Y YS mark Y mark zip X1 X2 a__zip mark X1 mark X2 mark incr X a__incr mark X a__oddNs a__incr a__pairNs mark pair X1 X2 mark X2 mark s X mark X mark incr X mark X mark zip X1 X2 mark X2 true mark zip X1 X2 mark X2 mark repItems X a__repItems mark X mark incr X mark X mark cons X1 X2 mark X1 mark s X mark X mark tail X a__tail mark X mark pair X1 X2 mark X2 a__oddNs a__incr a__pairNs mark take X1 X2 mark X1 mark incr X a__incr mark X mark take X1 X2 mark X2 mark zip X1 X2 a__zip mark X1 mark X2 a__zip cons X XS cons Y YS mark Y mark repItems X mark X a__take s N cons X XS mark X mark tail X mark X a__incr cons X XS mark X mark zip X1 X2 mark X1 a__repItems cons X XS mark X mark take X1 X2 a__take mark X1 mark X2 a__tail cons X XS mark XS mark oddNs a__oddNs mark pair X1 X2 mark X1 a__zip cons X XS cons Y YS mark X true repItems 1 1 17069 incr 1 1 0 s 1 1 0 a__zip 2 1 47645 2 17067 0 a__incr 1 1 0 take 2 1 17069 2 17069 0 pair 2 1 13506 2 13507 0 a__take 2 1 17067 2 17069 0 a__pairNs 0 0 tail 1 1 7631 mark 1 1 17068 0 0 41054 a__repItems 1 1 17069 nil 0 7320 a__oddNs 0 58124 mark 1 1 0 pairNs 0 58123 a__zip 2 1 30578 2 30576 0 a__repItems 1 1 17069 oddNs 0 58123 a__incr 1 1 0 cons 2 1 17069 2 0 0 a__oddNs 0 58123 a__take 2 1 17069 2 17069 0 a__pairNs 0 58123 a__tail 1 1 7631 a__tail 1 1 17069 zip 2 1 30578 2 30576 0 mark s X mark X mark incr X mark X mark repItems X a__repItems mark X a__take 0 XS nil mark take X1 X2 a__take mark X1 mark X2 a__zip cons X XS cons Y YS cons pair mark X mark Y zip XS YS a__pairNs cons 0 incr oddNs a__incr cons X XS cons s mark X incr XS mark zip X1 X2 a__zip mark X1 mark X2 mark s X s mark X a__oddNs oddNs mark cons X1 X2 cons mark X1 X2 mark tail X a__tail mark X a__take X1 X2 take X1 X2 mark nil nil a__zip X1 X2 zip X1 X2 a__take s N cons X XS cons mark X take N XS a__repItems nil nil a__zip X nil nil mark 0 0 a__incr X incr X a__repItems X repItems X mark oddNs a__oddNs mark pairNs a__pairNs mark pair X1 X2 pair mark X1 mark X2 a__pairNs pairNs a__repItems cons X XS cons mark X cons X repItems XS a__tail cons X XS mark XS mark incr X a__incr mark X a__zip nil XS nil a__tail X tail X a__oddNs a__incr a__pairNs mark s X mark X mark incr X mark X true repItems 1 2 incr 1 1 13217 s 1 1 1 a__zip 2 1 a__incr 1 13216 take 2 2 3 pair 2 1 1 a__take 2 0 a__pairNs 0 0 tail 1 2 mark 1 1 1 0 0 2 a__repItems 1 1 1 nil 0 14100 a__oddNs 0 1 mark 1 1 pairNs 0 3 a__zip 2 11494 a__repItems 1 1 oddNs 0 13216 a__incr 1 1 cons 2 2 4685 a__oddNs 0 13215 a__take 2 2 a__pairNs 0 2 a__tail 1 1 1 a__tail 1 1 zip 2 1 2 11495 mark pairNs a__pairNs false a__oddNs a__pairNs false NaTT certifiable-1.6