a__zeroscons0zerosa__andttXmarkXa__lengthnil0a__lengthconsNLsa__lengthmarkLa__take0ILnila__takesMconsNILconsmarkNtakeMILmarkzerosa__zerosmarkandX1X2a__andmarkX1X2marklengthXa__lengthmarkXmarktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarknilnilmarksXsmarkXa__zeroszerosa__andX1X2andX1X2a__lengthXlengthXa__takeX1X2takeX1X2a__andttXmarkXa__lengthconsNLmarkLa__lengthconsNLa__lengthmarkLa__takesMconsNILmarkNmarkzerosa__zerosmarkandX1X2markX1markandX1X2a__andmarkX1X2marklengthXmarkXmarklengthXa__lengthmarkXmarktakeX1X2markX2marktakeX1X2markX1marktakeX1X2a__takemarkX1markX2markconsX1X2markX1marksXmarkXtruea__takesMconsNILmarkNmarkandX1X2markX1markandX1X2a__andmarkX1X2a__andttXmarkXmarklengthXmarkXmarklengthXa__lengthmarkXa__lengthconsNLmarkLmarktakeX1X2markX2marktakeX1X2markX1marktakeX1X2a__takemarkX1markX2markconsX1X2markX1marksXmarkXa__lengthconsNLa__lengthmarkLtrue1a__take201422a__length1210mark1210a__and221220length1410and211320take211221a__take211221s1110a__length1410nil01mark1110a__and211320tt00cons281120zeros00000a__zeros00markandX1X2markX1markandX1X2a__andmarkX1X2a__andttXmarkXmarklengthXmarkXmarklengthXa__lengthmarkXa__lengthconsNLmarkLmarktakeX1X2a__takemarkX1markX2markconsX1X2markX1marksXmarkXa__lengthconsNLa__lengthmarkLa__lengthconsNLa__lengthmarkLa__lengthconsNLmarkLmarkandX1X2markX1markandX1X2a__andmarkX1X2a__andttXmarkXmarklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXtrue1a__length11213mark1110a__and201220length11213and241220take201120a__take201120s1110a__length11213nil00mark1110a__and241220tt00cons241120zeros00000a__zeros00a__lengthconsNLa__lengthmarkLmarkandX1X2markX1markandX1X2a__andmarkX1X2a__andttXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXmarkandX1X2markX1markandX1X2a__andmarkX1X2a__andttXmarkXmarkconsX1X2markX1marksXmarkXtruea__and22mark11a__andttXmarkXa__andttXmarkXfalsemarklengthXa__lengthmarkXfalsea__lengthconsNLa__lengthmarkLtruemarktakeX1X2a__takemarkX1markX2falsemarkzerosa__zerosfalse