SHA256 (seed7_05_20120101.tgz) = fc1fbd7406d28fa6510aefda9bc28ace24b455f7154c344d0cd67300546c149c
SIZE (seed7_05_20120101.tgz) = 1638818