TIMESTAMP = 1699205241
SHA256 (ERGO-Code-HiGHS-v1.6.0_GH0.tar.gz) = 71962981566477c72c51b8b722c5df053d857b05b4f0e6869f455f657b3aa193
SIZE (ERGO-Code-HiGHS-v1.6.0_GH0.tar.gz) = 2055410