emptyniltrueemptyconsxlfalseheadconsxlxtailnilniltailconsxllrevnilnilrevconsxlconsrev1xlrev2xllastxlifemptylxliftruexlxiffalsexllastheadltaillrev2xnilnilrev2xconsylrevconsxrev2ylrevconsxlrev2xllastxlemptyllastxlifemptylxliffalsexltailliffalsexlheadliffalsexllastheadltaillrev2xconsylrev2ylrev2xconsylrevconsxrev2yltruerev2xconsylrev2ylrev2xconsylrevconsxrev2ylrevconsxlrev2xltruerev220rev11rev223rev122rev14cons22nil00nil0cons22rev11rev122rev222rev11rev222rev2xconsylrevconsxrev2ylrev2xnilnilrev2xconsylrevconsxrev2ylrevconsxlconsrev1xlrev2xlrev2xconsylrevconsxrev2ylfalseiffalsexllastheadltailllastxlifemptylxltrue1if341243-16last2-41520tail1-710head131false01cons201822true00empty101-8nil00iffalsexllastheadltailltailnilniltailconsxllheadconsxlxemptyniltrueemptyconsxlfalseiffalsexllastheadltaillfalseiffalsexlheadlfalseiffalsexltaillfalselastxlemptylfalse