0.00/0.01	YES
0.00/0.02	Input TRS:
0.00/0.02	    1: R(x,B2()) -> B2()
0.00/0.02	    2: W(x,B2()) -> B2()
0.00/0.02	    3: B1() ->= R(T(),B1())
0.00/0.02	    4: B1() ->= W(T(),B1())
0.00/0.02	Number of strict rules: 2
0.00/0.02	Direct POLO(bPol) ... removes: 2
0.00/0.02	      W 	w: x1 + 2 * x2
0.00/0.02	      T 	w: 0
0.00/0.02	      B1	w: 0
0.00/0.02	      R 	w: x1 + x2
0.00/0.02	      B2	w: 1
0.00/0.02	Number of strict rules: 1
0.00/0.02	Direct POLO(bPol) ... removes: 1
0.00/0.02	      W 	w: x1 + x2
0.00/0.02	      T 	w: 0
0.00/0.02	      B1	w: 0
0.00/0.02	      R 	w: x1 + 2 * x2
0.00/0.02	      B2	w: 1
0.00/0.02	Number of strict rules: 0
0.00/0.02	EOF