Input TRS:
    1: a(a(x)) -> b(b(x))
    2: b(b(a(x))) -> a(b(b(x)))
Number of Rules: 2
Direct POLO(Pol) ... orients all.
	I(a) = 2 * x1 + 1
	I(b) = 2 * x1
Number of Rules: 0