b2b18e03ea7698db3fbe06c5d76ad8fe  nauty26r7.tar.gz