1.32/0.72	YES
1.32/0.72	
1.32/0.72	Problem:
1.32/0.72	 a(x1) -> b(b(x1))
1.32/0.72	 b(b(b(x1))) -> a(x1)
1.32/0.72	
1.32/0.72	Proof:
1.32/0.72	 Matrix Interpretation Processor: dim=1
1.32/0.72	  
1.32/0.72	  interpretation:
1.32/0.72	   [b](x0) = 3x0 + 1,
1.32/0.72	   
1.32/0.72	   [a](x0) = 9x0 + 4
1.32/0.72	  orientation:
1.32/0.72	   a(x1) = 9x1 + 4 >= 9x1 + 4 = b(b(x1))
1.32/0.72	   
1.32/0.72	   b(b(b(x1))) = 27x1 + 13 >= 9x1 + 4 = a(x1)
1.32/0.72	  problem:
1.32/0.72	   a(x1) -> b(b(x1))
1.32/0.72	  KBO Processor:
1.32/0.72	   weight function:
1.32/0.72	    w0 = 1
1.32/0.72	    w(a) = 1
1.32/0.72	    w(b) = 0
1.32/0.72	   precedence:
1.32/0.72	    b > a
1.32/0.72	   problem:
1.32/0.72	    
1.32/0.72	   Qed
1.32/0.72	EOF