0.00/0.06	YES
0.00/0.06	Input TRS:
0.00/0.06	    1: 1(2(1(x1))) -> 2(0(2(x1)))
0.00/0.06	    2: 0(2(1(x1))) -> 1(0(2(x1)))
0.00/0.06	    3: L(2(1(x1))) -> L(1(0(2(x1))))
0.00/0.06	    4: 1(2(0(x1))) -> 2(0(1(x1)))
0.00/0.06	    5: 1(2(R(x1))) -> 2(0(1(R(x1))))
0.00/0.06	    6: 0(2(0(x1))) -> 1(0(1(x1)))
0.00/0.06	    7: L(2(0(x1))) -> L(1(0(1(x1))))
0.00/0.06	    8: 0(2(R(x1))) -> 1(0(1(R(x1))))
0.00/0.06	Number of strict rules: 8
0.00/0.06	Direct POLO(bPol) ... failed.
0.00/0.06	Uncurrying ... failed.
0.00/0.06	Dependency Pairs:
0.00/0.06	   #1: #0(2(1(x1))) -> #1(0(2(x1)))
0.00/0.06	   #2: #0(2(1(x1))) -> #0(2(x1))
0.00/0.06	   #3: #0(2(0(x1))) -> #1(0(1(x1)))
0.00/0.06	   #4: #0(2(0(x1))) -> #0(1(x1))
0.00/0.06	   #5: #0(2(0(x1))) -> #1(x1)
0.00/0.06	   #6: #L(2(0(x1))) -> #L(1(0(1(x1))))
0.00/0.06	   #7: #L(2(0(x1))) -> #1(0(1(x1)))
0.00/0.06	   #8: #L(2(0(x1))) -> #0(1(x1))
0.00/0.06	   #9: #L(2(0(x1))) -> #1(x1)
0.00/0.06	   #10: #1(2(R(x1))) -> #0(1(R(x1)))
0.00/0.06	   #11: #1(2(R(x1))) -> #1(R(x1))
0.00/0.06	   #12: #L(2(1(x1))) -> #L(1(0(2(x1))))
0.00/0.06	   #13: #L(2(1(x1))) -> #1(0(2(x1)))
0.00/0.06	   #14: #L(2(1(x1))) -> #0(2(x1))
0.00/0.06	   #15: #1(2(1(x1))) -> #0(2(x1))
0.00/0.06	   #16: #0(2(R(x1))) -> #1(0(1(R(x1))))
0.00/0.06	   #17: #0(2(R(x1))) -> #0(1(R(x1)))
0.00/0.06	   #18: #0(2(R(x1))) -> #1(R(x1))
0.00/0.06	   #19: #1(2(0(x1))) -> #0(1(x1))
0.00/0.06	   #20: #1(2(0(x1))) -> #1(x1)
0.00/0.06	Number of SCCs: 2, DPs: 10
0.00/0.06	  SCC { #6 #12 }
0.00/0.06	POLO(Sum)... succeeded.
0.00/0.06	      #0 	w: 0
0.00/0.06	      1 	w: x1
0.00/0.06	      #L 	w: x1
0.00/0.06	      0 	w: 1
0.00/0.06	      R 	w: 1
0.00/0.06	      L 	w: 0
0.00/0.06	      2 	w: 2
0.00/0.06	      #1 	w: 0
0.00/0.06	    USABLE RULES: { 1 2 4..6 8 }
0.00/0.06	    Removed DPs: #6 #12
0.00/0.06	Number of SCCs: 1, DPs: 8
0.00/0.06	  SCC { #1..5 #15 #19 #20 }
0.00/0.06	POLO(Sum)... succeeded.
0.00/0.06	      #0 	w: x1
0.00/0.06	      1 	w: x1 + 1
0.00/0.06	      #L 	w: x1
0.00/0.06	      0 	w: x1
0.00/0.06	      R 	w: 1
0.00/0.06	      L 	w: 0
0.00/0.06	      2 	w: x1 + 2
0.00/0.06	      #1 	w: x1
0.00/0.06	    USABLE RULES: { 1 2 4..6 8 }
0.00/0.06	    Removed DPs: #1..5 #15 #19 #20
0.00/0.06	Number of SCCs: 0, DPs: 0
0.00/0.06	EOF