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