Table 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"