emptyniltrueemptyconsxlfalseheadconsxlxtailnilniltailconsxllrevnilnilrevconsxlconsrev1xlrev2xllastxlifemptylxliftruexlxiffalsexllastheadltaillrev2xnilnilrev2xconsylrevconsxrev2ylrevconsxlrev2xllastxlemptyllastxlifemptylxliffalsexltailliffalsexlheadliffalsexllastheadltaillrev2xconsylrev2ylrev2xconsylrevconsxrev2yltruerev2xconsylrev2ylrev2xconsylrevconsxrev2ylrevconsxlrev2xltrue1rev2201920rev1813rev2201120rev1201020rev1110cons201224nil00rev2xnilnilrev2xconsylrevconsxrev2ylrevconsxlconsrev1xlrev2xliffalsexllastheadltailllastxlifemptylxltrueiffalsexlheadlfalseiffalsexltaillfalselastxlemptylfalse