1 2
SHA256 (nauty24r2.tar.gz) = 760f9cca43b8eb7dd083983ea0e137125ee8a181d460c970137cfb7490fe1621 SIZE (nauty24r2.tar.gz) = 720754