1.25/1.27	MAYBE
1.25/1.28	Input TRS:
1.25/1.28	    1: 0(q0(0(x1))) -> 0(0(q0(x1)))
1.25/1.28	    2: 0(q0(1(x1))) -> 0(1(q0(x1)))
1.25/1.28	    3: 1(q0(0(x1))) -> 0(0(q1(x1)))
1.25/1.28	    4: 1(q0(1(x1))) -> 0(1(q1(x1)))
1.25/1.28	    5: 1(q1(0(x1))) -> 1(0(q1(x1)))
1.25/1.28	    6: 1(q1(1(x1))) -> 1(1(q1(x1)))
1.25/1.28	    7: 0(q1(0(x1))) -> 0(0(q2(x1)))
1.25/1.28	    8: 0(q1(1(x1))) -> 0(1(q2(x1)))
1.25/1.28	    9: 1(q2(0(x1))) -> 1(0(q2(x1)))
1.25/1.28	    10: 1(q2(1(x1))) -> 1(1(q2(x1)))
1.25/1.28	    11: 0(q2(x1)) -> q3(1(x1))
1.25/1.28	    12: 1(q3(x1)) -> q3(1(x1))
1.25/1.28	    13: 0(q3(x1)) -> q4(0(x1))
1.25/1.28	    14: 1(q4(x1)) -> q4(1(x1))
1.25/1.28	    15: 0(q4(0(x1))) -> 1(0(q5(x1)))
1.25/1.28	    16: 0(q4(1(x1))) -> 1(1(q5(x1)))
1.25/1.28	    17: 1(q5(0(x1))) -> 0(0(q1(x1)))
1.25/1.28	    18: 1(q5(1(x1))) -> 0(1(q1(x1)))
1.25/1.28	    19: 0(q5(x1)) -> q6(0(x1))
1.25/1.28	    20: 1(q6(x1)) -> q6(1(x1))
1.25/1.28	    21: 1(q7(0(x1))) -> 0(0(q8(x1)))
1.25/1.28	    22: 1(q7(1(x1))) -> 0(1(q8(x1)))
1.25/1.28	    23: 0(q8(x1)) -> 0(q0(x1))
1.25/1.28	    24: 1(q8(0(x1))) -> 1(0(q8(x1)))
1.25/1.28	    25: 1(q8(1(x1))) -> 1(1(q8(x1)))
1.25/1.28	    26: 0(q6(x1)) -> q9(0(x1))
1.25/1.28	    27: 0(q9(0(x1))) -> 1(0(q7(x1)))
1.25/1.28	    28: 0(q9(1(x1))) -> 1(1(q7(x1)))
1.25/1.28	    29: 1(q9(x1)) -> q9(1(x1))
1.25/1.28	    30: h(q0(x1)) -> h(0(q0(x1)))
1.25/1.28	    31: q0(h(x1)) -> q0(0(h(x1)))
1.25/1.28	    32: h(q1(x1)) -> h(0(q1(x1)))
1.25/1.28	    33: q1(h(x1)) -> q1(0(h(x1)))
1.25/1.28	    34: h(q2(x1)) -> h(0(q2(x1)))
1.25/1.28	    35: q2(h(x1)) -> q2(0(h(x1)))
1.25/1.28	    36: h(q3(x1)) -> h(0(q3(x1)))
1.25/1.28	    37: q3(h(x1)) -> q3(0(h(x1)))
1.25/1.28	    38: h(q4(x1)) -> h(0(q4(x1)))
1.25/1.28	    39: q4(h(x1)) -> q4(0(h(x1)))
1.25/1.28	    40: h(q5(x1)) -> h(0(q5(x1)))
1.25/1.28	    41: q5(h(x1)) -> q5(0(h(x1)))
1.25/1.28	    42: h(q6(x1)) -> h(0(q6(x1)))
1.25/1.28	    43: q6(h(x1)) -> q6(0(h(x1)))
1.25/1.28	Number of strict rules: 43
1.25/1.28	Direct POLO(bPol) ... failed.
1.25/1.28	Uncurrying ... failed.
1.25/1.28	Dependency Pairs:
1.25/1.28	   #1: #0(q0(1(x1))) -> #0(1(q0(x1)))
1.25/1.28	   #2: #0(q0(1(x1))) -> #1(q0(x1))
1.25/1.28	   #3: #0(q0(1(x1))) -> #q0(x1)
1.25/1.28	   #4: #q6(h(x1)) -> #q6(0(h(x1)))
1.25/1.28	   #5: #q6(h(x1)) -> #0(h(x1))
1.25/1.28	   #6: #1(q9(x1)) -> #1(x1)
1.25/1.28	   #7: #q2(h(x1)) -> #q2(0(h(x1)))
1.25/1.28	   #8: #q2(h(x1)) -> #0(h(x1))
1.25/1.28	   #9: #h(q6(x1)) -> #h(0(q6(x1)))
1.25/1.28	   #10: #h(q6(x1)) -> #0(q6(x1))
1.25/1.28	   #11: #q5(h(x1)) -> #q5(0(h(x1)))
1.25/1.28	   #12: #q5(h(x1)) -> #0(h(x1))
1.25/1.28	   #13: #q3(h(x1)) -> #q3(0(h(x1)))
1.25/1.28	   #14: #q3(h(x1)) -> #0(h(x1))
1.25/1.28	   #15: #h(q4(x1)) -> #h(0(q4(x1)))
1.25/1.28	   #16: #h(q4(x1)) -> #0(q4(x1))
1.25/1.28	   #17: #1(q1(1(x1))) -> #1(1(q1(x1)))
1.25/1.28	   #18: #1(q1(1(x1))) -> #1(q1(x1))
1.25/1.28	   #19: #1(q1(1(x1))) -> #q1(x1)
1.25/1.28	   #20: #h(q5(x1)) -> #h(0(q5(x1)))
1.25/1.28	   #21: #h(q5(x1)) -> #0(q5(x1))
1.25/1.28	   #22: #0(q3(x1)) -> #q4(0(x1))
1.25/1.28	   #23: #0(q3(x1)) -> #0(x1)
1.25/1.28	   #24: #1(q2(0(x1))) -> #1(0(q2(x1)))
1.25/1.28	   #25: #1(q2(0(x1))) -> #0(q2(x1))
1.25/1.28	   #26: #1(q2(0(x1))) -> #q2(x1)
1.25/1.28	   #27: #0(q2(x1)) -> #q3(1(x1))
1.25/1.28	   #28: #0(q2(x1)) -> #1(x1)
1.25/1.28	   #29: #1(q8(0(x1))) -> #1(0(q8(x1)))
1.25/1.28	   #30: #1(q8(0(x1))) -> #0(q8(x1))
1.25/1.28	   #31: #0(q8(x1)) -> #0(q0(x1))
1.25/1.28	   #32: #0(q8(x1)) -> #q0(x1)
1.25/1.28	   #33: #1(q3(x1)) -> #q3(1(x1))
1.25/1.28	   #34: #1(q3(x1)) -> #1(x1)
1.25/1.28	   #35: #q0(h(x1)) -> #q0(0(h(x1)))
1.25/1.28	   #36: #q0(h(x1)) -> #0(h(x1))
1.25/1.28	   #37: #1(q4(x1)) -> #q4(1(x1))
1.25/1.28	   #38: #1(q4(x1)) -> #1(x1)
1.25/1.28	   #39: #h(q0(x1)) -> #h(0(q0(x1)))
1.25/1.28	   #40: #h(q0(x1)) -> #0(q0(x1))
1.25/1.28	   #41: #1(q8(1(x1))) -> #1(1(q8(x1)))
1.25/1.28	   #42: #1(q8(1(x1))) -> #1(q8(x1))
1.25/1.28	   #43: #1(q6(x1)) -> #q6(1(x1))
1.25/1.28	   #44: #1(q6(x1)) -> #1(x1)
1.25/1.28	   #45: #0(q1(0(x1))) -> #0(0(q2(x1)))
1.25/1.28	   #46: #0(q1(0(x1))) -> #0(q2(x1))
1.25/1.28	   #47: #0(q1(0(x1))) -> #q2(x1)
1.25/1.28	   #48: #q4(h(x1)) -> #q4(0(h(x1)))
1.25/1.28	   #49: #q4(h(x1)) -> #0(h(x1))
1.25/1.28	   #50: #1(q2(1(x1))) -> #1(1(q2(x1)))
1.25/1.28	   #51: #1(q2(1(x1))) -> #1(q2(x1))
1.25/1.28	   #52: #1(q2(1(x1))) -> #q2(x1)
1.25/1.28	   #53: #q1(h(x1)) -> #q1(0(h(x1)))
1.25/1.28	   #54: #q1(h(x1)) -> #0(h(x1))
1.25/1.28	   #55: #1(q1(0(x1))) -> #1(0(q1(x1)))
1.25/1.28	   #56: #1(q1(0(x1))) -> #0(q1(x1))
1.25/1.28	   #57: #1(q1(0(x1))) -> #q1(x1)
1.25/1.28	   #58: #0(q9(1(x1))) -> #1(1(q7(x1)))
1.25/1.28	   #59: #0(q9(1(x1))) -> #1(q7(x1))
1.25/1.28	   #60: #1(q7(1(x1))) -> #0(1(q8(x1)))
1.25/1.28	   #61: #1(q7(1(x1))) -> #1(q8(x1))
1.25/1.28	   #62: #h(q2(x1)) -> #h(0(q2(x1)))
1.25/1.28	   #63: #h(q2(x1)) -> #0(q2(x1))
1.25/1.28	   #64: #0(q9(0(x1))) -> #1(0(q7(x1)))
1.25/1.28	   #65: #0(q9(0(x1))) -> #0(q7(x1))
1.25/1.28	   #66: #1(q5(0(x1))) -> #0(0(q1(x1)))
1.25/1.28	   #67: #1(q5(0(x1))) -> #0(q1(x1))
1.25/1.28	   #68: #1(q5(0(x1))) -> #q1(x1)
1.25/1.28	   #69: #h(q1(x1)) -> #h(0(q1(x1)))
1.25/1.28	   #70: #h(q1(x1)) -> #0(q1(x1))
1.25/1.28	   #71: #0(q5(x1)) -> #q6(0(x1))
1.25/1.28	   #72: #0(q5(x1)) -> #0(x1)
1.25/1.28	   #73: #0(q6(x1)) -> #0(x1)
1.25/1.28	   #74: #h(q3(x1)) -> #h(0(q3(x1)))
1.25/1.28	   #75: #h(q3(x1)) -> #0(q3(x1))
1.25/1.28	   #76: #1(q7(0(x1))) -> #0(0(q8(x1)))
1.25/1.28	   #77: #1(q7(0(x1))) -> #0(q8(x1))
1.25/1.28	   #78: #0(q4(1(x1))) -> #1(1(q5(x1)))
1.25/1.28	   #79: #0(q4(1(x1))) -> #1(q5(x1))
1.25/1.28	   #80: #0(q4(1(x1))) -> #q5(x1)
1.25/1.28	   #81: #1(q0(0(x1))) -> #0(0(q1(x1)))
1.25/1.28	   #82: #1(q0(0(x1))) -> #0(q1(x1))
1.25/1.28	   #83: #1(q0(0(x1))) -> #q1(x1)
1.25/1.28	   #84: #0(q0(0(x1))) -> #0(0(q0(x1)))
1.25/1.28	   #85: #0(q0(0(x1))) -> #0(q0(x1))
1.25/1.28	   #86: #0(q0(0(x1))) -> #q0(x1)
1.25/1.28	   #87: #0(q1(1(x1))) -> #0(1(q2(x1)))
1.25/1.28	   #88: #0(q1(1(x1))) -> #1(q2(x1))
1.25/1.28	   #89: #0(q1(1(x1))) -> #q2(x1)
1.25/1.28	   #90: #0(q4(0(x1))) -> #1(0(q5(x1)))
1.25/1.28	   #91: #0(q4(0(x1))) -> #0(q5(x1))
1.25/1.28	   #92: #0(q4(0(x1))) -> #q5(x1)
1.25/1.28	   #93: #1(q0(1(x1))) -> #0(1(q1(x1)))
1.25/1.28	   #94: #1(q0(1(x1))) -> #1(q1(x1))
1.25/1.28	   #95: #1(q0(1(x1))) -> #q1(x1)
1.25/1.28	   #96: #1(q5(1(x1))) -> #0(1(q1(x1)))
1.25/1.28	   #97: #1(q5(1(x1))) -> #1(q1(x1))
1.25/1.28	   #98: #1(q5(1(x1))) -> #q1(x1)
1.25/1.28	Number of SCCs: 2, DPs: 49
1.25/1.28	  SCC { #15 #74 }
1.25/1.28	POLO(Sum)... succeeded.
1.25/1.28	      h 	w: x1 + 1
1.25/1.28	      #0 	w: 0
1.25/1.28	      1 	w: x1
1.25/1.28	      q3	w: 3
1.25/1.28	      q6	w: 1
1.25/1.28	      #q4	w: 0
1.25/1.28	      q4	w: 2
1.25/1.28	      #q1	w: 0
1.25/1.28	      #q0	w: 0
1.25/1.28	      q8	w: 1
1.25/1.28	      0 	w: 2
1.25/1.28	      #h 	w: x1
1.25/1.28	      q1	w: 1
1.25/1.28	      q5	w: 2
1.25/1.28	      q2	w: 1
1.25/1.28	      q7	w: 2
1.25/1.28	      q9	w: 1
1.25/1.28	      #q3	w: 0
1.25/1.28	      #1 	w: 0
1.25/1.28	      q0	w: 1
1.25/1.28	      #q5	w: 0
1.25/1.28	      #q6	w: 0
1.25/1.28	      #q2	w: 0
1.25/1.28	    USABLE RULES: { 1 2 12..23 26..29 41 }
1.25/1.28	    Removed DPs: #74
1.25/1.28	Number of SCCs: 2, DPs: 48
1.25/1.28	  SCC { #15 }
1.25/1.28	POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
1.25/1.28	Finding a loop...  failed.
1.25/1.28	EOF