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