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__length1110mark1210a__and201420length1211and221420s1110a__length1212nil08mark1410a__and221620tt08cons2101420zeros00000a__zeros00a__lengthconsNLa__lengthmarkLa__lengthconsNLmarkLmarkandX1X2markX1markandX1X2a__andmarkX1X2a__andttXmarkXmarkconsX1X2markX1marksXmarkXa__zeroscons0zerosa__andttXmarkXa__lengthnil0a__lengthconsNLsa__lengthmarkLmarkzerosa__zerosmarkandX1X2a__andmarkX1X2marklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00markttttmarknilnilmarksXsmarkXa__zeroszerosa__andX1X2andX1X2a__lengthXlengthXa__lengthconsNLa__lengthmarkLtrue1a__length1210length1210and211820s1110a__length1210nil00mark1110a__and211820tt014cons241120zeros00000a__zeros00a__lengthconsNLa__lengthmarkLa__zeroscons0zerosa__lengthnil0a__lengthconsNLsa__lengthmarkLmarkzerosa__zerosmarkandX1X2a__andmarkX1X2marklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00markttttmarknilnilmarksXsmarkXa__zeroszerosa__andX1X2andX1X2a__lengthXlengthX1a__length1414length1410and281120s1210a__length1410nil06mark1410a__and281420tt04cons221820zeros00000a__zeros00a__lengthconsNLa__lengthmarkLa__zeroscons0zerosa__lengthconsNLsa__lengthmarkLmarkzerosa__zerosmarkandX1X2a__andmarkX1X2marklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00marksXsmarkXa__zeroszerosa__andX1X2andX1X2a__lengthXlengthX1a__length11114length1110and211228s1210a__length1110mark1210a__and211428cons281820zeros00000a__zeros00a__lengthconsNLa__lengthmarkLa__zeroscons0zerosa__lengthconsNLsa__lengthmarkLmarkzerosa__zerosmarklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00marksXsmarkXa__zeroszerosa__andX1X2andX1X2a__lengthXlengthX1a__length11114length1111s1110a__length1111mark1410cons221820zeros00000a__zeros00a__lengthconsNLa__lengthmarkLmarkzerosa__zerosmarkconsX1X2consmarkX1X2mark00marksXsmarkXa__zeroscons0zerosa__zeroszerosa__lengthconsNLsa__lengthmarkLa__lengthXlengthXmarkzerosa__zerosmarklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00marksXsmarkXa__zeroscons0zerosa__zeroszerosa__lengthconsNLsa__lengthmarkLa__lengthXlengthX1a__length1110s1210mark1410cons281420zeros01000a__zeros04a__lengthconsNLa__lengthmarkLmarkzerosa__zerosmarkconsX1X2consmarkX1X2mark00marksXsmarkXa__zeroscons0zerosmarkzerosa__zerosmarkconsX1X2consmarkX1X2mark00marksXsmarkXa__zeroscons0zerosa__zeroszeros1a__length1110s1112mark1118cons211128zeros00000a__zeros08a__lengthconsNLa__lengthmarkLmarkzerosa__zerosmarkconsX1X2consmarkX1X2marksXsmarkXa__zeroscons0zeros1a__length1110s1418mark1618cons241628zeros00000a__zeros08a__lengthconsNLa__lengthmarkLmarkzerosa__zerosa__zeroscons0zerosa__lengthconsNLmarkLfalsemarkandX1X2markX1markandX1X2a__andmarkX1X2a__andttXmarkXmarkconsX1X2markX1marksXmarkXtrue1mark1111a__and201126length1010and2101125s1813a__length1210nil08mark1213a__and2131022tt04cons221320zeros012006a__zeros00markandX1X2a__andmarkX1X2markconsX1X2markX1markconsX1X2markX1true1mark18112cons211023markandX1X2a__andmarkX1X2falsemarkzerosa__zerosfalse