Marked_wbvMarked_vawMarked_aduMarked_uc`z``y``x`a(c(d(x)))c(x)u(b(d(d(x))))b(x)v(a(a(x)))u(v(x))v(a(c(x)))u(b(d(x)))v(c(x))b(x)w(a(a(x)))u(w(x))w(a(c(x)))u(b(d(x)))w(c(x))b(x)a(c(d(x)))c(x)u(b(d(d(x))))b(x)v(a(a(x)))u(v(x))v(a(c(x)))u(b(d(x)))v(c(x))b(x)w(a(a(x)))u(w(x))w(a(c(x)))u(b(d(x)))w(c(x))b(x)Marked_v(a(a(x)))Marked_u(v(x))Marked_v(a(a(x)))Marked_v(x)Marked_v(a(c(x)))Marked_u(b(d(x)))Marked_w(a(a(x)))Marked_u(w(x))Marked_w(a(a(x)))Marked_w(x)Marked_w(a(c(x)))Marked_u(b(d(x)))a(c(d(x)))c(x)u(b(d(d(x))))b(x)v(a(a(x)))u(v(x))v(a(c(x)))u(b(d(x)))v(c(x))b(x)w(a(a(x)))u(w(x))w(a(c(x)))u(b(d(x)))w(c(x))b(x)Marked_v(a(a(x)))Marked_v(x)Marked_v1Marked_v(a(a(x)))Marked_v(x)a(c(d(x)))c(x)u(b(d(d(x))))b(x)v(a(a(x)))u(v(x))v(a(c(x)))u(b(d(x)))v(c(x))b(x)w(a(a(x)))u(w(x))w(a(c(x)))u(b(d(x)))w(c(x))b(x)a(c(d(x)))c(x)u(b(d(d(x))))b(x)v(a(a(x)))u(v(x))v(a(c(x)))u(b(d(x)))v(c(x))b(x)w(a(a(x)))u(w(x))w(a(c(x)))u(b(d(x)))w(c(x))b(x)Marked_w(a(a(x)))Marked_w(x)Marked_w1Marked_w(a(a(x)))Marked_w(x)a(c(d(x)))c(x)u(b(d(d(x))))b(x)v(a(a(x)))u(v(x))v(a(c(x)))u(b(d(x)))v(c(x))b(x)w(a(a(x)))u(w(x))w(a(c(x)))u(b(d(x)))w(c(x))b(x)