CREATE TABLE "holiday_coin_set" (
  "year" real,
  "theme" text,
  "artist" text,
  "mintage" text,
  "issue_price" real
);

Question: What was the mintage when the theme was Santa Claus?
SQL: SELECT "mintage" FROM "holiday_coin_set" WHERE "theme"='santa claus';

Question: What was the issue price in the year 2008?
SQL: SELECT SUM("issue_price") FROM "holiday_coin_set" WHERE "year"=2008;