0.00/0.03	YES
0.00/0.03	Input TRS:
0.00/0.03	    AC symbols: f
0.00/0.03	    1: f(g(f(h(a()),a())),a()) -> f(h(a()),f(a(),a()))
0.00/0.03	    2: f(h(a()),g(a())) -> f(g(h(a())),a())
0.00/0.03	    3: f(g(h(a())),f(f(a(),a()),a())) -> f(g(f(h(a()),a())),a())
0.00/0.03	    4: f(h(a()),a()) -> f(h(a()),b())
0.00/0.03	    5: f(i(x,y),f(a(),y)) -> f(g(i(x,y)),y)
0.00/0.03	Number of strict rules: 5
0.00/0.03	Direct POLO(bPol) ... removes: 4 1 3 5
0.00/0.03	      h 	w: x1
0.00/0.03	      a 	w: 1
0.00/0.03	      b 	w: 0
0.00/0.03	      f 	w: x1 + x2 + 1
0.00/0.03	      i 	w: 2 * x1 + 2 * x2 + 1
0.00/0.03	      g 	w: x1 + 1
0.00/0.03	Number of strict rules: 1
0.00/0.03	Direct POLO(bPol) ... failed.
0.00/0.03	Uncurrying ... failed.
0.00/0.03	Dependency Pairs:
0.00/0.03	   #1: #f(h(a()),g(a())) -> #f(g(h(a())),a())
0.00/0.03	   #2: #f(x,f(y,z)) ->= #f(f(x,y),z)
0.00/0.03	   #3: #f(x,f(y,z)) ->= #f(x,y)
0.00/0.03	Number of SCCs: 1, DPs: 3
0.00/0.03	  SCC { #1..3 }
0.00/0.03	POLO(Sum)... succeeded.
0.00/0.03	      h 	w: x1 + 1
0.00/0.03	      a 	w: 1
0.00/0.03	      b 	w: 0
0.00/0.03	      f 	w: x1 + x2 + 1
0.00/0.03	      #f 	w: x1 + x2
0.00/0.03	      i 	w: 0
0.00/0.03	      g 	w: 0
0.00/0.03	    USABLE RULES: { 2 6 }
0.00/0.03	    Removed DPs: #1 #3
0.00/0.03	Number of SCCs: 1, DPs: 1
0.00/0.03	  SCC { #2 }
0.00/0.03	only weak rules.
0.00/0.03	Number of SCCs: 0, DPs: 0
0.00/0.03	Next Dependency Pairs:
0.00/0.03	   #4: #f(f(h(a()),g(a())),_1) -> #f(f(g(h(a())),a()),_1)
0.00/0.03	   #5: #f(x,f(y,z)) ->= #f(f(x,y),z)
0.00/0.03	   #6: #f(x,f(y,z)) ->= #f(x,y)
0.00/0.03	Number of SCCs: 1, DPs: 3
0.00/0.03	  SCC { #4..6 }
0.00/0.03	POLO(Sum)... succeeded.
0.00/0.03	      h 	w: x1 + 1
0.00/0.03	      a 	w: 1
0.00/0.03	      b 	w: 0
0.00/0.03	      f 	w: x1 + x2 + 1
0.00/0.03	      #f 	w: x1 + x2
0.00/0.03	      i 	w: 0
0.00/0.03	      g 	w: 0
0.00/0.03	    USABLE RULES: { 2 6 }
0.00/0.03	    Removed DPs: #4 #6
0.00/0.03	Number of SCCs: 1, DPs: 1
0.00/0.03	  SCC { #5 }
0.00/0.03	only weak rules.
0.00/0.03	Number of SCCs: 0, DPs: 0
0.00/0.03	EOF