Input TRS:
    1: f(g(x)) -> g(g(f(x)))
    2: f(g(x)) -> g(g(g(x)))
Number of Rules: 2
Direct QWPOS(mSum) ... orients all.
	I(f) = x1 + 1	sigma(f) = [1]
	I(g) = x1	sigma(g) = [1]
    PREC: f > g
Number of Rules: 0