TIMESTAMP = 1770360975
SHA256 (ERGO-Code-HiGHS-v1.13.0_GH0.tar.gz) = 422e45cb6b10d503258ee894cb37916c087813451f311d1906dcc9701fda8647
SIZE (ERGO-Code-HiGHS-v1.13.0_GH0.tar.gz) = 2775805