Email Record: Group-theoretic algorithms and graph isomorphism /