TIMESTAMP = 1753863983
SHA256 (seed7_05_20250729.tgz) = 416a8a54e61b1539f5fbc131827a38d588758415e617b9941af3cd6b0e2105f0
SIZE (seed7_05_20250729.tgz) = 4386548
