Mining graph patterns efficiently via randomized summaries | Synapse