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(max) ... orients all.
	I(f) = max(x1, x2)	sigma(f) = [1,2]
	I(g) = max(x1 + 1, x2 + 1)	sigma(g) = [1,2]
	I(h) = max(x1, x2 + 1)	sigma(h) = [2,1]
    PREC: g > f = h
Number of Rules: 0