TIMESTAMP = 1582184927
SHA256 (janestreet-result-1.5_GH0.tar.gz) = 1072a8b0b35bd6df939c0670add33027f981e4f69a53233cb006b442fa12af30
SIZE (janestreet-result-1.5_GH0.tar.gz) = 2291