user: Question: What school has a mascot of the Spartans with an AAAA IHSAA class and more than 1275 enrolled?
Columns: ['School', 'Location', 'Mascot', 'Enrollment', 'IHSAA Class', 'IHSAA Football Class', '# / County']
Types: ['text', 'text', 'text', 'real', 'text', 'text', 'text']
Sample row: ['Bellmont', 'Decatur', 'Braves', 801.0, 'AAA', 'AAA', '01 Adams']
SQL:

assistant: SELECT "School" FROM "Table" WHERE "IHSAA Class" = 'AAAA' AND "Enrollment" > 1275.0 AND "Mascot" = 'Spartans';