0.86/1.01	YES
0.86/1.01	
0.86/1.01	2 decompositions
0.86/1.01	 #0 -----------
0.86/1.01	   4: f(g(_y3),g(_y4)) -> f(g(_y3),h(_y4))
0.86/1.01	   5: f(h(_y5),g(_y6)) -> f(g(_y5),g(_y6))
0.86/1.01	   6: f(g(_y7),h(_y8)) -> f(_y7,_y8)
0.86/1.01	   7: f(h(_y9),h(_y10)) -> f(_y10,_y9)
0.86/1.01	   8: f(_y11,_y12) -> f(_y12,_y11)
0.86/1.01	   9: g(_y13) -> h(_y13)
0.86/1.01	  10: h(_y14) -> g(_y14)
0.86/1.01	
0.86/1.01	 #1 -----------
0.86/1.01	   1: f(0(),0()) -> f(0(),1())
0.86/1.01	   2: f(1(),0()) -> f(0(),0())
0.86/1.01	   3: f(_y1,_y2) -> f(_y2,_y1)
0.86/1.01	
0.86/1.01	@Rule Labeling
0.86/1.01	--- R
0.86/1.01	   4: f(g(_y3),g(_y4)) -> f(g(_y3),h(_y4))
0.86/1.01	   5: f(h(_y5),g(_y6)) -> f(g(_y5),g(_y6))
0.86/1.01	   6: f(g(_y7),h(_y8)) -> f(_y7,_y8)
0.86/1.01	   7: f(h(_y9),h(_y10)) -> f(_y10,_y9)
0.86/1.01	   8: f(_y11,_y12) -> f(_y12,_y11)
0.86/1.01	   9: g(_y13) -> h(_y13)
0.86/1.01	  10: h(_y14) -> g(_y14)
0.86/1.01	
0.86/1.01	--- S
0.86/1.01	   1: f(0(),0()) -> f(0(),1())
0.86/1.01	   2: f(1(),0()) -> f(0(),0())
0.86/1.01	   3: f(_y1,_y2) -> f(_y2,_y1)
0.86/1.01	
0.86/1.01	
0.86/1.02	EOF