704.05/299.39	MAYBE
704.05/299.39	
704.05/299.39	Problem:
704.05/299.39	 strict:
704.05/299.39	  minus(x,0()) -> x
704.05/299.39	  minus(s(x),s(y)) -> minus(x,y)
704.05/299.39	  quot(0(),s(y)) -> 0()
704.05/299.39	  quot(s(x),s(y)) -> s(quot(minus(x,y),s(y)))
704.05/299.39	  app(nil(),y) -> y
704.05/299.39	  app(add(n,x),y) -> add(n,app(x,y))
704.05/299.39	  reverse(nil()) -> nil()
704.05/299.39	  reverse(add(n,x)) -> app(reverse(x),add(n,nil()))
704.05/299.39	  shuffle(nil()) -> nil()
704.05/299.39	  shuffle(add(n,x)) -> add(n,shuffle(reverse(x)))
704.05/299.39	  concat(leaf(),y) -> y
704.05/299.39	  concat(cons(u,v),y) -> cons(u,concat(v,y))
704.05/299.39	  less_leaves(x,leaf()) -> false()
704.05/299.39	  less_leaves(leaf(),cons(w,z)) -> true()
704.05/299.39	  less_leaves(cons(u,v),cons(w,z)) -> less_leaves(concat(u,v),concat(w,z))
704.05/299.39	 weak:
704.05/299.39	  rand(x) -> x
704.05/299.39	  rand(x) -> rand(s(x))
704.05/299.39	
704.05/299.39	Proof:
704.05/299.39	 Open
704.05/299.39	EOF