0.00/0.01	YES
0.00/0.01	Input TRS:
0.00/0.01	    1: t(f(x),g(y),f(z)) -> t(z,g(x),g(y))
0.00/0.01	    2: t(g(x),g(y),f(z)) -> t(f(y),f(z),x)
0.00/0.01	    3: f(g(x)) ->= g(f(x))
0.00/0.01	    4: g(f(x)) ->= f(g(x))
0.00/0.01	    5: f(f(x)) ->= g(g(x))
0.00/0.01	    6: g(g(x)) ->= f(f(x))
0.00/0.01	Number of strict rules: 2
0.00/0.01	Direct POLO(bPol) ... removes: 1 2
0.00/0.01	      t 	w: 2 * x1 + 2 * x2 + 2 * x3
0.00/0.01	      f 	w: 2 * x1 + 1
0.00/0.01	      g 	w: 2 * x1 + 1
0.00/0.01	Number of strict rules: 0
0.00/0.01	EOF