Which weightlifter with a snatch larger than 117.5 had the lowest bodyweight?
CREATE TABLE "super_heavyweight_75_kg" (
  "name" text,
  "bodyweight" real,
  "snatch" real,
  "clean_jerk" real,
  "total_kg" real
);
SELECT MIN("bodyweight") FROM "super_heavyweight_75_kg" WHERE "snatch">117.5;