pairNscons0n__incroddNsoddNsincrpairNsincrconsXXSconssXn__incractivateXStake0XSniltakesNconsXXSconsXn__takeNactivateXSzipnilXSnilzipXnilnilzipconsXXSconsYYSconspairXYn__zipactivateXSactivateYStailconsXXSactivateXSrepItemsnilnilrepItemsconsXXSconsXn__consXn__repItemsactivateXSincrXn__incrXtakeX1X2n__takeX1X2zipX1X2n__zipX1X2consX1X2n__consX1X2repItemsXn__repItemsXactivaten__incrXincrXactivaten__takeX1X2takeX1X2activaten__zipX1X2zipX1X2activaten__consX1X2consX1X2activaten__repItemsXrepItemsXactivateXXpairNs0cons200n__incr1oddNs0incr1s1activate1take2nil0n__take2zip2pair2n__zip2tail1repItems1n__cons2n__repItems1FULL./TRS/TRCSR/Ex5_DLMMU04_Z.trs