0.00/0.00	NO
0.00/0.00	
0.00/0.00	2 decompositions
0.00/0.00	 #0 -----------
0.00/0.00	  10: f(a(),b()) -> c()
0.00/0.00	  11: a() -> a'()
0.00/0.00	  12: b() -> b'()
0.00/0.00	  13: c() -> f(a'(),b())
0.00/0.00	  14: c() -> f(a(),b'())
0.00/0.00	  15: c() -> f(a(),b())
0.00/0.00	
0.00/0.00	 #1 -----------
0.00/0.00	   1: a() -> b()
0.00/0.00	   2: a() -> c()
0.00/0.00	   3: a() -> e()
0.00/0.00	   4: b() -> d()
0.00/0.00	   5: c() -> a()
0.00/0.00	   6: d() -> a()
0.00/0.00	   7: d() -> e()
0.00/0.00	   8: g(_y1) -> h(a())
0.00/0.00	   9: h(_y2) -> e()
0.00/0.00	
0.00/0.00	unjoinable peak
0.00/0.00	    a'()
0.00/0.00	*<- a() ->*
0.00/0.00	    d()
0.00/0.00	EOF