0.01/0.52	YES
0.01/0.52	Input TRS:
0.01/0.52	    1: top(north(old(n),e,s,w)) -> top(east(n,e,s,w))
0.01/0.52	    2: top(north(new(n),old(e),s,w)) -> top(east(n,old(e),s,w))
0.01/0.52	    3: top(north(new(n),e,old(s),w)) -> top(east(n,e,old(s),w))
0.01/0.52	    4: top(north(new(n),e,s,old(w))) -> top(east(n,e,s,old(w)))
0.01/0.52	    5: top(east(n,old(e),s,w)) -> top(south(n,e,s,w))
0.01/0.52	    6: top(east(old(n),new(e),s,w)) -> top(south(old(n),e,s,w))
0.01/0.52	    7: top(east(n,new(e),old(s),w)) -> top(south(n,e,old(s),w))
0.01/0.52	    8: top(east(n,new(e),s,old(w))) -> top(south(n,e,s,old(w)))
0.01/0.52	    9: top(south(n,e,old(s),w)) -> top(west(n,e,s,w))
0.01/0.52	    10: top(south(old(n),e,new(s),w)) -> top(west(old(n),e,s,w))
0.01/0.52	    11: top(south(n,old(e),new(s),w)) -> top(west(n,old(e),s,w))
0.01/0.52	    12: top(south(n,e,new(s),old(w))) -> top(west(n,e,s,old(w)))
0.01/0.52	    13: top(west(n,e,s,old(w))) -> top(north(n,e,s,w))
0.01/0.52	    14: top(west(old(n),e,s,new(w))) -> top(north(old(n),e,s,w))
0.01/0.52	    15: top(west(n,old(e),s,new(w))) -> top(north(n,old(e),s,w))
0.01/0.52	    16: top(west(n,e,old(s),new(w))) -> top(north(n,e,old(s),w))
0.01/0.52	    17: top(north(bot(),old(e),s,w)) -> top(east(bot(),old(e),s,w))
0.01/0.52	    18: top(north(bot(),e,old(s),w)) -> top(east(bot(),e,old(s),w))
0.01/0.52	    19: top(north(bot(),e,s,old(w))) -> top(east(bot(),e,s,old(w)))
0.01/0.52	    20: top(east(old(n),bot(),s,w)) -> top(south(old(n),bot(),s,w))
0.01/0.52	    21: top(east(n,bot(),old(s),w)) -> top(south(n,bot(),old(s),w))
0.01/0.52	    22: top(east(n,bot(),s,old(w))) -> top(south(n,bot(),s,old(w)))
0.01/0.52	    23: top(south(old(n),e,bot(),w)) -> top(west(old(n),e,bot(),w))
0.01/0.52	    24: top(south(n,old(e),bot(),w)) -> top(west(n,old(e),bot(),w))
0.01/0.52	    25: top(south(n,e,bot(),old(w))) -> top(west(n,e,bot(),old(w)))
0.01/0.52	    26: top(west(old(n),e,s,bot())) -> top(north(old(n),e,s,bot()))
0.01/0.52	    27: top(west(n,old(e),s,bot())) -> top(north(n,old(e),s,bot()))
0.01/0.52	    28: top(west(n,e,old(s),bot())) -> top(north(n,e,old(s),bot()))
0.01/0.52	    29: top(north(old(n),e,s,w)) ->= top(north(n,e,s,w))
0.01/0.52	    30: top(north(new(n),e,s,w)) ->= top(north(n,e,s,w))
0.01/0.52	    31: top(east(n,old(e),s,w)) ->= top(east(n,e,s,w))
0.01/0.52	    32: top(east(n,new(e),s,w)) ->= top(east(n,e,s,w))
0.01/0.52	    33: top(south(n,e,old(s),w)) ->= top(south(n,e,s,w))
0.01/0.52	    34: top(south(n,e,new(s),w)) ->= top(south(n,e,s,w))
0.01/0.52	    35: top(west(n,e,s,old(w))) ->= top(west(n,e,s,w))
0.01/0.52	    36: top(west(n,e,s,new(w))) ->= top(west(n,e,s,w))
0.01/0.52	    37: bot() ->= new(bot())
0.01/0.52	Number of strict rules: 28
0.01/0.52	Direct POLO(bPol) ... removes: 1 5 33 10 31 23 9 13 35 29
0.01/0.52	      new	w: 2 * x1
0.01/0.52	      south	w: 2 * x1 + x2 + x3 + x4 + 1
0.01/0.52	      top	w: x1
0.01/0.52	      bot	w: 0
0.01/0.52	      west	w: x1 + x2 + x3 + x4 + 1
0.01/0.52	      north	w: x1 + x2 + x3 + x4 + 1
0.01/0.52	      east	w: 2 * x1 + x2 + x3 + x4 + 1
0.01/0.52	      old	w: 2 * x1 + 1
0.01/0.52	Number of strict rules: 22
0.01/0.52	Direct POLO(bPol) ... removes: 18 4 15 3 16 26 19 17 27 28 25 14 12 24 11 2
0.01/0.52	      new	w: 2 * x1
0.01/0.52	      south	w: x1 + 2 * x2 + x3 + x4 + 4
0.01/0.52	      top	w: x1
0.01/0.52	      bot	w: 0
0.01/0.52	      west	w: x1 + 2 * x2 + 2 * x3 + x4 + 3
0.01/0.52	      north	w: x1 + 2 * x2 + 2 * x3 + 2 * x4 + 2
0.01/0.52	      east	w: 2 * x1 + 2 * x2 + 2 * x3 + 2 * x4 + 1
0.01/0.52	      old	w: 2 * x1 + 3
0.01/0.52	Number of strict rules: 6
0.01/0.52	Direct POLO(bPol) ... removes: 8 21 22 7 20 6
0.01/0.52	      new	w: 2 * x1
0.01/0.52	      south	w: x1 + 2 * x2 + x3 + x4 + 3
0.01/0.52	      top	w: x1
0.01/0.52	      bot	w: 0
0.01/0.52	      west	w: x1 + 2 * x2 + 2 * x3 + x4 + 3
0.01/0.52	      north	w: x1 + 2 * x2 + 2 * x3 + 2 * x4 + 2
0.01/0.52	      east	w: 2 * x1 + 2 * x2 + 2 * x3 + 2 * x4 + 1
0.01/0.52	      old	w: 2 * x1 + 3
0.01/0.52	Number of strict rules: 0
0.01/0.52	EOF