what is the average bodyweight when snatch is 80?
CREATE TABLE "lightweight_58_kg" (
  "name" text,
  "bodyweight" real,
  "snatch" real,
  "clean_jerk" real,
  "total_kg" text
);
SELECT AVG("bodyweight") FROM "lightweight_58_kg" WHERE "snatch"=80;