TIMESTAMP = 1673347962
SHA256 (Microsoft-SEAL-4.1.1_GH0.tar.gz) = 000326fa0a12ff2879e63bd6c6eed0bc56bab4b5dd3e3b479c0e7425bd359f35
SIZE (Microsoft-SEAL-4.1.1_GH0.tar.gz) = 621213