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