MD5 (seed7_05_20100801.tgz) = 3f94016453abf4cbb24fdcd3585a6d6f
SHA256 (seed7_05_20100801.tgz) = ac5a8b07ba6e1ae8db13f64e38e107932f122aa69f3cee02de19edafbec3624c
SIZE (seed7_05_20100801.tgz) = 1395358