Random sampling from a search engine's index | Synapse