In heat rank 7, what is the sum of lanes?
CREATE TABLE "heats" (
  "heat_rank" real,
  "lane" real,
  "swimmer" text,
  "country" text,
  "time" real,
  "overall_rank" text
);
SELECT SUM("lane") FROM "heats" WHERE "heat_rank"=7;