CREATE TABLE "heats" (
  "heat_rank" real,
  "lane" real,
  "swimmer" text,
  "country" text,
  "time" real,
  "overall_rank" text
);

Question: Tell me the highest time for spain and lane larger than 8
SQL: SELECT MAX("time") FROM "heats" 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 "heats" 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 "heats" WHERE "heat_rank"=1;