SHA256 (seed7_05_20190819.tgz) = lPzh58FyDE1YKwZjf89wVDs5nFTNjY9plCHjGiqrj6U=
SIZE (seed7_05_20190819.tgz) = 3083695
