0.00/0.00	NO
0.00/0.00	
0.00/0.00	2 decompositions
0.00/0.00	 #0 -----------
0.00/0.00	   1: f(a()) -> b()
0.00/0.00	   4: f(a()) -> f(c())
0.00/0.00	   5: a() -> d()
0.00/0.00	   6: f(d()) -> b()
0.00/0.00	   7: f(c()) -> b()
0.00/0.00	   8: d() -> c()
0.00/0.00	
0.00/0.00	 #1 -----------
0.00/0.00	   1: f(a()) -> b()
0.00/0.00	   2: a() -> a'()
0.00/0.00	   3: f(b()) -> c()
0.00/0.00	
0.00/0.00	unjoinable peak
0.00/0.00	    f(c())
0.00/0.00	*<- f(a()) ->*
0.00/0.00	    b()
0.00/0.00	EOF