Marked_gproperMarked_activegMarked_hdtopMarked_fcMarked_dhMarked_topfMarked_properactiveokMarked_cmarkXactive(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_active(f(f(X)))Marked_c(f(g(f(X))))Marked_active(f(f(X)))Marked_f(g(f(X)))Marked_active(f(f(X)))Marked_g(f(X))Marked_active(c(X))Marked_d(X)Marked_active(h(X))Marked_c(d(X))Marked_active(h(X))Marked_d(X)Marked_active(f(X))Marked_f(active(X))Marked_active(f(X))Marked_active(X)Marked_active(h(X))Marked_h(active(X))Marked_active(h(X))Marked_active(X)Marked_f(mark(X))Marked_f(X)Marked_h(mark(X))Marked_h(X)Marked_proper(f(X))Marked_f(proper(X))Marked_proper(f(X))Marked_proper(X)Marked_proper(c(X))Marked_c(proper(X))Marked_proper(c(X))Marked_proper(X)Marked_proper(g(X))Marked_g(proper(X))Marked_proper(g(X))Marked_proper(X)Marked_proper(d(X))Marked_d(proper(X))Marked_proper(d(X))Marked_proper(X)Marked_proper(h(X))Marked_h(proper(X))Marked_proper(h(X))Marked_proper(X)Marked_f(ok(X))Marked_f(X)Marked_c(ok(X))Marked_c(X)Marked_g(ok(X))Marked_g(X)Marked_d(ok(X))Marked_d(X)Marked_h(ok(X))Marked_h(X)Marked_top(mark(X))Marked_top(proper(X))Marked_top(mark(X))Marked_proper(X)Marked_top(ok(X))Marked_top(active(X))Marked_top(ok(X))Marked_active(X)active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_top(mark(X))Marked_top(proper(X))Marked_top(ok(X))Marked_top(active(X))mark0ok10active0f20Marked_top10h10c20top0d10g20proper0Marked_top(ok(X))Marked_top(active(X))active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_top(mark(X))Marked_top(proper(X))active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_top(mark(X))Marked_top(proper(X))mark210ok20active230f120Marked_top30h10c20top0d10g10proper10active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_proper(f(X))Marked_proper(X)Marked_proper(c(X))Marked_proper(X)Marked_proper(g(X))Marked_proper(X)Marked_proper(d(X))Marked_proper(X)Marked_proper(h(X))Marked_proper(X)Marked_proper1Marked_proper(h(X))Marked_proper(X)Marked_proper(d(X))Marked_proper(X)Marked_proper(g(X))Marked_proper(X)Marked_proper(c(X))Marked_proper(X)Marked_proper(f(X))Marked_proper(X)active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_active(f(X))Marked_active(X)Marked_active(h(X))Marked_active(X)Marked_active1Marked_active(h(X))Marked_active(X)Marked_active(f(X))Marked_active(X)active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_g(ok(X))Marked_g(X)Marked_g1Marked_g(ok(X))Marked_g(X)active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_c(ok(X))Marked_c(X)Marked_c1Marked_c(ok(X))Marked_c(X)active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_d(ok(X))Marked_d(X)Marked_d1Marked_d(ok(X))Marked_d(X)active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_f(mark(X))Marked_f(X)Marked_f(ok(X))Marked_f(X)Marked_f1Marked_f(ok(X))Marked_f(X)Marked_f(mark(X))Marked_f(X)active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_h(mark(X))Marked_h(X)Marked_h(ok(X))Marked_h(X)Marked_h1Marked_h(ok(X))Marked_h(X)Marked_h(mark(X))Marked_h(X)active(f(f(X)))mark(c(f(g(f(X)))))active(c(X))mark(d(X))active(h(X))mark(c(d(X)))active(f(X))f(active(X))active(h(X))h(active(X))f(mark(X))mark(f(X))h(mark(X))mark(h(X))proper(f(X))f(proper(X))proper(c(X))c(proper(X))proper(g(X))g(proper(X))proper(d(X))d(proper(X))proper(h(X))h(proper(X))f(ok(X))ok(f(X))c(ok(X))ok(c(X))g(ok(X))ok(g(X))d(ok(X))ok(d(X))h(ok(X))ok(h(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))