TIMESTAMP = 1457018677
SHA256 (janestreet-result-1.2_GH0.tar.gz) = 7cf7909f902994dc885ceae1983e4cda3665914c774f774604d076b89f76f7dd
SIZE (janestreet-result-1.2_GH0.tar.gz) = 2100
