0.50/0.57	YES
0.50/0.57	Input TRS:
0.50/0.57	    1: 0(1(2(3(4(5(1(x1))))))) -> 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(x1)))))))))))))))))))
0.50/0.57	    2: 0(1(2(3(4(5(1(x1))))))) -> 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(0(1(2(3(4(5(x1)))))))))))))))))))))))))
0.50/0.57	Number of strict rules: 2
0.50/0.57	Direct POLO(bPol) ... failed.
0.50/0.57	Uncurrying 0^1_1^1_2 0^1_1 0
0.50/0.57	1: 0^1_1^1_2^1_3(4(5(1(x1)))) -> 1(2(3(4(5(1(1(0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(x1)))))))))))))
0.50/0.57	2: 0^1_1^1_2^1_3(4(5(1(x1)))) -> 1(2(3(4(5(1(1(0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(x1))))))))))))))))
0.50/0.57	3: 0(1(_1)) ->= 0^1_1(_1)
0.50/0.57	4: 0^1_1(2(_1)) ->= 0^1_1^1_2(_1)
0.50/0.57	5: 0^1_1^1_2(3(_1)) ->= 0^1_1^1_2^1_3(_1)
0.50/0.57	Number of strict rules: 2
0.50/0.57	Direct POLO(bPol) ... removes: 4 3 5
0.50/0.57	      1 	w: x1
0.50/0.57	      4 	w: x1
0.50/0.57	      5 	w: x1
0.50/0.57	      3 	w: x1
0.50/0.57	      0^1_1^1_2	w: x1 + 1
0.50/0.57	      0 	w: x1 + 3
0.50/0.57	      0^1_1	w: x1 + 2
0.50/0.57	      2 	w: x1
0.50/0.57	      0^1_1^1_2^1_3	w: x1
0.50/0.57	Number of strict rules: 2
0.50/0.57	Direct POLO(bPol) ... failed.
0.50/0.57	Dependency Pairs:
0.50/0.57	   #1: #0^1_1^1_2^1_3(4(5(1(x1)))) -> #0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(x1)))))))))
0.50/0.57	   #2: #0^1_1^1_2^1_3(4(5(1(x1)))) -> #0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(x1))))))
0.50/0.57	   #3: #0^1_1^1_2^1_3(4(5(1(x1)))) -> #0^1_1^1_2^1_3(4(5(x1)))
0.50/0.57	   #4: #0^1_1^1_2^1_3(4(5(1(x1)))) -> #0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(x1))))))
0.50/0.57	   #5: #0^1_1^1_2^1_3(4(5(1(x1)))) -> #0^1_1^1_2^1_3(4(5(x1)))
0.50/0.57	Number of SCCs: 1, DPs: 5
0.50/0.57	  SCC { #1..5 }
0.50/0.57	POLO(Sum)... succeeded.
0.50/0.57	      1 	w: x1 + 3
0.50/0.57	      4 	w: x1
0.50/0.57	      5 	w: x1 + 1
0.50/0.57	      3 	w: x1
0.50/0.57	      0^1_1^1_2	w: 0
0.50/0.57	      0 	w: 0
0.50/0.57	      #0^1_1^1_2^1_3	w: x1
0.50/0.57	      0^1_1	w: 0
0.50/0.57	      2 	w: 1
0.50/0.57	      0^1_1^1_2^1_3	w: x1
0.50/0.57	    USABLE RULES: { 1 2 }
0.50/0.57	    Removed DPs: #1..5
0.50/0.57	Number of SCCs: 0, DPs: 0
0.50/0.57	EOF