Input TRS:
    1: *(x,*(y,z)) -> *(*(x,y),z)
    2: *(x,x) -> x
Number of Rules: 2
Direct QLPOS ... orients all.
	sigma(*) = [2,1]
    PREC: *
Number of Rules: 0