721.82/299.38	MAYBE
721.82/299.38	
721.82/299.38	Problem:
721.82/299.38	 strict:
721.82/299.38	  a(c(x1)) -> c(c(a(x1)))
721.82/299.38	 weak:
721.82/299.38	  c(x1) -> b(a(a(b(x1))))
721.82/299.38	  b(a(a(b(x1)))) -> c(x1)
721.82/299.38	
721.82/299.38	Proof:
721.82/299.38	 Open
721.82/299.39	EOF