A Quasipolynomial Time Algorithm for Graph Isomorphism: The Details