TIMESTAMP = 1647580311
SHA256 (Microsoft-SEAL-4.0.0_GH0.tar.gz) = 616653498ba8f3e0cd23abef1d451c6e161a63bd88922f43de4b3595348b5c7e
SIZE (Microsoft-SEAL-4.0.0_GH0.tar.gz) = 612928