TIMESTAMP = 1566205173
SHA256 (seed7_05_20190818.tgz) = f718015d599ec5445b7e0bacb1290614cb51baad1a95e1211478d2fc17ef325c
SIZE (seed7_05_20190818.tgz) = 3083539