pairNscons0n__incrn__oddNsoddNsincrpairNsincrconsXXSconssXn__incractivateXStake0XSniltakesNconsXXSconsXn__takeNactivateXSzipnilXSnilzipXnilnilzipconsXXSconsYYSconspairXYn__zipactivateXSactivateYStailconsXXSactivateXSrepItemsnilnilrepItemsconsXXSconsXn__consXn__repItemsactivateXSincrXn__incrXoddNsn__oddNstakeX1X2n__takeX1X2zipX1X2n__zipX1X2consX1X2n__consX1X2repItemsXn__repItemsXactivaten__incrXincractivateXactivaten__oddNsoddNsactivaten__takeX1X2takeactivateX1activateX2activaten__zipX1X2zipactivateX1activateX2activaten__consX1X2consactivateX1X2activaten__repItemsXrepItemsactivateXactivateXXpairNscons0n__incrn__oddNsoddNspairNsoddNsincrpairNsincrconsXXSactivateXSincrconsXXSconssXn__incractivateXStakesNconsXXSactivateXStakesNconsXXSconsXn__takeNactivateXSzipconsXXSconsYYSactivateYSzipconsXXSconsYYSactivateXSzipconsXXSconsYYSconspairXYn__zipactivateXSactivateYStailconsXXSactivateXSrepItemsconsXXSactivateXSrepItemsconsXXSconsXn__consXn__repItemsactivateXSactivaten__incrXactivateXactivaten__incrXincractivateXactivaten__oddNsoddNsactivaten__takeX1X2activateX2activaten__takeX1X2activateX1activaten__takeX1X2takeactivateX1activateX2activaten__zipX1X2activateX2activaten__zipX1X2activateX1activaten__zipX1X2zipactivateX1activateX2activaten__consX1X2activateX1activaten__consX1X2consactivateX1X2activaten__repItemsXactivateXactivaten__repItemsXrepItemsactivateXtruetailconsXXSactivateXSfalserepItemsconsXXSactivateXSactivaten__incrXactivateXactivaten__incrXincractivateXincrconsXXSactivateXSactivaten__oddNsoddNsoddNsincrpairNsactivaten__takeX1X2activateX2activaten__takeX1X2activateX1activaten__takeX1X2takeactivateX1activateX2takesNconsXXSactivateXSactivaten__zipX1X2activateX2activaten__zipX1X2activateX1activaten__zipX1X2zipactivateX1activateX2zipconsXXSconsYYSactivateYSactivaten__consX1X2activateX1activaten__repItemsXactivateXactivaten__repItemsXrepItemsactivateXzipconsXXSconsYYSactivateXStrue1repItems1114zip221128take201424activate1114incr1414oddNs04n__cons281120n__repItems1410repItems1410tail1213n__zip221124pair201120zip221124n__take281620nil00take281620activate1110s1410incr1410oddNs00cons281120n__incr1410n__oddNs00000pairNs00repItemsconsXXSactivateXSactivaten__incrXactivateXactivaten__incrXincractivateXincrconsXXSactivateXSactivaten__oddNsoddNsoddNsincrpairNsactivaten__takeX1X2activateX2activaten__takeX1X2activateX1activaten__takeX1X2takeactivateX1activateX2takesNconsXXSactivateXSactivaten__zipX1X2zipactivateX1activateX2activaten__consX1X2activateX1activaten__repItemsXactivateXactivaten__repItemsXrepItemsactivateXrepItemsconsXXSactivateXSactivaten__incrXactivateXactivaten__incrXincractivateXincrconsXXSactivateXSactivaten__oddNsoddNsoddNsincrpairNsactivaten__takeX1X2activateX2activaten__takeX1X2activateX1activaten__takeX1X2takeactivateX1activateX2takesNconsXXSactivateXSactivaten__consX1X2activateX1activaten__repItemsXactivateXactivaten__repItemsXrepItemsactivateXtrue1repItems1610take2141220activate1210incr1210oddNs00n__cons241120n__repItems1812repItems1812tail1414n__zip201820pair201420zip201820n__take281820nil00take281820activate1110s1110incr1110oddNs00cons241120n__incr1110n__oddNs00000pairNs00repItemsconsXXSactivateXSactivaten__incrXactivateXactivaten__incrXincractivateXincrconsXXSactivateXSactivaten__oddNsoddNsoddNsincrpairNsactivaten__takeX1X2activateX2activaten__takeX1X2activateX1activaten__takeX1X2takeactivateX1activateX2takesNconsXXSactivateXSactivaten__consX1X2activateX1repItemsconsXXSactivateXSfalseactivaten__incrXactivateXactivaten__incrXincractivateXincrconsXXSactivateXSactivaten__oddNsoddNsoddNsincrpairNsactivaten__takeX1X2activateX2activaten__takeX1X2activateX1activaten__takeX1X2takeactivateX1activateX2takesNconsXXSactivateXSactivaten__consX1X2activateX1true1take201229activate1210incr1410oddNs00n__cons221120n__repItems1818repItems1818tail11111n__zip201023pair201020zip201023n__take281128nil01take281128activate1110s1410incr1810oddNs00cons221120n__incr1810n__oddNs00000pairNs00activaten__incrXactivateXactivaten__incrXincractivateXincrconsXXSactivateXSactivaten__oddNsoddNsoddNsincrpairNsactivaten__consX1X2activateX1activaten__zipX1X2zipactivateX1activateX2falsetakesNconsXXSconsXn__takeNactivateXSfalsezipconsXXSconsYYSconspairXYn__zipactivateXSactivateYSfalserepItemsconsXXSconsXn__consXn__repItemsactivateXSfalseactivaten__consX1X2consactivateX1X2falseincrconsXXSconssXn__incractivateXSfalseoddNspairNsfalsepairNscons0n__incrn__oddNsfalse