which county has an ihsaa class of aaa, and an enrollment smaller than 799?
82 vanderburgh