CREATE TABLE "past_champions_in_the_field" (
  "player" text,
  "country" text,
  "year_s_won" text,
  "total" real,
  "to_par" real,
  "finish" text
);

Question: If the player is Corey Pavin when he had a To par of over 7, what was the sum of his totals?
SQL: SELECT SUM("total") FROM "past_champions_in_the_field" WHERE "to_par">7 AND "player"='corey pavin';