TIMESTAMP = 1654596318
SHA256 (seed7_05_20220522.tgz) = a4483a80770e27edd7b56320297ed2f3b69bd92179cfa750f3c090cba3f9a632
SIZE (seed7_05_20220522.tgz) = 3754170
