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