What is the regular season vacated for the Record as played of 12–19?
CREATE TABLE "vacated_and_forfeited_games" (
  "season" real,
  "coach" text,
  "record_as_played" text,
  "actual_adjusted_record" text,
  "regular_season_vacated" text
);
SELECT "regular_season_vacated" FROM "vacated_and_forfeited_games" WHERE "record_as_played"='12–19';