2.28/1.58	NO
2.28/1.58	
2.28/1.58	Proof:
2.28/1.58	This system is not confluent.
2.28/1.58	Removed infeasible rules from system R.
2.28/1.58	For the unconditional CP gcd(z', s(add(y', z'))) = gcd(s(y'), z') the left- and right-hand sides are two different normal forms wrt R_u.
2.28/1.58	
3.93/2.05	EOF