What is the total bodyweight of everyone that has a Snatch of 153.0?
CREATE TABLE "heavyweight_105_kg" (
  "name" text,
  "bodyweight" real,
  "snatch" text,
  "clean_jerk" text,
  "total_kg" text
);
SELECT SUM("bodyweight") FROM "heavyweight_105_kg" WHERE "snatch"='153.0';