TIMESTAMP = 1601648114
SHA256 (nauty27r1.tar.gz) = 76ca5d196e402c83a987f90c28ff706bcc5a333bb4a8fbb979a62d3b99c34e77
SIZE (nauty27r1.tar.gz) = 3428473