SHA256 (seed7_05_20130602.tgz) = 8eaa40ff093f28e2fa8e6f45f44f827fcc46ddff623589b38db0c066c0ad5699
SIZE (seed7_05_20130602.tgz) = 1863941