appappappendnilllappappappendappappconshtlappappconshappappappendtlappappmapfnilnilappappmapfappappconshtappappconsappfhappappmapftappappappendappappappendl1l2l3appappappendl1appappappendl2l3appappmapfappappappendl1l2appappappendappappmapfl1appappmapfl22.1appappend0appendappend1append2nil0nilcons0conscons1cons2map0mapmap1map2appappendy1append1y1appappend1x0y1append2x0y1appconsy1cons1y1appcons1x0y1cons2x0y1appmapy1map1y1appmap1x0y1map2x0y1append2nilllappend2cons2htlcons2happend2tlmap2fnilnilmap2fcons2htcons2appfhmap2ftappend2append2l1l2l3append2l1append2l2l3map2fappend2l1l2append2map2fl1map2fl2appappendy1append1y1appappend1x0y1append2x0y1appconsy1cons1y1appcons1x0y1cons2x0y1appmapy1map1y1appmap1x0y1map2x0y1append221nil02cons220map224app24append05cons03cons113map06map114append2212nil0cons2212map2212app212append0append111cons0cons111map0map111AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (3 real / 0 unknown / 0 assumptions / 3 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe