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"
### Context: CREATE TABLE table_name_77 (ihsaa_class VARCHAR, mascot VARCHAR) ### Question: What's the IHSAA class of the Red Devils? ### Answer: SELECT ihsaa_class FROM table_name_77 WHERE mascot = "red devils"