Tolerating some redundancy significantly speeds up clustering of large protein databases | Synapse