zeroscons0n__zerosandttXactivateXlengthnil0lengthconsNLslengthactivateLtake0ILniltakesMconsNILconsNn__takeMactivateILzerosn__zerostakeX1X2n__takeX1X2activaten__zeroszerosactivaten__takeX1X2takeX1X2activateXXzerosandttXlengthnillengthconsNLtake0ILtakesMconsNILtakeX1X2activaten__zerosactivaten__takeX1X2activateX2.1lengthconsNn__zeroslengthconsNLslengthactivateLslengthactivaten__zeros11activaten__zeroszerosslengthzeros11zeroscons0n__zerosslengthcons0n__zerosN0sttt21.14unfold -fp -vpos -sc -fph