which ihsaa class has a size larger than 511?
aaa