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__take221122a__length1412mark1212a__and211321length1210and21211320take211120a__take211120s1810a__length1210nil00mark1110a__and21211320tt02cons221820zeros00000a__zeros00a__takesMconsNILmarkNmarkandX1X2markX1marklengthXmarkXmarklengthXa__lengthmarkXa__lengthconsNLmarkLmarktakeX1X2markX2marktakeX1X2markX1marktakeX1X2a__takemarkX1markX2markconsX1X2markX1marksXmarkXa__lengthconsNLa__lengthmarkLa__zeroscons0zerosa__andttXmarkXa__lengthnil0a__lengthconsNLsa__lengthmarkLa__take0ILnila__takesMconsNILconsmarkNtakeMILmarkzerosa__zerosmarkandX1X2a__andmarkX1X2marklengthXa__lengthmarkXmarktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarknilnilmarksXsmarkXa__zeroszerosa__andX1X2andX1X2a__lengthXlengthXa__takeX1X2takeX1X21a__take221120a__length1810mark1210length1410and2101121take211120a__take211120s1110a__length1410nil00mark1110a__and2101121tt06cons241120zeros00000a__zeros00a__takesMconsNILmarkNmarklengthXmarkXmarklengthXa__lengthmarkXa__lengthconsNLmarkLmarktakeX1X2markX2marktakeX1X2markX1marktakeX1X2a__takemarkX1markX2markconsX1X2markX1marksXmarkXa__lengthconsNLa__lengthmarkLa__zeroscons0zerosa__andttXmarkXa__lengthnil0a__lengthconsNLsa__lengthmarkLa__take0ILnila__takesMconsNILconsmarkNtakeMILmarkzerosa__zerosmarkandX1X2a__andmarkX1X2marklengthXa__lengthmarkXmarktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarknilnilmarksXsmarkXa__zeroszerosa__andX1X2andX1X2a__lengthXlengthXa__takeX1X2takeX1X21a__take201425a__length1110mark1110length1110and201826take281425a__take281425s1110a__length1110nil02mark1110a__and201826tt06cons241120zeros00000a__zeros00marklengthXmarkXmarklengthXa__lengthmarkXa__lengthconsNLmarkLmarktakeX1X2a__takemarkX1markX2markconsX1X2markX1marksXmarkXa__lengthconsNLa__lengthmarkLa__zeroscons0zerosa__andttXmarkXa__lengthnil0a__lengthconsNLsa__lengthmarkLa__take0ILnila__takesMconsNILconsmarkNtakeMILmarkzerosa__zerosmarkandX1X2a__andmarkX1X2marklengthXa__lengthmarkXmarktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarknilnilmarksXsmarkXa__zeroszerosa__andX1X2andX1X2a__lengthXlengthXa__takeX1X2takeX1X2a__lengthconsNLa__lengthmarkLa__lengthconsNLmarkLmarklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXtrue1a__length1414mark1410length1211and241120take201820a__take201820s1110a__length1211nil00mark1110a__and241120tt08cons241120zeros00000a__zeros00a__lengthconsNLa__lengthmarkLmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXa__zeroscons0zerosa__andttXmarkXa__lengthnil0a__lengthconsNLsa__lengthmarkLa__take0ILnila__takesMconsNILconsmarkNtakeMILmarkzerosa__zerosmarkandX1X2a__andmarkX1X2marklengthXa__lengthmarkXmarktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarknilnilmarksXsmarkXa__zeroszerosa__andX1X2andX1X2a__lengthXlengthXa__takeX1X2takeX1X2marksXmarkXmarkconsX1X2markX1true1mark1814s1212cons211020markconsX1X2markX11mark18112cons211023marklengthXa__lengthmarkXfalsea__lengthconsNLa__lengthmarkLtrue1a__length1810length1118and251226take241121a__take241121s1110a__length1118nil00mark1110a__and251226tt07cons221120zeros00000a__zeros00a__lengthconsNLa__lengthmarkLa__zeroscons0zerosa__lengthconsNLsa__lengthmarkLa__takesMconsNILconsmarkNtakeMILmarkzerosa__zerosmarkandX1X2a__andmarkX1X2marklengthXa__lengthmarkXmarktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarknilnilmarksXsmarkXa__zeroszerosa__andX1X2andX1X2a__lengthXlengthXa__takeX1X2takeX1X2marktakeX1X2a__takemarkX1markX2falsemarkzerosa__zerosfalse