0.00/0.00	NO
0.00/0.00	
0.00/0.00	2 decompositions
0.00/0.00	 #0 -----------
0.00/0.00	   5: c() -> b()
0.00/0.00	   6: b() -> a()
0.00/0.00	
0.00/0.00	 #1 -----------
0.00/0.00	   1: b() -> c()
0.00/0.00	   2: h(b(),b()) -> a()
0.00/0.00	   3: h(c(),c()) -> c()
0.00/0.00	   4: c() -> c()
0.00/0.00	
0.00/0.00	unjoinable peak
0.00/0.00	    h(a(),b())
0.00/0.00	*<- h(b(),b()) ->*
0.00/0.00	    a()
0.00/0.01	EOF