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__repItemsXrepItemsXtrueincr11activate11take22repItems11activaten__zipX1X2zipX1X2falseincrconsXXSconssXn__incractivateXSfalsetakesNconsXXSconsXn__takeNactivateXSfalsezipconsXXSconsYYSconspairXYn__zipactivateXSactivateYSfalserepItemsconsXXSconsXn__consXn__repItemsactivateXSfalseactivaten__consX1X2consX1X2false