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