TIMESTAMP = 1687719811
SHA256 (vprover-vampire-v4.7-423-gc1643839b_GH0.tar.gz) = 64251a4c914e3bfaacf790d7466d515c763760a7997e8549d9adb41b16c37fb0
SIZE (vprover-vampire-v4.7-423-gc1643839b_GH0.tar.gz) = 1521191
