Redirecting to Florida Gators football, 1950-1959