zeroscons0n__zerosU11ttLU12ttactivateLU12ttLslengthactivateLU21ttILMNU22ttactivateILactivateMactivateNU22ttILMNU23ttactivateILactivateMactivateNU23ttILMNconsactivateNn__takeactivateMactivateILlengthnil0lengthconsNLU11ttactivateLtake0ILniltakesMconsNILU21ttactivateILMNzerosn__zerostakeX1X2n__takeX1X2activaten__zeroszerosactivaten__takeX1X2takeX1X2activateXXzeros0cons200n__zeros0U112tt0U122activate1s1length1U214U224U234n__take2nil0take2INNERMOST./TRS/TRCSR/OvConsOS_nosorts-noand_Z.trs