TIMESTAMP = 1622625253
SHA256 (Microsoft-SEAL-3.6.5_GH0.tar.gz) = 77bfcb4a8b785206c419cdf7aff8c200250691518eeddc958f874d1f567b2872
SIZE (Microsoft-SEAL-3.6.5_GH0.tar.gz) = 591480
