McKay ’ s Canonical Graph Labeling Algorithm