nauty User ’ s Guide ( Version 2 . 4 )