1.55/0.70	YES
1.55/0.70	
1.55/0.70	Problem:
1.55/0.70	 1(0(x1)) -> 0(0(0(1(x1))))
1.55/0.70	 0(1(x1)) -> 1(x1)
1.55/0.70	 1(1(x1)) -> 0(0(0(0(x1))))
1.55/0.70	 0(0(x1)) -> 0(x1)
1.55/0.70	
1.55/0.70	Proof:
1.55/0.70	 String Reversal Processor:
1.55/0.70	  0(1(x1)) -> 1(0(0(0(x1))))
1.55/0.70	  1(0(x1)) -> 1(x1)
1.55/0.70	  1(1(x1)) -> 0(0(0(0(x1))))
1.55/0.70	  0(0(x1)) -> 0(x1)
1.55/0.70	  KBO Processor:
1.55/0.70	   weight function:
1.55/0.70	    w0 = 1
1.55/0.70	    w(1) = 1
1.55/0.70	    w(0) = 0
1.55/0.70	   precedence:
1.55/0.70	    0 > 1
1.55/0.70	   problem:
1.55/0.70	    
1.55/0.70	   Qed
1.55/0.70	EOF