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