Marked_fsfMarked_dntatdMarked_trMarked_a0nilMarked_pqnfMarked_qnspMarked_scszyxX2X1ZYXNt(N)cs(r(q(N)),nt(ns(N)))q(0)0q(s(X))s(p(q(X),d(X)))d(0)0d(s(X))s(s(d(X)))p(0,X)Xp(X,0)Xp(s(X),s(Y))s(s(p(X,Y)))f(0,X)nilf(s(X),cs(Y,Z))cs(Y,nf(X,a(Z)))t(X)nt(X)s(X)ns(X)f(X1,X2)nf(X1,X2)a(nt(X))t(a(X))a(ns(X))s(a(X))a(nf(X1,X2))f(a(X1),a(X2))a(X)Xt(N)cs(r(q(N)),nt(ns(N)))q(0)0q(s(X))s(p(q(X),d(X)))d(0)0d(s(X))s(s(d(X)))p(0,X)Xp(X,0)Xp(s(X),s(Y))s(s(p(X,Y)))f(0,X)nilf(s(X),cs(Y,Z))cs(Y,nf(X,a(Z)))t(X)nt(X)s(X)ns(X)f(X1,X2)nf(X1,X2)a(nt(X))t(a(X))a(ns(X))s(a(X))a(nf(X1,X2))f(a(X1),a(X2))a(X)XMarked_t(N)Marked_q(N)Marked_q(s(X))Marked_s(p(q(X),d(X)))Marked_q(s(X))Marked_p(q(X),d(X))Marked_q(s(X))Marked_q(X)Marked_q(s(X))Marked_d(X)Marked_d(s(X))Marked_s(s(d(X)))Marked_d(s(X))Marked_s(d(X))Marked_d(s(X))Marked_d(X)Marked_p(s(X),s(Y))Marked_s(s(p(X,Y)))Marked_p(s(X),s(Y))Marked_s(p(X,Y))Marked_p(s(X),s(Y))Marked_p(X,Y)Marked_f(s(X),cs(Y,Z))Marked_a(Z)Marked_a(nt(X))Marked_t(a(X))Marked_a(nt(X))Marked_a(X)Marked_a(ns(X))Marked_s(a(X))Marked_a(ns(X))Marked_a(X)Marked_a(nf(X1,X2))Marked_f(a(X1),a(X2))Marked_a(nf(X1,X2))Marked_a(X1)Marked_a(nf(X1,X2))Marked_a(X2)t(N)cs(r(q(N)),nt(ns(N)))q(0)0q(s(X))s(p(q(X),d(X)))d(0)0d(s(X))s(s(d(X)))p(0,X)Xp(X,0)Xp(s(X),s(Y))s(s(p(X,Y)))f(0,X)nilf(s(X),cs(Y,Z))cs(Y,nf(X,a(Z)))t(X)nt(X)s(X)ns(X)f(X1,X2)nf(X1,X2)a(nt(X))t(a(X))a(ns(X))s(a(X))a(nf(X1,X2))f(a(X1),a(X2))a(X)XMarked_f(s(X),cs(Y,Z))Marked_a(Z)Marked_a(nt(X))Marked_a(X)Marked_a(ns(X))Marked_a(X)Marked_a(nf(X1,X2))Marked_f(a(X1),a(X2))Marked_a(nf(X1,X2))Marked_a(X1)Marked_a(nf(X1,X2))Marked_a(X2)cs10p220ns10nf110q0nil000Marked_a20r0d0t210a10nt210f110s10Marked_f20Marked_a(nt(X))Marked_a(X)t(N)cs(r(q(N)),nt(ns(N)))q(0)0q(s(X))s(p(q(X),d(X)))d(0)0d(s(X))s(s(d(X)))p(0,X)Xp(X,0)Xp(s(X),s(Y))s(s(p(X,Y)))f(0,X)nilf(s(X),cs(Y,Z))cs(Y,nf(X,a(Z)))t(X)nt(X)s(X)ns(X)f(X1,X2)nf(X1,X2)a(nt(X))t(a(X))a(ns(X))s(a(X))a(nf(X1,X2))f(a(X1),a(X2))a(X)XMarked_f(s(X),cs(Y,Z))Marked_a(Z)Marked_a(ns(X))Marked_a(X)Marked_a(nf(X1,X2))Marked_f(a(X1),a(X2))Marked_a(nf(X1,X2))Marked_a(X1)Marked_a(nf(X1,X2))Marked_a(X2)t(N)cs(r(q(N)),nt(ns(N)))q(0)0q(s(X))s(p(q(X),d(X)))d(0)0d(s(X))s(s(d(X)))p(0,X)Xp(X,0)Xp(s(X),s(Y))s(s(p(X,Y)))f(0,X)nilf(s(X),cs(Y,Z))cs(Y,nf(X,a(Z)))t(X)nt(X)s(X)ns(X)f(X1,X2)nf(X1,X2)a(nt(X))t(a(X))a(ns(X))s(a(X))a(nf(X1,X2))f(a(X1),a(X2))a(X)XMarked_f(s(X),cs(Y,Z))Marked_a(Z)Marked_a(ns(X))Marked_a(X)Marked_a(nf(X1,X2))Marked_f(a(X1),a(X2))Marked_a(nf(X1,X2))Marked_a(X1)Marked_a(nf(X1,X2))Marked_a(X2)cs10p110ns10nf2210q0nil2000Marked_a20r0d0t0a10nt0f2210s10Marked_f2220Marked_f(s(X),cs(Y,Z))Marked_a(Z)Marked_a(nf(X1,X2))Marked_f(a(X1),a(X2))Marked_a(nf(X1,X2))Marked_a(X1)Marked_a(nf(X1,X2))Marked_a(X2)t(N)cs(r(q(N)),nt(ns(N)))q(0)0q(s(X))s(p(q(X),d(X)))d(0)0d(s(X))s(s(d(X)))p(0,X)Xp(X,0)Xp(s(X),s(Y))s(s(p(X,Y)))f(0,X)nilf(s(X),cs(Y,Z))cs(Y,nf(X,a(Z)))t(X)nt(X)s(X)ns(X)f(X1,X2)nf(X1,X2)a(nt(X))t(a(X))a(ns(X))s(a(X))a(nf(X1,X2))f(a(X1),a(X2))a(X)XMarked_a(ns(X))Marked_a(X)t(N)cs(r(q(N)),nt(ns(N)))q(0)0q(s(X))s(p(q(X),d(X)))d(0)0d(s(X))s(s(d(X)))p(0,X)Xp(X,0)Xp(s(X),s(Y))s(s(p(X,Y)))f(0,X)nilf(s(X),cs(Y,Z))cs(Y,nf(X,a(Z)))t(X)nt(X)s(X)ns(X)f(X1,X2)nf(X1,X2)a(nt(X))t(a(X))a(ns(X))s(a(X))a(nf(X1,X2))f(a(X1),a(X2))a(X)XMarked_a(ns(X))Marked_a(X)Marked_a1Marked_a(ns(X))Marked_a(X)t(N)cs(r(q(N)),nt(ns(N)))q(0)0q(s(X))s(p(q(X),d(X)))d(0)0d(s(X))s(s(d(X)))p(0,X)Xp(X,0)Xp(s(X),s(Y))s(s(p(X,Y)))f(0,X)nilf(s(X),cs(Y,Z))cs(Y,nf(X,a(Z)))t(X)nt(X)s(X)ns(X)f(X1,X2)nf(X1,X2)a(nt(X))t(a(X))a(ns(X))s(a(X))a(nf(X1,X2))f(a(X1),a(X2))a(X)Xt(N)cs(r(q(N)),nt(ns(N)))q(0)0q(s(X))s(p(q(X),d(X)))d(0)0d(s(X))s(s(d(X)))p(0,X)Xp(X,0)Xp(s(X),s(Y))s(s(p(X,Y)))f(0,X)nilf(s(X),cs(Y,Z))cs(Y,nf(X,a(Z)))t(X)nt(X)s(X)ns(X)f(X1,X2)nf(X1,X2)a(nt(X))t(a(X))a(ns(X))s(a(X))a(nf(X1,X2))f(a(X1),a(X2))a(X)XMarked_q(s(X))Marked_q(X)Marked_q1Marked_q(s(X))Marked_q(X)t(N)cs(r(q(N)),nt(ns(N)))q(0)0q(s(X))s(p(q(X),d(X)))d(0)0d(s(X))s(s(d(X)))p(0,X)Xp(X,0)Xp(s(X),s(Y))s(s(p(X,Y)))f(0,X)nilf(s(X),cs(Y,Z))cs(Y,nf(X,a(Z)))t(X)nt(X)s(X)ns(X)f(X1,X2)nf(X1,X2)a(nt(X))t(a(X))a(ns(X))s(a(X))a(nf(X1,X2))f(a(X1),a(X2))a(X)Xt(N)cs(r(q(N)),nt(ns(N)))q(0)0q(s(X))s(p(q(X),d(X)))d(0)0d(s(X))s(s(d(X)))p(0,X)Xp(X,0)Xp(s(X),s(Y))s(s(p(X,Y)))f(0,X)nilf(s(X),cs(Y,Z))cs(Y,nf(X,a(Z)))t(X)nt(X)s(X)ns(X)f(X1,X2)nf(X1,X2)a(nt(X))t(a(X))a(ns(X))s(a(X))a(nf(X1,X2))f(a(X1),a(X2))a(X)XMarked_p(s(X),s(Y))Marked_p(X,Y)Marked_p1Marked_p(s(X),s(Y))Marked_p(X,Y)t(N)cs(r(q(N)),nt(ns(N)))q(0)0q(s(X))s(p(q(X),d(X)))d(0)0d(s(X))s(s(d(X)))p(0,X)Xp(X,0)Xp(s(X),s(Y))s(s(p(X,Y)))f(0,X)nilf(s(X),cs(Y,Z))cs(Y,nf(X,a(Z)))t(X)nt(X)s(X)ns(X)f(X1,X2)nf(X1,X2)a(nt(X))t(a(X))a(ns(X))s(a(X))a(nf(X1,X2))f(a(X1),a(X2))a(X)Xt(N)cs(r(q(N)),nt(ns(N)))q(0)0q(s(X))s(p(q(X),d(X)))d(0)0d(s(X))s(s(d(X)))p(0,X)Xp(X,0)Xp(s(X),s(Y))s(s(p(X,Y)))f(0,X)nilf(s(X),cs(Y,Z))cs(Y,nf(X,a(Z)))t(X)nt(X)s(X)ns(X)f(X1,X2)nf(X1,X2)a(nt(X))t(a(X))a(ns(X))s(a(X))a(nf(X1,X2))f(a(X1),a(X2))a(X)XMarked_d(s(X))Marked_d(X)Marked_d1Marked_d(s(X))Marked_d(X)t(N)cs(r(q(N)),nt(ns(N)))q(0)0q(s(X))s(p(q(X),d(X)))d(0)0d(s(X))s(s(d(X)))p(0,X)Xp(X,0)Xp(s(X),s(Y))s(s(p(X,Y)))f(0,X)nilf(s(X),cs(Y,Z))cs(Y,nf(X,a(Z)))t(X)nt(X)s(X)ns(X)f(X1,X2)nf(X1,X2)a(nt(X))t(a(X))a(ns(X))s(a(X))a(nf(X1,X2))f(a(X1),a(X2))a(X)X