Greedy base sizes for sporadic simple groups | Synapse