a__zeroscons0zerosa__andttXmarkXa__lengthnil0a__lengthconsNLsa__lengthmarkLmarkzerosa__zerosmarkandX1X2a__andmarkX1X2marklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00markttttmarknilnilmarksXsmarkXa__zeroszerosa__andX1X2andX1X2a__lengthXlengthXa__andttXmarkXa__lengthconsNLmarkLa__lengthconsNLa__lengthmarkLmarkzerosa__zerosmarkandX1X2markX1markandX1X2a__andmarkX1X2marklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXtruea__lengthconsNLa__lengthmarkLa__lengthconsNLmarkLmarkandX1X2markX1markandX1X2a__andmarkX1X2a__andttXmarkXmarklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXtrue1a__length1110mark1110a__and241120length1110and271120s1810a__length1110nil06mark1110a__and271120tt08cons281820zeros00000a__zeros00a__lengthconsNLa__lengthmarkLa__lengthconsNLmarkLmarkandX1X2markX1markandX1X2a__andmarkX1X2marklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXa__lengthconsNLa__lengthmarkLa__lengthconsNLmarkLmarkandX1X2markX1marklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXtrue1a__length1110mark1110length1810and251324s1110a__length1810nil07mark1210a__and251328tt04cons211220zeros00000a__zeros00a__lengthconsNLa__lengthmarkLa__lengthconsNLmarkLmarklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkX1a__length1210mark11210length1112and201120s1110a__length1112nil00mark1110a__and201120tt00cons221620zeros00000a__zeros00a__lengthconsNLa__lengthmarkLa__lengthconsNLmarkLmarkconsX1X2markX1marksXmarkXa__lengthconsNLa__lengthmarkLtruea__lengthconsNLmarkLfalsemarkconsX1X2markX1marksXmarkXtruemark11markandX1X2a__andmarkX1X2falsemarkzerosa__zerosfalse