pairNscons0n__incroddNsoddNsincrpairNsincrconsXXSconssXn__incractivateXStake0XSniltakesNconsXXSconsXn__takeNactivateXSzipnilXSnilzipXnilnilzipconsXXSconsYYSconspairXYn__zipactivateXSactivateYStailconsXXSactivateXSrepItemsnilnilrepItemsconsXXSconsXn__consXn__repItemsactivateXSincrXn__incrXtakeX1X2n__takeX1X2zipX1X2n__zipX1X2consX1X2n__consX1X2repItemsXn__repItemsXactivaten__incrXincrXactivaten__takeX1X2takeX1X2activaten__zipX1X2zipX1X2activaten__consX1X2consX1X2activaten__repItemsXrepItemsXactivateXXpairNsoddNspairNscons0n__incroddNsoddNspairNsoddNsincrpairNsincrconsXXSactivateXSincrconsXXSconssXn__incractivateXStakesNconsXXSactivateXStakesNconsXXSconsXn__takeNactivateXSzipconsXXSconsYYSactivateYSzipconsXXSconsYYSactivateXSzipconsXXSconsYYSconspairXYn__zipactivateXSactivateYStailconsXXSactivateXSrepItemsconsXXSactivateXSrepItemsconsXXSconsXn__consXn__repItemsactivateXSactivaten__incrXincrXactivaten__takeX1X2takeX1X2activaten__zipX1X2zipX1X2activaten__consX1X2consX1X2activaten__repItemsXrepItemsXtrueoddNspairNspairNsoddNstruepairNscons0n__incroddNsfalseoddNsincrpairNsfalsetailconsXXSactivateXSfalserepItemsconsXXSactivateXSactivaten__incrXincrXincrconsXXSactivateXSactivaten__takeX1X2takeX1X2takesNconsXXSactivateXSactivaten__zipX1X2zipX1X2zipconsXXSconsYYSactivateYSactivaten__repItemsXrepItemsXzipconsXXSconsYYSactivateXStrue1repItems1210zip221222take201820activate1210incr1410n__cons201120n__repItems1110repItems1110tail1118n__zip211421pair201020zip211421n__take201820nil00take201820activate1110s1010incr1310cons201120n__incr1310oddNs00000pairNs00repItemsconsXXSactivateXSactivaten__incrXincrXincrconsXXSactivateXSactivaten__takeX1X2takeX1X2takesNconsXXSactivateXSactivaten__zipX1X2zipX1X2activaten__repItemsXrepItemsXrepItemsconsXXSactivateXSactivaten__incrXincrXincrconsXXSactivateXSactivaten__takeX1X2takeX1X2takesNconsXXSactivateXSactivaten__repItemsXrepItemsXtrue1repItems1410take201222activate1210incr1210n__cons221120n__repItems1210repItems1810tail1511n__zip221022pair201023zip281028n__take201121nil00take201424activate1410s1810incr1810cons221120n__incr1210oddNs00000pairNs00repItemsconsXXSactivateXSactivaten__incrXincrXincrconsXXSactivateXSactivaten__takeX1X2takeX1X2activaten__repItemsXrepItemsXrepItemsconsXXSactivateXSactivaten__incrXincrXincrconsXXSactivateXSactivaten__repItemsXrepItemsXtrue1repItems1818activate1811incr1811n__cons201120n__repItems1111repItems1818tail1412n__zip201021pair201020zip201022n__take201020nil00take201020activate1810s1010incr1810cons201220n__incr1110oddNs00000pairNs00activaten__incrXincrXincrconsXXSactivateXSactivaten__takeX1X2takeX1X2falseactivaten__zipX1X2zipX1X2falseincrconsXXSconssXn__incractivateXSfalsetakesNconsXXSconsXn__takeNactivateXSfalsezipconsXXSconsYYSconspairXYn__zipactivateXSactivateYSfalserepItemsconsXXSconsXn__consXn__repItemsactivateXSfalseactivaten__consX1X2consX1X2false