What theme has a mintage of 3527?
CREATE TABLE "twenty_five_cents" (
  "year" real,
  "theme" text,
  "artist" text,
  "mintage" text,
  "issue_price" real,
  "special_notes" text
);
SELECT "theme" FROM "twenty_five_cents" WHERE "mintage"='3527';