Efficient aggregation for graph summarization | Synapse