Cardinalities of irredundant bases of finite primitive groups | Synapse