a__fromXconsmarkXfromsXa__lengthnil0a__lengthconsXYsa__length1Ya__length1Xa__lengthXmarkfromXa__frommarkXmarklengthXa__lengthXmarklength1Xa__length1XmarkconsX1X2consmarkX1X2marksXsmarkXmarknilnilmark00a__fromXfromXa__lengthXlengthXa__length1Xlength1Xa__fromXmarkXa__lengthconsXYa__length1Ya__length1Xa__lengthXmarkfromXmarkXmarkfromXa__frommarkXmarklengthXa__lengthXmarklength1Xa__length1XmarkconsX1X2markX1marksXmarkXtruemarkconsX1X2markX1markfromXmarkXmarkfromXa__frommarkXa__fromXmarkXmarksXmarkXtrue1mark1110a__from1111length11010length1010a__length11010000a__length1010nil01cons211020from1211s1810mark1110a__from1211markconsX1X2markX1markfromXa__frommarkXmarksXmarkXa__fromXconsmarkXfromsXa__lengthnil0a__lengthconsXYsa__length1Ya__length1Xa__lengthXmarkfromXa__frommarkXmarklengthXa__lengthXmarklength1Xa__length1XmarkconsX1X2consmarkX1X2marksXsmarkXmarknilnilmark00a__fromXfromXa__lengthXlengthXa__length1Xlength1XmarkconsX1X2markX1marksXmarkXtruemark11markfromXa__frommarkXfalsemarklengthXa__lengthXfalsemarklength1Xa__length1Xfalsea__length1Xa__lengthXa__lengthconsXYa__length1Ytruea__length11a__length111a__length1Xa__lengthXa__length1Xa__lengthXfalse