Instruct: 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?
Output: SELECT AVG Max. height (ft) FROM table WHERE Time to ft (m) at 25° (seconds) = 10.1 AND Shell (lb) < 12.5