719.51/299.38	MAYBE
719.51/299.38	
719.51/299.38	Problem:
719.51/299.38	 strict:
719.51/299.38	  min(x,0()) -> 0()
719.51/299.38	  min(0(),y) -> 0()
719.51/299.38	  min(s(x),s(y)) -> s(min(x,y))
719.51/299.38	  max(x,0()) -> x
719.51/299.38	  max(0(),y) -> y
719.51/299.38	  max(s(x),s(y)) -> s(max(x,y))
719.51/299.38	  -(x,0()) -> x
719.51/299.38	  -(s(x),s(y)) -> -(x,y)
719.51/299.38	  gcd(nil()) -> 0()
719.51/299.38	  gcd(cons(x,nil())) -> x
719.51/299.38	  gcd(cons(0(),y)) -> gcd(y)
719.51/299.38	  gcd(cons(x,cons(0(),y))) -> gcd(cons(x,y))
719.51/299.38	  gcd(cons(s(x),cons(s(y),z))) -> gcd(cons(-(max(x,y),min(x,y)),cons(s(min(x,y)),z)))
719.51/299.38	 weak:
719.51/299.38	  cons(x,cons(y,z)) -> cons(y,cons(x,z))
719.51/299.38	
719.51/299.38	Proof:
719.51/299.38	 Open
719.51/299.39	EOF