Table: swimming_2007
Columns: heat_rank
lane
swimmer
country
time
overall_rank

Question: Tell me the highest time for spain and lane larger than 8
SQL: SELECT MAX("time") FROM swimming_2007 WHERE "country" = 'spain' AND "lane" > 8

Question: Tell me the average heat rank for time less than 24.02 and lane of 1
SQL: SELECT AVG("heat_rank") FROM swimming_2007 WHERE "time" < 24.02 AND "lane" = 1

Question: Tell me the total number of time for heat rank of 1
SQL: SELECT COUNT("time") FROM swimming_2007 WHERE "heat_rank" = 1