784290domain: NAppears in sequencesNumber of irredundant sets in the n-Andrásfai graph.at n=13A290587