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