SHA256 (seed7_05_20130805.tgz) = 723bef358b15064dad8a43f3c4c0f6c67710fcf3f7c03d172f08a07a3041d149
SIZE (seed7_05_20130805.tgz) = 1926873