ความสูงสูงสุดเฉลี่ยของเปลือกหอยที่เล็กกว่า 12.5 ปอนด์ซึ่งไปถึงความสูงสูงสุดที่ 25° ใน 10.1 วินาทีคือเท่าใด ไม่จำเป็นต้องใช้ตารางทั้งหมด
What is the average maximum height of the shell smaller than 12.5 lb that reached its maximum height at 25° in 10.1 seconds?It is not neccessary to use all the tables.
 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