TIMESTAMP = 1543982381
SHA256 (Microsoft-SEAL-3.1.0_GH0.tar.gz) = 5f8f846f8b715dec7d5ff1ae4d1256d86a88925f1b39179dc5ac3e0b7a2d39e3
SIZE (Microsoft-SEAL-3.1.0_GH0.tar.gz) = 248141