TIMESTAMP = 1528117967
SHA256 (seed7_05_20180601.tgz) = cc3c6fcb0c52b4234c039ca809fc983820c010af3cbb4cfe788b118a77572245
SIZE (seed7_05_20180601.tgz) = 2809518