How to find all extremal graphs using symmetric subgraphs | Synapse