appappplus0yyappappplusappsxyappsappappplusxyappappappcurryfxyappappfxyaddappcurryplus2.1appplus0plusplus1plus2000s0ss1curry0currycurry1curry2curry3add0addappplusy1plus1y1appplus1x0y1plus2x0y1appsy1s1y1appcurryy1curry1y1appcurry1x0y1curry2x0y1appcurry2x0x1y1curry3x0x1y1plus20yyplus2s1xys1plus2xycurry3fxyappappfxyaddcurry1plusappplusy1plus1y1appplus1x0y1plus2x0y1appsy1s1y1appcurryy1curry1y1appcurry1x0y1curry2x0y1appcurry2x0x1y1curry3x0x1y110011add033plus091s081curry0102s1121curry1102plus1141plus2251curry3370app260curry22111AProVEAProVE 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