TIMESTAMP = 1720849438
SHA256 (vprover-vampire-v4.9casc2024_GH0.tar.gz) = 7d0101dc296d0f6fb4f3326febf6a3f3bfd3400b36249a91794789c68a855f3d
SIZE (vprover-vampire-v4.9casc2024_GH0.tar.gz) = 1502934
SHA256 (Z3Prover-z3-79bbbf7_GH0.tar.gz) = 27bec158d3cb33be8204fe429d53a29102af1b61151e26631652ae2dac2b26e6
SIZE (Z3Prover-z3-79bbbf7_GH0.tar.gz) = 5453931
