Input TRS:
    1: f(s(X),X) -> f(X,a(X))
    2: f(X,c(X)) -> f(s(X),X)
    3: f(X,X) -> c(X)
Number of Rules: 3
Direct POLO(mSum) ... orients all.
	I(a) = x1
	I(c) = x1 + 2
	I(f) = x1 + x2 + 3
	I(s) = x1 + 1
Number of Rules: 0