[graph-tool] isomorphic mapping