Qual é a altura máxima média da concha menor que 12,5 lb que alcançou sua altura máxima a 25° em 10,1 segundos?
CREATE TABLE table_name_24 (max_height__ft_ INTEGER, time_to_ft__m__at_25°__seconds_ VARCHAR, shell__lb_ VARCHAR)
SELECT AVG(max_height__ft_) FROM table_name_24 WHERE time_to_ft__m__at_25°__seconds_ = "10.1" AND shell__lb_ < 12.5