user: Question: Name the nickname for enrollment being 9000
Columns: ['Institution', 'Location', 'Nickname', 'Founded', 'Type', 'Enrollment', 'Joined']
Types: ['text', 'text', 'text', 'real', 'text', 'real', 'real']
Sample row: ['Eastern Connecticut State University', 'Willimantic, Connecticut', 'Warriors', 1889.0, 'Public', 5113.0, 1986.0]
SQL:

assistant: SELECT "Nickname" FROM "Table" WHERE "Enrollment" = 9000.0;