Updated version of nauty to 2.5r6