user: Question: What is the enrollment for the AAAA class in IHSAA?
Columns: ['School', 'Location', 'Mascot', 'Enrollment', 'IHSAA Class', 'IHSAA Football Class', 'County']
Types: ['text', 'text', 'text', 'real', 'text', 'text', 'text']
Sample row: ['Bremen', 'Bremen', 'Lions', 495.0, 'AA', 'AA', '50 Marshall']
SQL:

assistant: SELECT SUM("Enrollment") FROM "Table" WHERE "IHSAA Football Class" = 'AAAA';