TIMESTAMP = 1788337512
SHA256 (Microsoft-SEAL-v4.4.4_GH0.tar.gz) = 0661a0dc5f385e44c9a69136c841985c2cd47e165aeab7be8aebecf58470b9ad
SIZE (Microsoft-SEAL-v4.4.4_GH0.tar.gz) = 667616
