What residence hall has the vermin mascot?
CREATE TABLE table_15873547_1 (
    residence_hall VARCHAR,
    mascot VARCHAR
)
SELECT residence_hall FROM table_15873547_1 WHERE mascot = "Vermin"
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What residence hall has the vermin mascot? ### Input: CREATE TABLE table_15873547_1 (
    residence_hall VARCHAR,
    mascot VARCHAR
) ### Response: SELECT residence_hall FROM table_15873547_1 WHERE mascot = "Vermin"