0.34/0.48	YES
0.34/0.48	
0.34/0.48	Problem:
0.34/0.48	 0(x1) -> 1(x1)
0.34/0.48	 4(5(4(5(x1)))) -> 4(4(5(5(x1))))
0.34/0.48	 5(5(5(5(5(5(4(4(4(4(4(4(x1)))))))))))) -> 2(x1)
0.34/0.48	
0.34/0.48	Proof:
0.34/0.48	 String Reversal Processor:
0.34/0.48	  0(x1) -> 1(x1)
0.34/0.48	  5(4(5(4(x1)))) -> 5(5(4(4(x1))))
0.34/0.48	  4(4(4(4(4(4(5(5(5(5(5(5(x1)))))))))))) -> 2(x1)
0.34/0.48	  KBO Processor:
0.34/0.48	   weight function:
0.34/0.48	    w0 = 1
0.34/0.48	    w(2) = w(5) = w(1) = w(0) = 1
0.34/0.48	    w(4) = 0
0.34/0.48	   precedence:
0.34/0.48	    4 > 0 > 2 ~ 5 ~ 1
0.34/0.48	   problem:
0.34/0.48	    
0.34/0.48	   Qed
0.34/0.49	EOF