Input TRS:
    1: f(c(X,s(Y))) -> f(c(s(X),Y))
    2: g(c(s(X),Y)) -> f(c(X,s(Y)))
Number of Rules: 2
Direct QWPOS(mPol) ... orients all.
	I(c) = 3 * x1 + 3 * x2 + 1	sigma(c) = [2,1]
	I(f) = 3 * x1	sigma(f) = [1]
	I(g) = 3 * x1 + 1	sigma(g) = [1]
	I(s) = x1 + 3	sigma(s) = [1]
    PREC: c = g > f > s
Number of Rules: 0