Input TRS:
    1: g(0()) -> 0()
    2: g(s(x)) -> f(g(x))
    3: f(0()) -> 0()
Number of Rules: 3
Direct QTKBOS ... orients all.
	I(0) = 3
	I(f) = 3 * x1 + 1	sigma(f) = [1]
	I(g) = 3 * x1	sigma(g) = [1]
	I(s) = 3 * x1 + 1	sigma(s) = [1]
    PREC: g > f > 0 = s
Number of Rules: 0