What is total amount of points for the 2007 season?
CREATE TABLE "champions" (
  "season" real,
  "driver" text,
  "team" text,
  "tyre" text,
  "points" real
);
SELECT SUM("points") FROM "champions" WHERE "season"=2007;