TIMESTAMP = 1685407327
SHA256 (nauty2_8_6.tar.gz) = f2ce98225ca8330f5bce35f7d707b629247e09dda15fc479dc00e726fee5e6fa
SIZE (nauty2_8_6.tar.gz) = 1546765