TIMESTAMP = 1586023265
SHA256 (nauty26r12.tar.gz) = 862ae0dc3656db34ede6fafdb0999f7b875b14c7ab4fedbb3da4f28291eb95dc
SIZE (nauty26r12.tar.gz) = 1660980