Input TRS:
    1: a() -> g(c())
    2: g(a()) -> b()
    3: f(g(X),b()) -> f(a(),X)
Number of Rules: 3
Direct POLO(Pol) ... orients all.
	I(a) = 3
	I(b) = 3
	I(c) = 1
	I(f) = x1 + x2
	I(g) = x1 + 1
Number of Rules: 0