1.28/1.44	NO
1.28/1.44	
1.28/1.44	Problem:
1.28/1.44	 0(1(2(1(x)))) -> 1(2(1(1(0(1(2(0(1(2(x))))))))))
1.28/1.44	 0(1(2(1(x)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(x)))))))))))))
1.28/1.44	 0(1(2(1(x)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(x))))))))))))))))
1.28/1.44	 0(1(2(1(x)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x)))))))))))))))))))
1.28/1.44	 0(1(2(1(x)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x))))))))))))))))))))))
1.28/1.44	 0(1(2(1(x)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x)))))))))))))))))))))))))
1.28/1.44	
1.28/1.44	Proof:
1.28/1.44	 Nonconfluence Processor:
1.28/1.44	  terms: 1(2(1(1(0(1(2(0(1(2(x)))))))))) *<- 0(1(2(1(x)))) ->* 1(2(1(
1.28/1.44	                                                                    1(0(1(2(0(1(2(0(1(2(x)))))))))))))
1.28/1.44	  Qed
1.28/1.45	EOF