Input TRS:
    1: \(x,x) -> e()
    2: /(x,x) -> e()
    3: .(e(),x) -> x
    4: .(x,e()) -> x
    5: \(e(),x) -> x
    6: /(x,e()) -> x
    7: .(x,\(x,y)) -> y
    8: .(/(y,x),x) -> y
    9: \(x,.(x,y)) -> y
    10: /(.(y,x),x) -> y
    11: /(x,\(y,x)) -> y
    12: \(/(x,y),x) -> y
Number of Rules: 12
Direct QWPOS(mPol) ... orients all.
	I(.) = x1 + 3 * x2	sigma(.) = [1,2]
	I(/) = 3 * x1 + 3 * x2 + 3	sigma(/) = [1,2]
	I(\) = 3 * x1 + 3 * x2 + 3	sigma(\) = [1,2]
	I(e) = 0
    PREC: \ > e > . = /
Number of Rules: 0