turns out all the gym leaders (aka instructors) can be found in this hall, and its rooms
and later the elite 4