pairNscons0n__incrn__oddNsoddNsincrpairNsincrconsXXSconssXn__incractivateXStake0XSniltakesNconsXXSconsXn__takeNactivateXSzipnilXSnilzipXnilnilzipconsXXSconsYYSconspairXYn__zipactivateXSactivateYStailconsXXSactivateXSrepItemsnilnilrepItemsconsXXSconsXn__consXn__repItemsactivateXSincrXn__incrXoddNsn__oddNstakeX1X2n__takeX1X2zipX1X2n__zipX1X2consX1X2n__consX1X2repItemsXn__repItemsXactivaten__incrXincractivateXactivaten__oddNsoddNsactivaten__takeX1X2takeactivateX1activateX2activaten__zipX1X2zipactivateX1activateX2activaten__consX1X2consactivateX1X2activaten__repItemsXrepItemsactivateXactivateXXincrpairNs1pairNscons0n__incrn__oddNsincrcons0n__incrn__oddNsincrconsXXSconssXn__incractivateXSconss0n__incractivaten__incrn__oddNs21activaten__incrXincractivateXconss0n__incrincractivaten__oddNs211activaten__oddNsoddNsconss0n__incrincroddNs211oddNsincrpairNsconss0n__incrincr