TIMESTAMP = 1630783130
SHA256 (nauty27r3.tar.gz) = 4f0665b716a53f7a14ea2ae30059f23d064ce3fe4c12c013404ef6e1ee0b88c2
SIZE (nauty27r3.tar.gz) = 1721200