TIMESTAMP = 1670498067
SHA256 (ERGO-Code-HiGHS-v1.4.1_GH0.tar.gz) = 9890e02ff2d1607ed4d0708a0f2e3a2dc64da1f4301bb85cf1f2c924aa1fee7b
SIZE (ERGO-Code-HiGHS-v1.4.1_GH0.tar.gz) = 1825363
