0.00/0.58	YES
0.00/0.58	
0.00/0.58	Problem:
0.00/0.58	plus(0(), X) -> X
0.00/0.59	plus(s(X), Y) -> plus(X, s(Y))
0.00/0.59	fib(0()) -> pair(s(0()), 0())
0.00/0.59	fib(s(X)) -> pair(W, Y) <= fib(X) = pair(Y, Z), plus(Y, Z) = W
0.00/0.59	
0.00/0.59	Proof:
0.00/0.59	This system is confluent.
0.00/0.59	By \cite{GNG13}, Theorem 9.
0.00/0.59	This system is of type 3 or smaller.
0.00/0.59	This system is deterministic.
0.00/0.59	This system is weakly left-linear.
0.00/0.59	System R transformed to optimized U(R).
0.00/0.59	This system is orthogonal.
0.00/0.59	
0.00/0.87	EOF