zeroscons0n__zerosU11ttLU12ttactivateLU12ttLslengthactivateLlengthnil0lengthconsNLU11ttactivateLzerosn__zerosactivaten__zeroszerosactivateXXU11ttn__zerosU11ttLU12ttactivateLU12ttactivaten__zerosU12ttLslengthactivateLslengthactivateactivaten__zeros11activateXXslengthactivaten__zeros11activaten__zeroszerosslengthzeros11zeroscons0n__zerosslengthcons0n__zeros1lengthconsNLU11ttactivateLsU11ttactivaten__zeros12activateXXs