user: Question: What is the name of the institution with the mascot of Blue Devils?
Columns: ['Institution', 'Main Campus Location', 'Founded', 'Mascot', 'School Colors']
Types: ['text', 'text', 'real', 'text', 'text']
Sample row: ['Allen Community College', 'Iola', 1923.0, 'Red Devils', 'Scarlet & Black']
SQL:

assistant: SELECT "Institution" FROM "Table" WHERE "Mascot" = 'Blue Devils';