0.00/0.00	YES
0.00/0.00	
0.00/0.00	2 decompositions
0.00/0.00	 #0 -----------
0.00/0.00	  13: h(c(),c()) -> h(b(),f(b()))
0.00/0.00	  14: f(h(a(),h(c(),a()))) -> c()
0.00/0.00	  15: h(c(),b()) -> f(a())
0.00/0.00	
0.00/0.00	 #1 -----------
0.00/0.00	   1: if(true(),a(),_y1) -> a()
0.00/0.00	   2: if(true(),b(),_y2) -> b()
0.00/0.00	   3: if(true(),g(a()),_y3) -> g(a())
0.00/0.00	   4: if(true(),g(b()),_y4) -> g(b())
0.00/0.00	   5: if(false(),_y5,a()) -> a()
0.00/0.00	   6: if(false(),_y6,b()) -> b()
0.00/0.00	   7: if(false(),_y7,g(a())) -> g(a())
0.00/0.00	   8: if(false(),_y8,g(b())) -> g(b())
0.00/0.00	   9: g(a()) -> g(g(a()))
0.00/0.00	  10: g(b()) -> a()
0.00/0.00	  11: f'(a(),b()) -> b()
0.00/0.00	  12: f'(g(g(a())),_y9) -> b()
0.00/0.00	
0.00/0.00	@Mutually Orthogonal
0.00/0.00	--- R
0.00/0.00	  13: h(c(),c()) -> h(b(),f(b()))
0.00/0.00	  14: f(h(a(),h(c(),a()))) -> c()
0.00/0.00	  15: h(c(),b()) -> f(a())
0.00/0.00	
0.00/0.00	--- S
0.00/0.00	   1: if(true(),a(),_y1) -> a()
0.00/0.00	   2: if(true(),b(),_y2) -> b()
0.00/0.00	   3: if(true(),g(a()),_y3) -> g(a())
0.00/0.00	   4: if(true(),g(b()),_y4) -> g(b())
0.00/0.00	   5: if(false(),_y5,a()) -> a()
0.00/0.00	   6: if(false(),_y6,b()) -> b()
0.00/0.00	   7: if(false(),_y7,g(a())) -> g(a())
0.00/0.00	   8: if(false(),_y8,g(b())) -> g(b())
0.00/0.00	   9: g(a()) -> g(g(a()))
0.00/0.00	  10: g(b()) -> a()
0.00/0.00	  11: f'(a(),b()) -> b()
0.00/0.00	  12: f'(g(g(a())),_y9) -> b()
0.00/0.00	
0.00/0.00	
0.00/0.00	EOF