pairNscons0n__incroddNsoddNsincrpairNsincrconsXXSconssXn__incractivateXStake0XSniltakesNconsXXSconsXn__takeNactivateXSzipnilXSnilzipXnilnilzipconsXXSconsYYSconspairXYn__zipactivateXSactivateYStailconsXXSactivateXSrepItemsnilnilrepItemsconsXXSconsXn__consXn__repItemsactivateXSincrXn__incrXtakeX1X2n__takeX1X2zipX1X2n__zipX1X2consX1X2n__consX1X2repItemsXn__repItemsXactivaten__incrXincrXactivaten__takeX1X2takeX1X2activaten__zipX1X2zipX1X2activaten__consX1X2consX1X2activaten__repItemsXrepItemsXactivateXXpairNspairNscons0n__incroddNscons0n__incroddNs21oddNsincrpairNscons0n__incrincr