SHA256 (seed7_05_20130908.tgz) = dc06a2f58774d4f152e0e433d6983d637c426b02f223679b0d86ee5e1368616a
SIZE (seed7_05_20130908.tgz) = 1944548