0.00/0.05	YES
0.00/0.06	Input TRS:
0.00/0.06	    1: f(c(s(x),y)) -> f(c(x,s(y)))
0.00/0.06	    2: f(c(s(x),s(y))) -> g(c(x,y))
0.00/0.06	    3: g(c(x,s(y))) -> g(c(s(x),y))
0.00/0.06	    4: g(c(s(x),s(y))) -> f(c(x,y))
0.00/0.06	    5: rand(x) ->= x
0.00/0.06	    6: rand(x) ->= rand(s(x))
0.00/0.06	Number of strict rules: 4
0.00/0.06	Direct POLO(bPol) ... removes: 5
0.00/0.06	      s 	w: x1
0.00/0.06	      c 	w: x1 + x2 + 1
0.00/0.06	      f 	w: x1
0.00/0.06	      rand	w: x1 + 1
0.00/0.06	      g 	w: x1
0.00/0.06	Number of strict rules: 4
0.00/0.06	Direct POLO(bPol) ... failed.
0.00/0.06	Uncurrying f g
0.00/0.06	1: f^1_c(s(x),y) -> f^1_c(x,s(y))
0.00/0.06	2: f^1_c(s(x),s(y)) -> g^1_c(x,y)
0.00/0.06	3: g^1_c(x,s(y)) -> g^1_c(s(x),y)
0.00/0.06	4: g^1_c(s(x),s(y)) -> f^1_c(x,y)
0.00/0.06	6: rand(x) ->= rand(s(x))
0.00/0.06	7: g(c(_1,_2)) ->= g^1_c(_1,_2)
0.00/0.06	8: f(c(_1,_2)) ->= f^1_c(_1,_2)
0.00/0.06	Number of strict rules: 4
0.00/0.06	Direct POLO(bPol) ... removes: 8 7
0.00/0.06	      s 	w: x1
0.00/0.06	      g^1_c	w: x1 + 2 * x2
0.00/0.06	      c 	w: x1 + 2 * x2 + 1
0.00/0.06	      f 	w: x1 + 1
0.00/0.06	      rand	w: x1
0.00/0.06	      f^1_c	w: x1 + 2 * x2
0.00/0.06	      g 	w: 2 * x1
0.00/0.06	Number of strict rules: 4
0.00/0.06	Direct POLO(bPol) ... failed.
0.00/0.06	Dependency Pairs:
0.00/0.06	   #1: #f^1_c(s(x),s(y)) -> #g^1_c(x,y)
0.00/0.06	   #2: #g^1_c(x,s(y)) -> #g^1_c(s(x),y)
0.00/0.06	   #3: #f^1_c(s(x),y) -> #f^1_c(x,s(y))
0.00/0.06	   #4: #g^1_c(s(x),s(y)) -> #f^1_c(x,y)
0.00/0.06	Number of SCCs: 1, DPs: 4
0.00/0.06	  SCC { #1..4 }
0.00/0.06	POLO(Sum)... succeeded.
0.00/0.06	      s 	w: x1 + 2
0.00/0.06	      g^1_c	w: x1 + x2
0.00/0.06	      c 	w: 0
0.00/0.06	      #g^1_c	w: x1 + x2
0.00/0.06	      f 	w: 0
0.00/0.06	      rand	w: 0
0.00/0.06	      #f^1_c	w: x1 + x2
0.00/0.06	      f^1_c	w: x1 + x2
0.00/0.06	      g 	w: 0
0.00/0.06	    Removed DPs: #1 #4
0.00/0.06	Number of SCCs: 2, DPs: 2
0.00/0.06	  SCC { #3 }
0.00/0.06	POLO(Sum)... succeeded.
0.00/0.06	      s 	w: x1 + 1
0.00/0.06	      g^1_c	w: x1 + x2
0.00/0.06	      c 	w: 0
0.00/0.06	      #g^1_c	w: 0
0.00/0.06	      f 	w: 0
0.00/0.06	      rand	w: 0
0.00/0.06	      #f^1_c	w: x1
0.00/0.06	      f^1_c	w: x1 + x2
0.00/0.06	      g 	w: 0
0.00/0.06	    Removed DPs: #3
0.00/0.06	Number of SCCs: 1, DPs: 1
0.00/0.06	  SCC { #2 }
0.00/0.06	POLO(Sum)... succeeded.
0.00/0.06	      s 	w: x1 + 1
0.00/0.06	      g^1_c	w: x1 + x2
0.00/0.06	      c 	w: 0
0.00/0.06	      #g^1_c	w: x2
0.00/0.06	      f 	w: 0
0.00/0.06	      rand	w: 0
0.00/0.06	      #f^1_c	w: 0
0.00/0.06	      f^1_c	w: x1 + x2
0.00/0.06	      g 	w: 0
0.00/0.06	    Removed DPs: #2
0.00/0.06	Number of SCCs: 0, DPs: 0
0.00/0.06	EOF