NO 1 decompositions #0 ----------- 1: a() -> f(f(h(a(),c()))) 2: h(h(h(c(),f(h(f(h(h(c(),c()),c())),b()))),h(h(a(),c()),h(f(a()),h(f(f(c())),h(c(),b()))))),h(f(a()),c())) -> c() unjoinable peak h(h(h(c(),f(h(f(h(h(c(),c()),c())),b()))),h(h(f(f(h(a(),c()))),c()),h(f(a()),h(f(f(c())),h(c(),b()))))),h(f(a()),c())) *<- h(h(h(c(),f(h(f(h(h(c(),c()),c())),b()))),h(h(a(),c()),h(f(a()),h(f(f(c())),h(c(),b()))))),h(f(a()),c())) ->* c()