Table schema:
CREATE TABLE table_name_85 (enrollment INTEGER, ihsaa_football_class VARCHAR)

Question: What is the enrollment for the AAAA class in IHSAA?
SQL: SELECT SUM(enrollment) FROM table_name_85 WHERE ihsaa_football_class = "aaaa"