Schema: CREATE TABLE table_name_77 (ihsaa_class VARCHAR, mascot VARCHAR)
Question: What's the IHSAA class of the Red Devils?
SQL: SELECT ihsaa_class FROM table_name_77 WHERE mascot = "red devils"