user: Question: What residence hall has the Vermin mascot?
Columns: ['Residence Hall', 'Sex', 'Established', 'Rector', 'Campus', 'Capacity', 'Colors', 'Mascot']
Types: ['text', 'text', 'real', 'text', 'text', 'real', 'text', 'text']
Sample row: ['Alumni Hall', 'Male', 1931.0, 'Rev. George Rozum, C.S.C.', 'South Quad', 246.0, 'Green and White', 'Dawgs']
SQL:

assistant: SELECT "Residence Hall" FROM "Table" WHERE "Mascot" = 'Vermin';