emptyniltrueemptyconsxlfalseheadconsxlxtailnilniltailconsxllrevnilnilrevconsxlconsrev1xlrev2xllastxlifemptylxliftruexlxiffalsexllastheadltaillrev2xnilnilrev2xconsylrevconsxrev2ylrevconsxlrev2xllastxlifemptylxllastxlemptyliffalsexllastheadltailliffalsexlheadliffalsexltaillrev2xconsylrevconsxrev2ylrev2xconsylrev2yltruerev2xconsylrevconsxrev2ylrevconsxlrev2xlrev2xconsylrev2yltrue2341rev22112cons2112rev1111rev2212nil00rev111rev120rev2xconsylrevconsxrev2ylrev2xnilnilrev2xconsylrevconsxrev2ylrevconsxlconsrev1xlrev2xlrev2xconsylrevconsxrev2ylfalseiffalsexllastheadltailllastxlifemptylxltrue1if314211142123false011last212141322head114121tail101141empty101141cons241211412nil001true001headconsxlxtailnilniltailconsxllemptyniltrueemptyconsxlfalselastxlemptylfalseiffalsexlheadlfalseiffalsexltaillfalse