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?
CREATE TABLE "performance" (
  "m_v_ft_s" real,
  "shell_lb" real,
  "time_to_ft_m_at_25_seconds" text,
  "time_to_ft_m_at_40_seconds" real,
  "time_to_ft_m_at_55_seconds" real,
  "max_height_ft" real
);
SELECT AVG("max_height_ft") FROM "performance" WHERE "time_to_ft_m_at_25_seconds"='10.1' AND "shell_lb"<12.5;