SHA256 (hotcrp-2.47.tar.gz) = 4446839fad3b72732f5014e1694a2d62d26583cf42150fc1c482d10f8bd94c91
SIZE (hotcrp-2.47.tar.gz) = 522475