+Marked_ppMarked_fgMarked_gfMarked_hpairMarked_+sMarked_qhq0zyxf(0)0f(s(0))s(0)f(s(s(x)))p(h(g(x)))g(0)pair(s(0),s(0))g(s(x))h(g(x))h(x)pair(+(p(x),q(x)),p(x))p(pair(x,y))xq(pair(x,y))y+(x,0)x+(x,s(y))s(+(x,y))f(s(s(x)))+(p(g(x)),q(g(x)))g(s(x))pair(+(p(g(x)),q(g(x))),p(g(x)))f(0)0f(s(0))s(0)f(s(s(x)))p(h(g(x)))g(0)pair(s(0),s(0))g(s(x))h(g(x))h(x)pair(+(p(x),q(x)),p(x))p(pair(x,y))xq(pair(x,y))y+(x,0)x+(x,s(y))s(+(x,y))f(s(s(x)))+(p(g(x)),q(g(x)))g(s(x))pair(+(p(g(x)),q(g(x))),p(g(x)))Marked_f(s(s(x)))Marked_p(h(g(x)))Marked_f(s(s(x)))Marked_h(g(x))Marked_f(s(s(x)))Marked_g(x)Marked_g(s(x))Marked_h(g(x))Marked_g(s(x))Marked_g(x)Marked_h(x)Marked_+(p(x),q(x))Marked_h(x)Marked_p(x)Marked_h(x)Marked_q(x)Marked_h(x)Marked_p(x)Marked_+(x,s(y))Marked_+(x,y)Marked_f(s(s(x)))Marked_+(p(g(x)),q(g(x)))Marked_f(s(s(x)))Marked_p(g(x))Marked_f(s(s(x)))Marked_g(x)Marked_f(s(s(x)))Marked_q(g(x))Marked_f(s(s(x)))Marked_g(x)Marked_g(s(x))Marked_+(p(g(x)),q(g(x)))Marked_g(s(x))Marked_p(g(x))Marked_g(s(x))Marked_g(x)Marked_g(s(x))Marked_q(g(x))Marked_g(s(x))Marked_g(x)Marked_g(s(x))Marked_p(g(x))Marked_g(s(x))Marked_g(x)f(0)0f(s(0))s(0)f(s(s(x)))p(h(g(x)))g(0)pair(s(0),s(0))g(s(x))h(g(x))h(x)pair(+(p(x),q(x)),p(x))p(pair(x,y))xq(pair(x,y))y+(x,0)x+(x,s(y))s(+(x,y))f(s(s(x)))+(p(g(x)),q(g(x)))g(s(x))pair(+(p(g(x)),q(g(x))),p(g(x)))Marked_g(s(x))Marked_g(x)Marked_g(s(x))Marked_g(x)Marked_g(s(x))Marked_g(x)Marked_g(s(x))Marked_g(x)Marked_g1Marked_g(s(x))Marked_g(x)Marked_g(s(x))Marked_g(x)Marked_g(s(x))Marked_g(x)Marked_g(s(x))Marked_g(x)f(0)0f(s(0))s(0)f(s(s(x)))p(h(g(x)))g(0)pair(s(0),s(0))g(s(x))h(g(x))h(x)pair(+(p(x),q(x)),p(x))p(pair(x,y))xq(pair(x,y))y+(x,0)x+(x,s(y))s(+(x,y))f(s(s(x)))+(p(g(x)),q(g(x)))g(s(x))pair(+(p(g(x)),q(g(x))),p(g(x)))f(0)0f(s(0))s(0)f(s(s(x)))p(h(g(x)))g(0)pair(s(0),s(0))g(s(x))h(g(x))h(x)pair(+(p(x),q(x)),p(x))p(pair(x,y))xq(pair(x,y))y+(x,0)x+(x,s(y))s(+(x,y))f(s(s(x)))+(p(g(x)),q(g(x)))g(s(x))pair(+(p(g(x)),q(g(x))),p(g(x)))Marked_+(x,s(y))Marked_+(x,y)Marked_+2Marked_+(x,s(y))Marked_+(x,y)f(0)0f(s(0))s(0)f(s(s(x)))p(h(g(x)))g(0)pair(s(0),s(0))g(s(x))h(g(x))h(x)pair(+(p(x),q(x)),p(x))p(pair(x,y))xq(pair(x,y))y+(x,0)x+(x,s(y))s(+(x,y))f(s(s(x)))+(p(g(x)),q(g(x)))g(s(x))pair(+(p(g(x)),q(g(x))),p(g(x)))