TIMESTAMP = 1493901277
SHA256 (seed7_05_20170501.tgz) = 5e732b5ba76946933114cfd7a450bec0488472c8540943954ea96eb812ddabeb
SIZE (seed7_05_20170501.tgz) = 2745078