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(x1)) -> b(b(b(x1)))
0.00/0.00	   2: b(b(b(b(x2)))) -> a(a(a(x2)))
0.00/0.00	
0.00/0.00	unjoinable peak
0.00/0.00	    a(b(b(b(x1))))
0.00/0.00	*<- a(a(a(x1))) ->*
0.00/0.00	    b(b(b(a(x1))))
0.00/0.00	EOF