CREATE TABLE "24_hours_of_le_mans_results" (
  "year" real,
  "team" text,
  "co_drivers" text,
  "class" text,
  "laps" real,
  "pos" text,
  "class_pos" text
);

Question: How many laps were done in 2012?
SQL: SELECT SUM("laps") FROM "24_hours_of_le_mans_results" WHERE "year"=2012;