This draft confuses the usual, explicit definition of functions with algorithmic definitions. For example, the function on the real plane that takes (a,b) and returns 1 when a< b or returns 0 otherwise, where < is a well-ordering on the reals given by the axiom of choice, is certainly not algorithmic.
An average full-grown male Labrador Retriever weighs anywhere between 65 and 80 lbs. Males are characteristically larger than females, though are just as prone to becoming overweight. The average female Labrador Retriever can weigh from 55 to 70 lbs, depending on bone structure and diet.
Labrador Retriever - a purebred, large dog from United States and Canada with a typical lifespan of 12 years, height of 24 inches, and weight of 73 pounds. The #1 AKC breed. See data on personality, health, cost of ownership, and more.