zeroscons0n__zerosandttXactivateXlengthnil0lengthconsNLslengthactivateLtake0ILniltakesMconsNILconsNn__takeMactivateILzerosn__zerostakeX1X2n__takeX1X2activaten__zeroszerosactivaten__takeX1X2takeX1X2activateXXandttXactivateXlengthconsNLactivateLlengthconsNLlengthactivateLtakesMconsNILactivateILactivaten__zeroszerosactivaten__takeX1X2takeX1X2trueandttXactivateXfalselengthconsNLlengthactivateLtrue1length1113n__take211120take211120s11311nil00activate1110cons211820n__zeros00000zeros00lengthconsNLlengthactivateLactivaten__zeroszerosactivaten__takeX1X2takeX1X2activateXXzeroscons0n__zeroszerosn__zerostake0ILniltakeX1X2n__takeX1X2activaten__zeroszerosactivaten__takeX1X2takeX1X2activateXXzeroscons0n__zeroszerosn__zerostake0ILniltakesMconsNILconsNn__takeMactivateILtakeX1X2n__takeX1X21length1110n__take211124take211124nil00activate1110cons211120n__zeros00000zeros00lengthconsNLlengthactivateLactivaten__zeroszerosactivaten__takeX1X2takeX1X2activateXXzeroscons0n__zeroszerosn__zerostakeX1X2n__takeX1X21length1112n__take211420take2211020activate1810cons221820n__zeros01000zeros08lengthconsNLlengthactivateLactivaten__zeroszerosactivaten__takeX1X2takeX1X2activateXXzeroscons0n__zerostakeX1X2n__takeX1X21length1616n__take211322take231326activate1310cons241320n__zeros00000zeros00lengthconsNLlengthactivateLactivaten__zeroszerosactivaten__takeX1X2takeX1X2activateXXzeroscons0n__zeros1length1115n__take241321take221420activate1210cons221820n__zeros00000zeros00lengthconsNLlengthactivateLactivaten__zeroszerosactivateXXzeroscons0n__zeros1length11114activate1112cons211122n__zeros06000zeros08lengthconsNLlengthactivateLactivaten__zeroszeroszeroscons0n__zeroslengthconsNLactivateLfalsetakesMconsNILactivateILactivaten__takeX1X2takeX1X2true1take221820activate1412n__take221420s1011cons201320takesMconsNILactivateILtakesMconsNILactivateILfalseactivaten__zeroszerosfalse