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