The graph isomorphism program