active pairNs mark cons 0 incr oddNs active oddNs mark incr pairNs active incr cons X XS mark cons s X incr XS active take 0 XS mark nil active take s N cons X XS mark cons X take N XS active zip nil XS mark nil active zip X nil mark nil active zip cons X XS cons Y YS mark cons pair X Y zip XS YS active tail cons X XS mark XS active repItems nil mark nil active repItems cons X XS mark cons X cons X repItems XS mark pairNs active pairNs mark cons X1 X2 active cons mark X1 X2 mark 0 active 0 mark incr X active incr mark X mark oddNs active oddNs mark s X active s mark X mark take X1 X2 active take mark X1 mark X2 mark nil active nil mark zip X1 X2 active zip mark X1 mark X2 mark pair X1 X2 active pair mark X1 mark X2 mark tail X active tail mark X mark repItems X active repItems mark X cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 incr mark X incr X incr active X incr X s mark X s X s active X s X take mark X1 X2 take X1 X2 take X1 mark X2 take X1 X2 take active X1 X2 take X1 X2 take X1 active X2 take X1 X2 zip mark X1 X2 zip X1 X2 zip X1 mark X2 zip X1 X2 zip active X1 X2 zip X1 X2 zip X1 active X2 zip X1 X2 pair mark X1 X2 pair X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 pair X1 active X2 pair X1 X2 tail mark X tail X tail active X tail X repItems mark X repItems X repItems active X repItems X 2.2 active oddNs incr pairNs tail mark X tail X mark 0 active 0 mark zip X1 X2 mark X2 active pairNs mark cons 0 incr oddNs mark tail X tail mark X active take s N cons X XS take N XS active take s N cons X XS cons X take N XS zip X1 active X2 zip X1 X2 mark incr X active incr mark X mark tail X mark X take mark X1 X2 take X1 X2 active zip cons X XS cons Y YS pair X Y take active X1 X2 take X1 X2 mark incr X mark X mark incr X incr mark X mark pair X1 X2 pair mark X1 mark X2 mark oddNs active oddNs active repItems nil mark nil repItems mark X repItems X mark pair X1 X2 mark X1 cons active X1 X2 cons X1 X2 active pairNs cons 0 incr oddNs active take s N cons X XS mark cons X take N XS mark s X s mark X pair mark X1 X2 pair X1 X2 zip X1 mark X2 zip X1 X2 zip active X1 X2 zip X1 X2 mark pair X1 X2 active pair mark X1 mark X2 active take 0 XS mark nil mark repItems X repItems mark X active zip cons X XS cons Y YS cons pair X Y zip XS YS mark repItems X active repItems mark X mark take X1 X2 take mark X1 mark X2 mark tail X active tail mark X active zip cons X XS cons Y YS mark cons pair X Y zip XS YS active zip nil XS mark nil cons X1 mark X2 cons X1 X2 mark take X1 X2 mark X1 zip mark X1 X2 zip X1 X2 mark cons X1 X2 active cons mark X1 X2 active incr cons X XS mark cons s X incr XS s mark X s X mark s X mark X cons X1 active X2 cons X1 X2 mark repItems X mark X active repItems cons X XS cons X repItems XS pair active X1 X2 pair X1 X2 take X1 mark X2 take X1 X2 repItems active X repItems X active incr cons X XS s X mark zip X1 X2 zip mark X1 mark X2 active zip cons X XS cons Y YS zip XS YS take X1 active X2 take X1 X2 incr mark X incr X active incr cons X XS incr XS s active X s X cons mark X1 X2 cons X1 X2 mark zip X1 X2 mark X1 mark pairNs active pairNs mark pair X1 X2 mark X2 active tail cons X XS mark XS mark zip X1 X2 active zip mark X1 mark X2 active repItems cons X XS cons X cons X repItems XS active incr cons X XS cons s X incr XS tail active X tail X active pairNs incr oddNs active zip X nil mark nil active repItems cons X XS repItems XS mark cons X1 X2 mark X1 pair X1 active X2 pair X1 X2 mark take X1 X2 active take mark X1 mark X2 active oddNs mark incr pairNs mark nil active nil pair X1 mark X2 pair X1 X2 mark cons X1 X2 cons mark X1 X2 incr active X incr X mark take X1 X2 mark X2 mark s X active s mark X active repItems cons X XS mark cons X cons X repItems XS true active repItems cons X XS mark cons X cons X repItems XS mark take X1 X2 mark X2 mark s X active s mark X mark repItems X mark X mark s X mark X active incr cons X XS mark cons s X incr XS mark cons X1 X2 active cons mark X1 X2 mark take X1 X2 mark X1 active zip cons X XS cons Y YS mark cons pair X Y zip XS YS mark tail X active tail mark X active oddNs mark incr pairNs mark repItems X active repItems mark X mark take X1 X2 active take mark X1 mark X2 mark cons X1 X2 mark X1 mark pair X1 X2 active pair mark X1 mark X2 mark zip X1 X2 active zip mark X1 mark X2 active tail cons X XS mark XS active take s N cons X XS mark cons X take N XS mark pair X1 X2 mark X2 mark pair X1 X2 mark X1 mark pairNs active pairNs mark oddNs active oddNs mark zip X1 X2 mark X1 mark incr X mark X mark incr X active incr mark X mark tail X mark X active pairNs mark cons 0 incr oddNs mark zip X1 X2 mark X2 true repItems 1 2 incr 1 2 cons 2 0 s 1 1 take 2 0 take 2 2 pair 2 1 zip 2 0 tail 1 2 mark 1 2 0 0 2 s 1 0 nil 0 4 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 2 oddNs 0 2 repItems 1 0 active 1 4 cons 2 1 active 1 1 0 pair 2 0 zip 2 2 mark zip X1 X2 mark X2 active pairNs mark cons 0 incr oddNs mark tail X mark X mark incr X active incr mark X mark incr X mark X mark zip X1 X2 mark X1 mark oddNs active oddNs mark pairNs active pairNs mark pair X1 X2 mark X1 mark pair X1 X2 mark X2 active take s N cons X XS mark cons X take N XS active tail cons X XS mark XS mark zip X1 X2 active zip mark X1 mark X2 mark cons X1 X2 mark X1 mark take X1 X2 active take mark X1 mark X2 mark repItems X active repItems mark X active oddNs mark incr pairNs mark tail X active tail mark X active zip cons X XS cons Y YS mark cons pair X Y zip XS YS mark take X1 X2 mark X1 active incr cons X XS mark cons s X incr XS mark s X mark X mark repItems X mark X mark take X1 X2 mark X2 active repItems cons X XS mark cons X cons X repItems XS zip mark X1 X2 zip X1 X2 cons active X1 X2 cons X1 X2 take mark X1 X2 take X1 X2 cons X1 active X2 cons X1 X2 take active X1 X2 take X1 X2 incr mark X incr X tail mark X tail X take X1 mark X2 take X1 X2 zip X1 active X2 zip X1 X2 cons X1 mark X2 cons X1 X2 s mark X s X s active X s X tail active X tail X cons mark X1 X2 cons X1 X2 pair mark X1 X2 pair X1 X2 zip active X1 X2 zip X1 X2 repItems active X repItems X zip X1 mark X2 zip X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 repItems mark X repItems X take X1 active X2 take X1 X2 incr active X incr X pair X1 active X2 pair X1 X2 mark take X1 X2 mark X2 mark take X1 X2 mark X1 mark take X1 X2 active take mark X1 mark X2 mark incr X mark X mark incr X active incr mark X active zip cons X XS cons Y YS mark cons pair X Y zip XS YS active pairNs mark cons 0 incr oddNs active incr cons X XS mark cons s X incr XS mark oddNs active oddNs mark pair X1 X2 mark X2 mark pair X1 X2 mark X1 mark s X mark X mark tail X mark X mark tail X active tail mark X active take s N cons X XS mark cons X take N XS mark zip X1 X2 mark X2 mark zip X1 X2 mark X1 mark zip X1 X2 active zip mark X1 mark X2 mark pairNs active pairNs mark repItems X mark X mark repItems X active repItems mark X active repItems cons X XS mark cons X cons X repItems XS active tail cons X XS mark XS mark cons X1 X2 mark X1 active oddNs mark incr pairNs true repItems 1 1 8949 incr 1 1 0 cons 2 0 s 1 1 0 take 2 0 take 2 1 9232 2 250 0 pair 2 1 284 2 282 0 zip 2 0 tail 1 1 20538 mark 1 1 0 0 0 0 s 1 0 nil 0 9232 tail 1 0 mark 1 1 0 incr 1 0 pairNs 0 24870 oddNs 0 24870 repItems 1 0 active 1 1 0 cons 2 1 8948 2 0 0 active 1 1 0 pair 2 0 zip 2 1 284 2 9231 0 active oddNs mark incr pairNs active repItems cons X XS mark cons X cons X repItems XS mark repItems X active repItems mark X mark pairNs active pairNs mark zip X1 X2 active zip mark X1 mark X2 active take s N cons X XS mark cons X take N XS mark tail X active tail mark X mark s X mark X mark oddNs active oddNs active incr cons X XS mark cons s X incr XS active pairNs mark cons 0 incr oddNs active zip cons X XS cons Y YS mark cons pair X Y zip XS YS mark incr X active incr mark X mark incr X mark X mark take X1 X2 active take mark X1 mark X2 mark take X1 X2 active take mark X1 mark X2 active take 0 XS mark nil mark incr X active incr mark X active zip cons X XS cons Y YS mark cons pair X Y zip XS YS active pairNs mark cons 0 incr oddNs active incr cons X XS mark cons s X incr XS mark oddNs active oddNs mark pair X1 X2 active pair mark X1 mark X2 zip mark X1 X2 zip X1 X2 cons active X1 X2 cons X1 X2 mark nil active nil take mark X1 X2 take X1 X2 mark s X active s mark X cons X1 active X2 cons X1 X2 take active X1 X2 take X1 X2 mark tail X active tail mark X incr mark X incr X tail mark X tail X active take s N cons X XS mark cons X take N XS take X1 mark X2 take X1 X2 active repItems nil mark nil zip X1 active X2 zip X1 X2 active zip X nil mark nil mark zip X1 X2 active zip mark X1 mark X2 cons X1 mark X2 cons X1 X2 s mark X s X mark 0 active 0 s active X s X mark pairNs active pairNs tail active X tail X mark repItems X active repItems mark X cons mark X1 X2 cons X1 X2 active repItems cons X XS mark cons X cons X repItems XS active tail cons X XS mark XS mark cons X1 X2 active cons mark X1 X2 pair mark X1 X2 pair X1 X2 active zip nil XS mark nil zip active X1 X2 zip X1 X2 repItems active X repItems X zip X1 mark X2 zip X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 repItems mark X repItems X take X1 active X2 take X1 X2 incr active X incr X pair X1 active X2 pair X1 X2 active oddNs mark incr pairNs mark take X1 X2 active take mark X1 mark X2 mark incr X mark X mark incr X active incr mark X active zip cons X XS cons Y YS mark cons pair X Y zip XS YS active incr cons X XS mark cons s X incr XS mark oddNs active oddNs mark s X mark X mark tail X active tail mark X active take s N cons X XS mark cons X take N XS mark zip X1 X2 active zip mark X1 mark X2 mark repItems X active repItems mark X active repItems cons X XS mark cons X cons X repItems XS active oddNs mark incr pairNs true repItems 1 11651 incr 1 11651 cons 2 0 s 1 1 take 2 0 take 2 11651 pair 2 1 zip 2 0 tail 1 11650 mark 1 11653 0 0 1 s 1 0 nil 0 1 tail 1 0 mark 1 1 incr 1 0 pairNs 0 2 oddNs 0 11651 repItems 1 0 active 1 2 cons 2 1 active 1 1 2 pair 2 0 zip 2 11651 active oddNs mark incr pairNs active repItems cons X XS mark cons X cons X repItems XS mark repItems X active repItems mark X mark zip X1 X2 active zip mark X1 mark X2 active take s N cons X XS mark cons X take N XS mark s X mark X mark oddNs active oddNs active incr cons X XS mark cons s X incr XS active zip cons X XS cons Y YS mark cons pair X Y zip XS YS mark incr X active incr mark X mark incr X mark X mark take X1 X2 active take mark X1 mark X2 zip mark X1 X2 zip X1 X2 cons active X1 X2 cons X1 X2 take mark X1 X2 take X1 X2 cons X1 active X2 cons X1 X2 take active X1 X2 take X1 X2 incr mark X incr X tail mark X tail X take X1 mark X2 take X1 X2 zip X1 active X2 zip X1 X2 cons X1 mark X2 cons X1 X2 s mark X s X s active X s X tail active X tail X cons mark X1 X2 cons X1 X2 pair mark X1 X2 pair X1 X2 zip active X1 X2 zip X1 X2 repItems active X repItems X zip X1 mark X2 zip X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 repItems mark X repItems X take X1 active X2 take X1 X2 incr active X incr X pair X1 active X2 pair X1 X2 mark take X1 X2 active take mark X1 mark X2 mark incr X mark X mark incr X active incr mark X active zip cons X XS cons Y YS mark cons pair X Y zip XS YS active incr cons X XS mark cons s X incr XS mark oddNs active oddNs mark s X mark X active take s N cons X XS mark cons X take N XS mark zip X1 X2 active zip mark X1 mark X2 mark repItems X active repItems mark X active repItems cons X XS mark cons X cons X repItems XS active oddNs mark incr pairNs true repItems 1 3 incr 1 1 2 cons 2 0 s 1 1 1 take 2 0 take 2 1 3 pair 2 1 2 1 zip 2 0 tail 1 1 mark 1 1 0 0 0 1 s 1 0 nil 0 23557 tail 1 0 mark 1 1 5 incr 1 0 pairNs 0 0 oddNs 0 6 repItems 1 0 active 1 1 0 cons 2 1 active 1 2 pair 2 0 zip 2 1 2 3 active oddNs mark incr pairNs mark incr X active incr mark X cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 incr mark X incr X cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 pair mark X1 X2 pair X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 incr active X incr X pair X1 active X2 pair X1 X2 mark incr X active incr mark X active oddNs mark incr pairNs true repItems 1 1 incr 1 3580 cons 2 0 s 1 0 take 2 0 take 2 147 pair 2 1 zip 2 0 tail 1 3578 mark 1 3581 0 0 1 s 1 0 nil 0 23557 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 649 oddNs 0 3582 repItems 1 0 active 1 3580 cons 2 3580 active 1 1 0 pair 2 0 zip 2 486 zip mark X1 X2 zip X1 X2 cons active X1 X2 cons X1 X2 take mark X1 X2 take X1 X2 cons X1 active X2 cons X1 X2 take active X1 X2 take X1 X2 incr mark X incr X tail mark X tail X take X1 mark X2 take X1 X2 zip X1 active X2 zip X1 X2 cons X1 mark X2 cons X1 X2 s mark X s X s active X s X tail active X tail X cons mark X1 X2 cons X1 X2 pair mark X1 X2 pair X1 X2 zip active X1 X2 zip X1 X2 repItems active X repItems X zip X1 mark X2 zip X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 repItems mark X repItems X take X1 active X2 take X1 X2 incr active X incr X pair X1 active X2 pair X1 X2 mark pairNs active pairNs false active pairNs mark cons 0 incr oddNs false mark cons X1 X2 cons mark X1 X2 false active zip nil XS mark nil false mark repItems X repItems mark X false mark zip X1 X2 zip mark X1 mark X2 false active repItems cons X XS cons X cons X repItems XS false active repItems cons X XS repItems XS false repItems mark X repItems X repItems active X repItems X true repItems 1 16892 incr 1 26875 cons 2 0 s 1 0 take 2 0 take 2 0 pair 2 0 zip 2 0 tail 1 0 mark 1 3581 0 0 27824 s 1 0 nil 0 16894 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 1184 oddNs 0 26873 repItems 1 1 0 active 1 1 2 cons 2 26877 active 1 1 0 pair 2 0 zip 2 0 zip mark X1 X2 zip X1 X2 cons active X1 X2 cons X1 X2 take mark X1 X2 take X1 X2 cons X1 active X2 cons X1 X2 take active X1 X2 take X1 X2 incr mark X incr X tail mark X tail X take X1 mark X2 take X1 X2 zip X1 active X2 zip X1 X2 cons X1 mark X2 cons X1 X2 s mark X s X s active X s X tail active X tail X cons mark X1 X2 cons X1 X2 pair mark X1 X2 pair X1 X2 zip active X1 X2 zip X1 X2 repItems active X repItems X zip X1 mark X2 zip X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 repItems mark X repItems X take X1 active X2 take X1 X2 incr active X incr X pair X1 active X2 pair X1 X2 active zip X nil mark nil false active repItems nil mark nil false mark tail X tail mark X false active take s N cons X XS cons X take N XS false active take s N cons X XS take N XS false mark s X s mark X false active incr cons X XS cons s X incr XS false active incr cons X XS s X false s mark X s X s active X s X true repItems 1 23975 incr 1 56727 cons 2 0 s 1 0 take 2 0 take 2 0 pair 2 0 zip 2 0 tail 1 0 mark 1 3581 0 0 27824 s 1 1 0 nil 0 32549 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 56726 oddNs 0 56725 repItems 1 0 active 1 1 2 cons 2 56729 active 1 1 0 pair 2 0 zip 2 0 zip mark X1 X2 zip X1 X2 cons active X1 X2 cons X1 X2 take mark X1 X2 take X1 X2 cons X1 active X2 cons X1 X2 take active X1 X2 take X1 X2 incr mark X incr X tail mark X tail X take X1 mark X2 take X1 X2 zip X1 active X2 zip X1 X2 cons X1 mark X2 cons X1 X2 s mark X s X s active X s X tail active X tail X cons mark X1 X2 cons X1 X2 pair mark X1 X2 pair X1 X2 zip active X1 X2 zip X1 X2 repItems active X repItems X zip X1 mark X2 zip X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 repItems mark X repItems X take X1 active X2 take X1 X2 incr active X incr X pair X1 active X2 pair X1 X2 active incr cons X XS incr XS false mark pair X1 X2 pair mark X1 mark X2 false active pairNs cons 0 incr oddNs false active pairNs incr oddNs false mark incr X incr mark X false incr active X incr X incr mark X incr X true repItems 1 1549 incr 1 1913 cons 2 0 s 1 0 take 2 0 take 2 0 pair 2 0 zip 2 0 tail 1 0 mark 1 3581 0 0 28733 s 1 0 nil 0 32549 tail 1 0 mark 1 1 1 incr 1 1 0 pairNs 0 1888 oddNs 0 1911 repItems 1 0 active 1 1 2 cons 2 1915 active 1 1 0 pair 2 0 zip 2 0 zip mark X1 X2 zip X1 X2 cons active X1 X2 cons X1 X2 take mark X1 X2 take X1 X2 cons X1 active X2 cons X1 X2 take active X1 X2 take X1 X2 incr mark X incr X tail mark X tail X take X1 mark X2 take X1 X2 zip X1 active X2 zip X1 X2 cons X1 mark X2 cons X1 X2 s mark X s X s active X s X tail active X tail X cons mark X1 X2 cons X1 X2 pair mark X1 X2 pair X1 X2 zip active X1 X2 zip X1 X2 repItems active X repItems X zip X1 mark X2 zip X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 repItems mark X repItems X take X1 active X2 take X1 X2 incr active X incr X pair X1 active X2 pair X1 X2 active zip cons X XS cons Y YS cons pair X Y zip XS YS false active zip cons X XS cons Y YS pair X Y false pair X1 mark X2 pair X1 X2 pair X1 active X2 pair X1 X2 pair mark X1 X2 pair X1 X2 pair active X1 X2 pair X1 X2 true repItems 1 1 incr 1 11844 cons 2 0 s 1 0 take 2 0 take 2 0 pair 2 0 zip 2 0 tail 1 0 mark 1 3581 0 0 1 s 1 0 nil 0 16496 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 2 oddNs 0 11842 repItems 1 0 active 1 1 2 cons 2 11846 active 1 1 0 pair 2 1 0 zip 2 0 pair X1 active X2 pair X1 X2 pair X1 mark X2 pair X1 X2 zip mark X1 X2 zip X1 X2 cons active X1 X2 cons X1 X2 take mark X1 X2 take X1 X2 cons X1 active X2 cons X1 X2 take active X1 X2 take X1 X2 incr mark X incr X tail mark X tail X take X1 mark X2 take X1 X2 zip X1 active X2 zip X1 X2 cons X1 mark X2 cons X1 X2 s mark X s X s active X s X tail active X tail X cons mark X1 X2 cons X1 X2 pair mark X1 X2 pair X1 X2 zip active X1 X2 zip X1 X2 repItems active X repItems X zip X1 mark X2 zip X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 repItems mark X repItems X take X1 active X2 take X1 X2 incr active X incr X pair X1 active X2 pair X1 X2 pair X1 mark X2 pair X1 X2 pair X1 active X2 pair X1 X2 true repItems 1 15538 incr 1 18816 cons 2 0 s 1 0 take 2 0 take 2 0 pair 2 0 zip 2 0 tail 1 0 mark 1 3581 0 0 1 s 1 0 nil 0 40386 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 1 oddNs 0 18814 repItems 1 0 active 1 1 2 cons 2 18818 active 1 1 0 pair 2 2 0 zip 2 0 zip mark X1 X2 zip X1 X2 cons active X1 X2 cons X1 X2 take mark X1 X2 take X1 X2 cons X1 active X2 cons X1 X2 take active X1 X2 take X1 X2 incr mark X incr X tail mark X tail X take X1 mark X2 take X1 X2 zip X1 active X2 zip X1 X2 cons X1 mark X2 cons X1 X2 s mark X s X s active X s X tail active X tail X cons mark X1 X2 cons X1 X2 pair mark X1 X2 pair X1 X2 zip active X1 X2 zip X1 X2 repItems active X repItems X zip X1 mark X2 zip X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 repItems mark X repItems X take X1 active X2 take X1 X2 incr active X incr X pair X1 active X2 pair X1 X2 active zip cons X XS cons Y YS zip XS YS false zip mark X1 X2 zip X1 X2 zip active X1 X2 zip X1 X2 zip X1 mark X2 zip X1 X2 zip X1 active X2 zip X1 X2 true repItems 1 1 incr 1 30089 cons 2 0 s 1 0 take 2 0 take 2 0 pair 2 0 zip 2 2 0 tail 1 0 mark 1 3581 0 0 21726 s 1 0 nil 0 20363 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 1 oddNs 0 30087 repItems 1 0 active 1 1 2 cons 2 30091 active 1 1 0 pair 2 0 zip 2 0 zip active X1 X2 zip X1 X2 zip mark X1 X2 zip X1 X2 zip mark X1 X2 zip X1 X2 cons active X1 X2 cons X1 X2 take mark X1 X2 take X1 X2 cons X1 active X2 cons X1 X2 take active X1 X2 take X1 X2 incr mark X incr X tail mark X tail X take X1 mark X2 take X1 X2 zip X1 active X2 zip X1 X2 cons X1 mark X2 cons X1 X2 s mark X s X s active X s X tail active X tail X cons mark X1 X2 cons X1 X2 pair mark X1 X2 pair X1 X2 zip active X1 X2 zip X1 X2 repItems active X repItems X zip X1 mark X2 zip X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 repItems mark X repItems X take X1 active X2 take X1 X2 incr active X incr X pair X1 active X2 pair X1 X2 zip mark X1 X2 zip X1 X2 zip active X1 X2 zip X1 X2 true repItems 1 2 incr 1 3 cons 2 0 s 1 0 take 2 0 take 2 0 pair 2 0 zip 2 1 0 tail 1 0 mark 1 3581 0 0 21280 s 1 0 nil 0 20364 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 1 oddNs 0 1 repItems 1 0 active 1 1 2 cons 2 5 active 1 1 0 pair 2 0 zip 2 0 zip mark X1 X2 zip X1 X2 cons active X1 X2 cons X1 X2 take mark X1 X2 take X1 X2 cons X1 active X2 cons X1 X2 take active X1 X2 take X1 X2 incr mark X incr X tail mark X tail X take X1 mark X2 take X1 X2 zip X1 active X2 zip X1 X2 cons X1 mark X2 cons X1 X2 s mark X s X s active X s X tail active X tail X cons mark X1 X2 cons X1 X2 pair mark X1 X2 pair X1 X2 zip active X1 X2 zip X1 X2 repItems active X repItems X zip X1 mark X2 zip X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 repItems mark X repItems X take X1 active X2 take X1 X2 incr active X incr X pair X1 active X2 pair X1 X2 active take 0 XS mark nil false mark nil active nil false mark take X1 X2 take mark X1 mark X2 false take active X1 X2 take X1 X2 take mark X1 X2 take X1 X2 take X1 active X2 take X1 X2 take X1 mark X2 take X1 X2 true repItems 1 1 incr 1 11178 cons 2 0 s 1 0 take 2 1 2 0 take 2 0 pair 2 0 zip 2 0 tail 1 0 mark 1 3581 0 0 1 s 1 0 nil 0 20364 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 40484 oddNs 0 1 repItems 1 0 active 1 1 2 cons 2 40486 active 1 1 0 pair 2 0 zip 2 0 zip mark X1 X2 zip X1 X2 cons active X1 X2 cons X1 X2 take mark X1 X2 take X1 X2 cons X1 active X2 cons X1 X2 take active X1 X2 take X1 X2 incr mark X incr X tail mark X tail X take X1 mark X2 take X1 X2 zip X1 active X2 zip X1 X2 cons X1 mark X2 cons X1 X2 s mark X s X s active X s X tail active X tail X cons mark X1 X2 cons X1 X2 pair mark X1 X2 pair X1 X2 zip active X1 X2 zip X1 X2 repItems active X repItems X zip X1 mark X2 zip X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 repItems mark X repItems X take X1 active X2 take X1 X2 incr active X incr X pair X1 active X2 pair X1 X2 mark 0 active 0 false tail active X tail X tail mark X tail X true repItems 1 1 incr 1 32538 cons 2 0 s 1 0 take 2 0 take 2 0 pair 2 0 zip 2 0 tail 1 0 mark 1 3581 0 0 55042 s 1 0 nil 0 11030 tail 1 1 0 mark 1 1 1 incr 1 0 pairNs 0 20948 oddNs 0 32536 repItems 1 0 active 1 1 2 cons 2 32540 active 1 1 0 pair 2 0 zip 2 0 zip mark X1 X2 zip X1 X2 cons active X1 X2 cons X1 X2 take mark X1 X2 take X1 X2 cons X1 active X2 cons X1 X2 take active X1 X2 take X1 X2 incr mark X incr X tail mark X tail X take X1 mark X2 take X1 X2 zip X1 active X2 zip X1 X2 cons X1 mark X2 cons X1 X2 s mark X s X s active X s X tail active X tail X cons mark X1 X2 cons X1 X2 pair mark X1 X2 pair X1 X2 zip active X1 X2 zip X1 X2 repItems active X repItems X zip X1 mark X2 zip X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 repItems mark X repItems X take X1 active X2 take X1 X2 incr active X incr X pair X1 active X2 pair X1 X2 active oddNs incr pairNs false active repItems cons X XS cons X repItems XS false cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 true repItems 1 1 incr 1 4594 cons 2 2 0 s 1 0 take 2 0 take 2 0 pair 2 0 zip 2 0 tail 1 0 mark 1 3581 0 0 1 s 1 0 nil 0 13459 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 4592 oddNs 0 4592 repItems 1 0 active 1 1 2 cons 2 4596 active 1 1 0 pair 2 0 zip 2 0 cons mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 zip mark X1 X2 zip X1 X2 cons active X1 X2 cons X1 X2 take mark X1 X2 take X1 X2 cons X1 active X2 cons X1 X2 take active X1 X2 take X1 X2 incr mark X incr X tail mark X tail X take X1 mark X2 take X1 X2 zip X1 active X2 zip X1 X2 cons X1 mark X2 cons X1 X2 s mark X s X s active X s X tail active X tail X cons mark X1 X2 cons X1 X2 pair mark X1 X2 pair X1 X2 zip active X1 X2 zip X1 X2 repItems active X repItems X zip X1 mark X2 zip X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 repItems mark X repItems X take X1 active X2 take X1 X2 incr active X incr X pair X1 active X2 pair X1 X2 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 true repItems 1 1 incr 1 39814 cons 2 1 0 s 1 0 take 2 0 take 2 0 pair 2 0 zip 2 0 tail 1 0 mark 1 3581 0 0 36526 s 1 0 nil 0 3 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 39812 oddNs 0 39812 repItems 1 0 active 1 1 2 cons 2 39816 active 1 1 0 pair 2 0 zip 2 0 zip mark X1 X2 zip X1 X2 cons active X1 X2 cons X1 X2 take mark X1 X2 take X1 X2 cons X1 active X2 cons X1 X2 take active X1 X2 take X1 X2 incr mark X incr X tail mark X tail X take X1 mark X2 take X1 X2 zip X1 active X2 zip X1 X2 cons X1 mark X2 cons X1 X2 s mark X s X s active X s X tail active X tail X cons mark X1 X2 cons X1 X2 pair mark X1 X2 pair X1 X2 zip active X1 X2 zip X1 X2 repItems active X repItems X zip X1 mark X2 zip X1 X2 pair X1 mark X2 pair X1 X2 pair active X1 X2 pair X1 X2 repItems mark X repItems X take X1 active X2 take X1 X2 incr active X incr X pair X1 active X2 pair X1 X2 NaTT certifiable-1.6