712.26/299.45	MAYBE
712.26/299.46	
712.26/299.46	Problem:
712.26/299.46	 strict:
712.26/299.46	  top(north(old(n),e,s,w)) -> top(east(n,e,s,w))
712.26/299.46	  top(north(new(n),old(e),s,w)) -> top(east(n,old(e),s,w))
712.26/299.46	  top(north(new(n),e,old(s),w)) -> top(east(n,e,old(s),w))
712.26/299.46	  top(north(new(n),e,s,old(w))) -> top(east(n,e,s,old(w)))
712.26/299.46	  top(east(n,old(e),s,w)) -> top(south(n,e,s,w))
712.26/299.46	  top(east(old(n),new(e),s,w)) -> top(south(old(n),e,s,w))
712.26/299.46	  top(east(n,new(e),old(s),w)) -> top(south(n,e,old(s),w))
712.26/299.46	  top(east(n,new(e),s,old(w))) -> top(south(n,e,s,old(w)))
712.26/299.46	  top(south(n,e,old(s),w)) -> top(west(n,e,s,w))
712.26/299.46	  top(south(old(n),e,new(s),w)) -> top(west(old(n),e,s,w))
712.26/299.46	  top(south(n,old(e),new(s),w)) -> top(west(n,old(e),s,w))
712.26/299.46	  top(south(n,e,new(s),old(w))) -> top(west(n,e,s,old(w)))
712.26/299.46	  top(west(n,e,s,old(w))) -> top(north(n,e,s,w))
712.26/299.46	  top(west(old(n),e,s,new(w))) -> top(north(old(n),e,s,w))
712.26/299.46	  top(west(n,old(e),s,new(w))) -> top(north(n,old(e),s,w))
712.26/299.46	  top(west(n,e,old(s),new(w))) -> top(north(n,e,old(s),w))
712.26/299.46	  top(north(bot(),old(e),s,w)) -> top(east(bot(),old(e),s,w))
712.26/299.46	  top(north(bot(),e,old(s),w)) -> top(east(bot(),e,old(s),w))
712.26/299.46	  top(north(bot(),e,s,old(w))) -> top(east(bot(),e,s,old(w)))
712.26/299.46	  top(east(old(n),bot(),s,w)) -> top(south(old(n),bot(),s,w))
712.26/299.46	  top(east(n,bot(),old(s),w)) -> top(south(n,bot(),old(s),w))
712.26/299.46	  top(east(n,bot(),s,old(w))) -> top(south(n,bot(),s,old(w)))
712.26/299.46	  top(south(old(n),e,bot(),w)) -> top(west(old(n),e,bot(),w))
712.26/299.46	  top(south(n,old(e),bot(),w)) -> top(west(n,old(e),bot(),w))
712.26/299.46	  top(south(n,e,bot(),old(w))) -> top(west(n,e,bot(),old(w)))
712.26/299.46	  top(west(old(n),e,s,bot())) -> top(north(old(n),e,s,bot()))
712.26/299.46	  top(west(n,old(e),s,bot())) -> top(north(n,old(e),s,bot()))
712.26/299.46	  top(west(n,e,old(s),bot())) -> top(north(n,e,old(s),bot()))
712.26/299.46	 weak:
712.26/299.46	  top(north(old(n),e,s,w)) -> top(north(n,e,s,w))
712.26/299.46	  top(north(new(n),e,s,w)) -> top(north(n,e,s,w))
712.26/299.46	  top(east(n,old(e),s,w)) -> top(east(n,e,s,w))
712.26/299.46	  top(east(n,new(e),s,w)) -> top(east(n,e,s,w))
712.26/299.46	  top(south(n,e,old(s),w)) -> top(south(n,e,s,w))
712.26/299.46	  top(south(n,e,new(s),w)) -> top(south(n,e,s,w))
712.26/299.46	  top(west(n,e,s,old(w))) -> top(west(n,e,s,w))
712.26/299.46	  top(west(n,e,s,new(w))) -> top(west(n,e,s,w))
712.26/299.46	  bot() -> new(bot())
712.26/299.46	
712.26/299.46	Proof:
712.26/299.46	 Open
712.26/299.46	EOF