0.00/0.00	NO
0.00/0.00	
0.00/0.00	1 decompositions
0.00/0.00	 #0 -----------
0.00/0.00	   1: a(a(x)) -> b(b(b(x)))
0.00/0.00	   2: b(b(b(b(x)))) -> a(a(a(x)))
0.00/0.00	
0.00/0.00	unjoinable peak
0.00/0.00	    a(b(b(b(x))))
0.00/0.00	*<- a(a(a(x))) ->*
0.00/0.00	    b(b(b(a(x))))
0.00/0.00	EOF