What is the total for the player with more snatches than 87.5 and bodyweight more than 74.8?
CREATE TABLE "heavyweight_75_kg" (
  "name" text,
  "bodyweight" real,
  "snatch" real,
  "clean_jerk" real,
  "total_kg" real
);
SELECT AVG("total_kg") FROM "heavyweight_75_kg" WHERE "snatch">87.5 AND "bodyweight">74.8;