547948domain: NAppears in sequencesNumber of maximal irredundant sets in the n-antiprism graph.at n=15A291054