set of flags in a formal hall