Polytopes derived from sporadic simple groups | Synapse