generated at
graph isomorphism