Marked_appsaddplusMarked_add0curryappfxyapp(app(plus,0),y)yapp(app(plus,app(s,x)),y)app(s,app(app(plus,x),y))app(app(app(curry,f),x),y)app(app(f,x),y)addapp(curry,plus)app(app(plus,0),y)yapp(app(plus,app(s,x)),y)app(s,app(app(plus,x),y))app(app(app(curry,f),x),y)app(app(f,x),y)addapp(curry,plus)Marked_app(app(plus,app(s,x)),y)Marked_app(s,app(app(plus,x),y))Marked_app(app(plus,app(s,x)),y)Marked_app(app(plus,x),y)Marked_app(app(plus,app(s,x)),y)Marked_app(plus,x)Marked_app(app(app(curry,f),x),y)Marked_app(app(f,x),y)Marked_app(app(app(curry,f),x),y)Marked_app(f,x)Marked_addMarked_app(curry,plus)app(app(plus,0),y)yapp(app(plus,app(s,x)),y)app(s,app(app(plus,x),y))app(app(app(curry,f),x),y)app(app(f,x),y)addapp(curry,plus)Marked_app(app(plus,app(s,x)),y)Marked_app(app(plus,x),y)Marked_app(app(app(curry,f),x),y)Marked_app(app(f,x),y)Marked_app(app(app(curry,f),x),y)Marked_app(f,x)app110curry0020plus0add10s10Marked_app220Marked_app(app(plus,app(s,x)),y)Marked_app(app(plus,x),y)app(app(plus,0),y)yapp(app(plus,app(s,x)),y)app(s,app(app(plus,x),y))app(app(app(curry,f),x),y)app(app(f,x),y)addapp(curry,plus)Marked_app(app(app(curry,f),x),y)Marked_app(app(f,x),y)Marked_app(app(app(curry,f),x),y)Marked_app(f,x)app(app(plus,0),y)yapp(app(plus,app(s,x)),y)app(s,app(app(plus,x),y))app(app(app(curry,f),x),y)app(app(f,x),y)addapp(curry,plus)Marked_app(app(app(curry,f),x),y)Marked_app(app(f,x),y)Marked_app(app(app(curry,f),x),y)Marked_app(f,x)app2110curry0020plus0add30s0Marked_app220