0.00/0.09	YES
0.00/0.09	Input TRS:
0.00/0.09	    1: r0(0(x1)) -> 0(r0(x1))
0.00/0.09	    2: r0(1(x1)) -> 1(r0(x1))
0.00/0.09	    3: r0(m(x1)) -> m(r0(x1))
0.00/0.09	    4: r1(0(x1)) -> 0(r1(x1))
0.00/0.09	    5: r1(1(x1)) -> 1(r1(x1))
0.00/0.09	    6: r1(m(x1)) -> m(r1(x1))
0.00/0.09	    7: r0(b(x1)) -> qr(0(b(x1)))
0.00/0.09	    8: r1(b(x1)) -> qr(1(b(x1)))
0.00/0.09	    9: 0(qr(x1)) -> qr(0(x1))
0.00/0.09	    10: 1(qr(x1)) -> qr(1(x1))
0.00/0.09	    11: m(qr(x1)) -> ql(m(x1))
0.00/0.09	    12: 0(ql(x1)) -> ql(0(x1))
0.00/0.09	    13: 1(ql(x1)) -> ql(1(x1))
0.00/0.09	    14: b(ql(0(x1))) -> 0(b(r0(x1)))
0.00/0.09	    15: b(ql(1(x1))) -> 1(b(r1(x1)))
0.00/0.09	Number of strict rules: 15
0.00/0.09	Direct POLO(bPol) ... failed.
0.00/0.09	Uncurrying ... failed.
0.00/0.09	Dependency Pairs:
0.00/0.09	   #1: #r0(1(x1)) -> #1(r0(x1))
0.00/0.09	   #2: #r0(1(x1)) -> #r0(x1)
0.00/0.09	   #3: #r1(m(x1)) -> #m(r1(x1))
0.00/0.09	   #4: #r1(m(x1)) -> #r1(x1)
0.00/0.09	   #5: #1(ql(x1)) -> #1(x1)
0.00/0.09	   #6: #0(qr(x1)) -> #0(x1)
0.00/0.09	   #7: #m(qr(x1)) -> #m(x1)
0.00/0.09	   #8: #0(ql(x1)) -> #0(x1)
0.00/0.09	   #9: #b(ql(0(x1))) -> #0(b(r0(x1)))
0.00/0.09	   #10: #b(ql(0(x1))) -> #b(r0(x1))
0.00/0.09	   #11: #b(ql(0(x1))) -> #r0(x1)
0.00/0.09	   #12: #r0(b(x1)) -> #0(b(x1))
0.00/0.09	   #13: #1(qr(x1)) -> #1(x1)
0.00/0.09	   #14: #r1(1(x1)) -> #1(r1(x1))
0.00/0.09	   #15: #r1(1(x1)) -> #r1(x1)
0.00/0.09	   #16: #r0(m(x1)) -> #m(r0(x1))
0.00/0.09	   #17: #r0(m(x1)) -> #r0(x1)
0.00/0.09	   #18: #r0(0(x1)) -> #0(r0(x1))
0.00/0.09	   #19: #r0(0(x1)) -> #r0(x1)
0.00/0.09	   #20: #r1(b(x1)) -> #1(b(x1))
0.00/0.09	   #21: #b(ql(1(x1))) -> #1(b(r1(x1)))
0.00/0.09	   #22: #b(ql(1(x1))) -> #b(r1(x1))
0.00/0.09	   #23: #b(ql(1(x1))) -> #r1(x1)
0.00/0.09	   #24: #r1(0(x1)) -> #0(r1(x1))
0.00/0.09	   #25: #r1(0(x1)) -> #r1(x1)
0.00/0.09	Number of SCCs: 6, DPs: 13
0.00/0.09	  SCC { #7 }
0.00/0.09	POLO(Sum)... succeeded.
0.00/0.09	      #0 	w: 0
0.00/0.09	      1 	w: 0
0.00/0.09	      b 	w: 0
0.00/0.09	      r0	w: 0
0.00/0.09	      0 	w: 0
0.00/0.09	      ql	w: 0
0.00/0.09	      #r1	w: 0
0.00/0.09	      r1	w: 0
0.00/0.09	      #r0	w: 0
0.00/0.09	      #m 	w: x1
0.00/0.09	      #1 	w: 0
0.00/0.09	      #b 	w: 0
0.00/0.09	      qr	w: x1 + 1
0.00/0.09	      m 	w: 0
0.00/0.09	    USABLE RULES: { }
0.00/0.09	    Removed DPs: #7
0.00/0.09	Number of SCCs: 5, DPs: 12
0.00/0.09	  SCC { #6 #8 }
0.00/0.09	POLO(Sum)... succeeded.
0.00/0.09	      #0 	w: x1
0.00/0.09	      1 	w: 0
0.00/0.09	      b 	w: 0
0.00/0.09	      r0	w: 0
0.00/0.09	      0 	w: 0
0.00/0.09	      ql	w: x1 + 1
0.00/0.09	      #r1	w: 0
0.00/0.09	      r1	w: 0
0.00/0.09	      #r0	w: 0
0.00/0.09	      #m 	w: 0
0.00/0.09	      #1 	w: 0
0.00/0.09	      #b 	w: 0
0.00/0.09	      qr	w: x1 + 1
0.00/0.09	      m 	w: 0
0.00/0.09	    USABLE RULES: { }
0.00/0.09	    Removed DPs: #6 #8
0.00/0.09	Number of SCCs: 4, DPs: 10
0.00/0.09	  SCC { #5 #13 }
0.00/0.09	POLO(Sum)... succeeded.
0.00/0.09	      #0 	w: 0
0.00/0.09	      1 	w: 0
0.00/0.09	      b 	w: 0
0.00/0.09	      r0	w: 0
0.00/0.09	      0 	w: 0
0.00/0.09	      ql	w: x1 + 1
0.00/0.09	      #r1	w: 0
0.00/0.09	      r1	w: 0
0.00/0.09	      #r0	w: 0
0.00/0.09	      #m 	w: 0
0.00/0.09	      #1 	w: x1
0.00/0.09	      #b 	w: 0
0.00/0.09	      qr	w: x1 + 1
0.00/0.09	      m 	w: 0
0.00/0.09	    USABLE RULES: { }
0.00/0.09	    Removed DPs: #5 #13
0.00/0.09	Number of SCCs: 3, DPs: 8
0.00/0.09	  SCC { #10 #22 }
0.00/0.09	POLO(Sum)... succeeded.
0.00/0.09	      #0 	w: 0
0.00/0.09	      1 	w: x1 + 2
0.00/0.09	      b 	w: x1 + 1
0.00/0.09	      r0	w: x1 + 1
0.00/0.09	      0 	w: x1 + 2
0.00/0.09	      ql	w: x1
0.00/0.09	      #r1	w: 0
0.00/0.09	      r1	w: x1 + 1
0.00/0.09	      #r0	w: 0
0.00/0.09	      #m 	w: 0
0.00/0.09	      #1 	w: 0
0.00/0.09	      #b 	w: x1
0.00/0.09	      qr	w: 2
0.00/0.09	      m 	w: 1
0.00/0.09	    USABLE RULES: { 1..13 }
0.00/0.09	    Removed DPs: #10 #22
0.00/0.09	Number of SCCs: 2, DPs: 6
0.00/0.09	  SCC { #4 #15 #25 }
0.00/0.09	POLO(Sum)... succeeded.
0.00/0.09	      #0 	w: 0
0.00/0.09	      1 	w: x1 + 2
0.00/0.09	      b 	w: 1
0.00/0.09	      r0	w: x1
0.00/0.09	      0 	w: x1 + 2
0.00/0.09	      ql	w: x1
0.00/0.09	      #r1	w: x1
0.00/0.09	      r1	w: x1 + 1
0.00/0.09	      #r0	w: 0
0.00/0.09	      #m 	w: 0
0.00/0.09	      #1 	w: 0
0.00/0.09	      #b 	w: 0
0.00/0.09	      qr	w: 1
0.00/0.09	      m 	w: x1 + 1
0.00/0.09	    USABLE RULES: { 7..10 12 13 }
0.00/0.09	    Removed DPs: #4 #15 #25
0.00/0.09	Number of SCCs: 1, DPs: 3
0.00/0.09	  SCC { #2 #17 #19 }
0.00/0.09	POLO(Sum)... succeeded.
0.00/0.09	      #0 	w: 0
0.00/0.09	      1 	w: x1 + 2
0.00/0.09	      b 	w: 1
0.00/0.09	      r0	w: x1
0.00/0.09	      0 	w: x1 + 2
0.00/0.09	      ql	w: x1
0.00/0.09	      #r1	w: 0
0.00/0.09	      r1	w: x1 + 1
0.00/0.09	      #r0	w: x1
0.00/0.09	      #m 	w: 0
0.00/0.09	      #1 	w: 0
0.00/0.09	      #b 	w: 0
0.00/0.09	      qr	w: 1
0.00/0.09	      m 	w: x1 + 1
0.00/0.09	    USABLE RULES: { 7..10 12 13 }
0.00/0.09	    Removed DPs: #2 #17 #19
0.00/0.09	Number of SCCs: 0, DPs: 0
0.00/0.09	EOF