which city is lawrenceburg school, with an ihsaa football class of aaa and less than 676 enrollments, located in?
lawrenceburg