What is the average final with an all around greater than 19.35 and a total over 40?
CREATE TABLE "finals_3_balls_3_hoops" (
  "place" real,
  "nation" text,
  "all_around" real,
  "final" real,
  "total" real
);
SELECT AVG("final") FROM "finals_3_balls_3_hoops" WHERE "all_around">19.35 AND "total">40;