TIMESTAMP = 1607701243
SHA256 (seed7_05_20201208.tgz) = daa40ad734c5f959176eacd4c23626bca91418db4c1188d7789199ae7a18e185
SIZE (seed7_05_20201208.tgz) = 3455765
