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(mSum) ... orients all.
	I(.) = x1 + x2	sigma(.) = [1,2]
	I(/) = x1 + x2 + 1	sigma(/) = [1,2]
	I(\) = x1 + x2 + 1	sigma(\) = [1,2]
	I(e) = 0
    PREC: . = / = e > \
Number of Rules: 0