790.12/299.39	MAYBE
790.12/299.39	
790.12/299.39	Problem:
790.12/299.39	 strict:
790.12/299.39	  t(u(x1)) -> t(c(d(x1)))
790.12/299.39	  d(f(x1)) -> f(d(x1))
790.12/299.39	  d(g(x1)) -> u(g(x1))
790.12/299.39	  f(u(x1)) -> u(f(x1))
790.12/299.39	  d(n(x1)) -> d(x1)
790.12/299.39	  d(o(x1)) -> d(x1)
790.12/299.39	  o(u(x1)) -> u(x1)
790.12/299.39	 weak:
790.12/299.39	  n(u(x1)) -> u(x1)
790.12/299.39	  f(x1) -> f(n(x1))
790.12/299.39	  t(x1) -> t(c(n(x1)))
790.12/299.39	  c(n(x1)) -> n(c(x1))
790.12/299.39	  c(o(x1)) -> o(c(x1))
790.12/299.39	  c(o(x1)) -> o(x1)
790.12/299.39	  c(f(x1)) -> f(c(x1))
790.12/299.39	  c(u(x1)) -> u(c(x1))
790.12/299.39	  c(d(x1)) -> d(c(x1))
790.12/299.39	
790.12/299.39	Proof:
790.12/299.39	 Open
790.12/299.39	EOF