zeroscons0n__zerosandttXactivateXlengthnil0lengthconsNLslengthactivateLtake0ILniltakesMconsNILconsNn__takeMactivateILzerosn__zerostakeX1X2n__takeX1X2activaten__zeroszerosactivaten__takeX1X2takeX1X2activateXXlengthconsNn__zeroslengthconsNLslengthactivateLslengthactivaten__zeros11activaten__zeroszerosslengthzeros11zeroscons0n__zerosN0s