TIMESTAMP = 1723533534
SHA256 (seed7_05_20240812.tgz) = 2f128f621411851248f1cefefd99f8bc4b45ea73761bba70cf3d0f6b1282e21d
SIZE (seed7_05_20240812.tgz) = 4150682
