MD5 (nauty20beta9.tar.gz) = 0209a4531f19d0522603871d90204175