SHA256 (hotcrp-2.46.tar.gz) = 839b50d06b3680488510f0020371ed2531acfde76e16940f32047233e8f98e3c
SIZE (hotcrp-2.46.tar.gz) = 515529