incsmapMarked_apppluscons0nilMarked_incappxsfxyapp(app(plus,0),y)yapp(app(plus,app(s,x)),y)app(s,app(app(plus,x),y))app(app(map,f),nil)nilapp(app(map,f),app(app(cons,x),xs))app(app(cons,app(f,x)),app(app(map,f),xs))incapp(map,app(plus,app(s,0)))app(app(plus,0),y)yapp(app(plus,app(s,x)),y)app(s,app(app(plus,x),y))app(app(map,f),nil)nilapp(app(map,f),app(app(cons,x),xs))app(app(cons,app(f,x)),app(app(map,f),xs))incapp(map,app(plus,app(s,0)))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(map,f),app(app(cons,x),xs))Marked_app(app(cons,app(f,x)),app(app(map,f),xs))Marked_app(app(map,f),app(app(cons,x),xs))Marked_app(cons,app(f,x))Marked_app(app(map,f),app(app(cons,x),xs))Marked_app(f,x)Marked_app(app(map,f),app(app(cons,x),xs))Marked_app(app(map,f),xs)Marked_incMarked_app(map,app(plus,app(s,0)))Marked_incMarked_app(plus,app(s,0))Marked_incMarked_app(s,0)app(app(plus,0),y)yapp(app(plus,app(s,x)),y)app(s,app(app(plus,x),y))app(app(map,f),nil)nilapp(app(map,f),app(app(cons,x),xs))app(app(cons,app(f,x)),app(app(map,f),xs))incapp(map,app(plus,app(s,0)))Marked_app(app(plus,app(s,x)),y)Marked_app(app(plus,x),y)Marked_app(app(map,f),app(app(cons,x),xs))Marked_app(app(cons,app(f,x)),app(app(map,f),xs))Marked_app(app(map,f),app(app(cons,x),xs))Marked_app(f,x)Marked_app(app(map,f),app(app(cons,x),xs))Marked_app(app(map,f),xs)app110nil000cons0plus0Marked_app20map10s0inc20Marked_app(app(map,f),app(app(cons,x),xs))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(map,f),nil)nilapp(app(map,f),app(app(cons,x),xs))app(app(cons,app(f,x)),app(app(map,f),xs))incapp(map,app(plus,app(s,0)))Marked_app(app(plus,app(s,x)),y)Marked_app(app(plus,x),y)Marked_app(app(map,f),app(app(cons,x),xs))Marked_app(app(cons,app(f,x)),app(app(map,f),xs))Marked_app(app(map,f),app(app(cons,x),xs))Marked_app(app(map,f),xs)app(app(plus,0),y)yapp(app(plus,app(s,x)),y)app(s,app(app(plus,x),y))app(app(map,f),nil)nilapp(app(map,f),app(app(cons,x),xs))app(app(cons,app(f,x)),app(app(map,f),xs))incapp(map,app(plus,app(s,0)))Marked_app(app(plus,app(s,x)),y)Marked_app(app(plus,x),y)Marked_app(app(map,f),app(app(cons,x),xs))Marked_app(app(cons,app(f,x)),app(app(map,f),xs))Marked_app(app(map,f),app(app(cons,x),xs))Marked_app(app(map,f),xs)app120nil000cons0plus0Marked_app10map0s0inc20Marked_app(app(map,f),app(app(cons,x),xs))Marked_app(app(map,f),xs)app(app(plus,0),y)yapp(app(plus,app(s,x)),y)app(s,app(app(plus,x),y))app(app(map,f),nil)nilapp(app(map,f),app(app(cons,x),xs))app(app(cons,app(f,x)),app(app(map,f),xs))incapp(map,app(plus,app(s,0)))Marked_app(app(plus,app(s,x)),y)Marked_app(app(plus,x),y)Marked_app(app(map,f),app(app(cons,x),xs))Marked_app(app(cons,app(f,x)),app(app(map,f),xs))app(app(plus,0),y)yapp(app(plus,app(s,x)),y)app(s,app(app(plus,x),y))app(app(map,f),nil)nilapp(app(map,f),app(app(cons,x),xs))app(app(cons,app(f,x)),app(app(map,f),xs))incapp(map,app(plus,app(s,0)))Marked_app(app(plus,app(s,x)),y)Marked_app(app(plus,x),y)Marked_app(app(map,f),app(app(cons,x),xs))Marked_app(app(cons,app(f,x)),app(app(map,f),xs))app220nil0010cons0plus20Marked_app10map0s20inc20Marked_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(map,f),nil)nilapp(app(map,f),app(app(cons,x),xs))app(app(cons,app(f,x)),app(app(map,f),xs))incapp(map,app(plus,app(s,0)))Marked_app(app(map,f),app(app(cons,x),xs))Marked_app(app(cons,app(f,x)),app(app(map,f),xs))app(app(plus,0),y)yapp(app(plus,app(s,x)),y)app(s,app(app(plus,x),y))app(app(map,f),nil)nilapp(app(map,f),app(app(cons,x),xs))app(app(cons,app(f,x)),app(app(map,f),xs))incapp(map,app(plus,app(s,0)))Marked_app(app(map,f),app(app(cons,x),xs))Marked_app(app(cons,app(f,x)),app(app(map,f),xs))app110nil000cons0plus10Marked_app10map10s0inc20