text: Below is an context that describes a sql query, paired with an question that provides further information. Write an answer that appropriately completes the request.  # noqa: E501
  ### Context:
  CREATE TABLE table_15873547_1 (residence_hall VARCHAR, mascot VARCHAR)
  ### Question:
  What residence hall has the vermin mascot?
  ### Answer:
  SELECT residence_hall FROM table_15873547_1 WHERE mascot = "Vermin"