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