Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual residência estudantil tem o mascote de roedores?
 ###Tabelas: CREATE TABLE specimen_set_editions (specimen_set_editions_id AUTO_INCREMENT PRIMARY KEY, Year INT, Theme VARCHAR, Artist VARCHAR, Mintage INT, Issue price VARCHAR) CREATE TABLE talk_shows (talk_shows_id AUTO_INCREMENT PRIMARY KEY, Show VARCHAR, Host(s) VARCHAR, Flagship VARCHAR, Market VARCHAR, iHeartRadio VARCHAR) CREATE TABLE finals_champions_league_era (finals_champions_league_era_id AUTO_INCREMENT PRIMARY KEY, Season VARCHAR, Winner VARCHAR, Score VARCHAR, Runner-up VARCHAR, Losing Semifinalists VARCHAR) CREATE TABLE cultural_and_ethnic_composition (cultural_and_ethnic_composition_id AUTO_INCREMENT PRIMARY KEY, Self-identification VARCHAR, Moldovan census INT, % Core Moldova VARCHAR, Transnistrian census INT, % Transnistria + Bender VARCHAR, Total INT, % VARCHAR) CREATE TABLE  (_id AUTO_INCREMENT PRIMARY KEY, Residence Hall VARCHAR, Sex VARCHAR, Established INT, Rector VARCHAR, Campus VARCHAR, Capacity INT, Colors VARCHAR, Mascot VARCHAR)  
SELECT Residence Hall FROM  WHERE Mascot = Vermin