0.00/0.02	YES
0.00/0.02	Input TRS:
0.00/0.02	    1: topB(i,N1(),y) -> topA(1(),T1(),y)
0.00/0.02	    2: topA(i,x,N2()) -> topB(0(),x,T2())
0.00/0.02	    3: topB(i,S1(),y) -> topA(i,N1(),y)
0.00/0.02	    4: topA(i,x,S2()) -> topB(i,x,N2())
0.00/0.02	    5: topA(i,N1(),T2()) -> topB(i,N1(),S2())
0.00/0.02	    6: topA(1(),T1(),T2()) -> topB(1(),T1(),S2())
0.00/0.02	    7: topA(i,N1(),y) ->= topA(1(),T1(),y)
0.00/0.02	    8: topB(i,x,N2()) ->= topB(0(),x,T2())
0.00/0.02	    9: topA(i,S1(),y) ->= topA(i,N1(),y)
0.00/0.02	    10: topB(i,x,S2()) ->= topB(i,x,N2())
0.00/0.02	    11: topB(i,N1(),T2()) ->= topB(i,N1(),S2())
0.00/0.02	    12: topB(1(),T1(),T2()) ->= topB(1(),T1(),S2())
0.00/0.02	Number of strict rules: 6
0.00/0.02	Direct POLO(bPol) ... removes: 4 1 3 5 7 9 6 2
0.00/0.02	      1 	w: 1
0.00/0.02	      T1	w: 1
0.00/0.02	      topB	w: x1 + x2 + x3
0.00/0.02	      S1	w: 12
0.00/0.02	      T2	w: 1
0.00/0.02	      0 	w: 0
0.00/0.02	      topA	w: x1 + 2 * x2 + x3 + 1
0.00/0.02	      N2	w: 1
0.00/0.02	      N1	w: 5
0.00/0.02	      S2	w: 1
0.00/0.02	Number of strict rules: 0
0.00/0.02	EOF