1.59/0.72	YES
1.59/0.72	
1.59/0.72	Problem:
1.59/0.72	 0(*(x1)) -> *(1(x1))
1.59/0.72	 1(*(x1)) -> 0(#(x1))
1.59/0.72	 #(0(x1)) -> 0(#(x1))
1.59/0.72	 #(1(x1)) -> 1(#(x1))
1.59/0.72	 #($(x1)) -> *($(x1))
1.59/0.72	 #(#(x1)) -> #(x1)
1.59/0.72	 #(*(x1)) -> *(x1)
1.59/0.72	
1.59/0.72	Proof:
1.59/0.72	 KBO Processor:
1.59/0.72	  weight function:
1.59/0.72	   w0 = 1
1.59/0.72	   w($) = w(#) = w(1) = w(0) = w(*) = 1
1.59/0.72	  precedence:
1.59/0.72	   # > 1 > 0 > $ ~ *
1.59/0.72	  problem:
1.59/0.72	   
1.59/0.72	  Qed
1.59/0.73	EOF