What is the sum of the all around with a 37.75 total?
CREATE TABLE "finals_6_balls" (
  "place" real,
  "nation" text,
  "all_around" real,
  "final" real,
  "total" real
);
SELECT SUM("all_around") FROM "finals_6_balls" WHERE "total"=37.75;