emptyniltrueemptyconsxlfalseheadconsxlxtailnilniltailconsxllrevnilnilrevconsxlconsrev1xlrev2xllastxlifemptylxliftruexlxiffalsexllastheadltaillrev2xnilnilrev2xconsylrevconsxrev2yl2.110revconsxlrev2xllastxlifemptylxllastxlemptyliffalsexllastheadltailliffalsexlheadliffalsexltaillrev2xconsylrevconsxrev2ylrev2xconsylrev2yltrueiffalsexllastheadltailllastxlifemptylxltrueemptyniltrueemptyconsxlfalseheadconsxlxtailnilniltailconsxllemptynilemptyconsx0x1headconsx0x1tailniltailconsx0x1121if301211012213false011last212011412head101011tail101141empty101111cons211141412nil001true001tailnilniltailconsxllemptyniltrueemptyconsxlfalserev2xconsylrevconsxrev2ylrevconsxlrev2xlrev2xconsylrev2yltruerev2xnilnilrev2xconsylrevconsxrev2ylrevconsxlconsrev1xlrev2xlrevnilrevconsx0x1rev2x0nilrev2x0consx1x21rev1-221cons2122rev222nil02rev11rev1222122rev2222revconsxlrev2xlrevconsxlrev2xl1true11true2lastxlemptylfalseiffalsexlheadlfalseiffalsexltaillfalseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (13 real / 0 unknown / 0 assumptions / 13 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe