3.22/1.79	YES
3.22/1.79	
3.23/1.80	Proof:
3.23/1.80	This system is confluent.
3.23/1.80	By \cite{SMI95}, Corollary 4.7 or 5.3.
3.23/1.80	This system is oriented.
3.23/1.80	This system is of type 3 or smaller.
3.23/1.80	This system is right-stable.
3.23/1.80	This system is properly oriented.
3.23/1.80	This is an overlay system.
3.23/1.80	This system is left-linear.
3.23/1.80	All 0 critical pairs are trivial or infeasible.
3.23/1.80	
3.36/2.21	EOF