b2b18e03ea7698db3fbe06c5d76ad8fe nauty26r7.tar.gz