What's the IHSAA class of the Red Devils?
CREATE TABLE table_name_77 (ihsaa_class VARCHAR, mascot VARCHAR)
SELECT ihsaa_class FROM table_name_77 WHERE mascot = "red devils"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_77 (ihsaa_class VARCHAR, mascot VARCHAR) Question: What's the IHSAA class of the Red Devils? [/INST] SELECT ihsaa_class FROM table_name_77 WHERE mascot = "red devils" </s>