0.00/0.03	YES
0.00/0.03	Input TRS:
0.00/0.03	    1: q0(0(x1)) -> 0'(q1(x1))
0.00/0.03	    2: q1(0(x1)) -> 0(q1(x1))
0.00/0.03	    3: q1(1'(x1)) -> 1'(q1(x1))
0.00/0.03	    4: 0(q1(1(x1))) -> q2(0(1'(x1)))
0.00/0.03	    5: 0'(q1(1(x1))) -> q2(0'(1'(x1)))
0.00/0.03	    6: 1'(q1(1(x1))) -> q2(1'(1'(x1)))
0.00/0.03	    7: 0(q2(0(x1))) -> q2(0(0(x1)))
0.00/0.03	    8: 0'(q2(0(x1))) -> q2(0'(0(x1)))
0.00/0.03	    9: 1'(q2(0(x1))) -> q2(1'(0(x1)))
0.00/0.03	    10: 0(q2(1'(x1))) -> q2(0(1'(x1)))
0.00/0.03	    11: 0'(q2(1'(x1))) -> q2(0'(1'(x1)))
0.00/0.03	    12: 1'(q2(1'(x1))) -> q2(1'(1'(x1)))
0.00/0.03	    13: q2(0'(x1)) -> 0'(q0(x1))
0.00/0.03	    14: q0(1'(x1)) -> 1'(q3(x1))
0.00/0.03	    15: q3(1'(x1)) -> 1'(q3(x1))
0.00/0.03	    16: q3(b(x1)) -> b(q4(x1))
0.00/0.03	Number of strict rules: 16
0.00/0.03	Direct POLO(bPol) ... removes: 4 15 8 1 3 16 5 10 7 14 12 11 9 13 6 2
0.00/0.03	      1 	w: 2 * x1 + 3
0.00/0.03	      1'	w: 2 * x1 + 2
0.00/0.03	      b 	w: x1 + 1
0.00/0.03	      q3	w: 2 * x1 + 1
0.00/0.03	      q4	w: x1 + 1
0.00/0.03	      0 	w: 2 * x1 + 2
0.00/0.03	      0'	w: 2 * x1 + 1
0.00/0.03	      q1	w: 2 * x1 + 1
0.00/0.03	      q2	w: 2 * x1 + 3
0.00/0.03	      q0	w: 2 * x1 + 1
0.00/0.03	Number of strict rules: 0
0.00/0.03	EOF