zeroscons0n__zerosU11ttLU12ttactivateLU12ttLslengthactivateLlengthnil0lengthconsNLU11ttactivateLzerosn__zerosactivaten__zeroszerosactivateXXU11ttLactivateLU11ttLU12ttactivateLU12ttLactivateLU12ttLlengthactivateLlengthconsNLactivateLlengthconsNLU11ttactivateLactivaten__zeroszerostruelengthconsNLU11ttactivateLU11ttLU12ttactivateLU12ttLlengthactivateLtrueU12ttLactivateLfalseU11ttLactivateLfalselengthconsNLactivateLfalseactivaten__zeroszerosfalse