MD5 (nauty20beta9.tar.gz) = 0209a4531f19d0522603871d90204175
SHA256 (nauty20beta9.tar.gz) = 5fcb0aa6afccf3a4bd13774df1eeb0aaf24f9e915eb58ecdd0062e052d010ead
SIZE (nauty20beta9.tar.gz) = 264860