MD5 (seed7_05_20091115.tgz) = cc54311fdca46d70bc4c90ceb70dc23d
SHA256 (seed7_05_20091115.tgz) = 24747f4c0e328de510cc85cbbf6b0a61a2bbd5fd87c4e2f6b728f5099f306dd2
SIZE (seed7_05_20091115.tgz) = 1327412