TIMESTAMP = 1738662319
SHA256 (seed7_05_20250111.tgz) = 041de239140bc6a933c9ceb819716e059ec88395c147b269ed9816f2e68b0209
SIZE (seed7_05_20250111.tgz) = 4260238