Graph summarization with bounded error | Synapse