MD5 (AI-Prolog-0.734.tar.gz) = 7d4c7c50efbd6076f07cb9d4c39cfafc SHA256 (AI-Prolog-0.734.tar.gz) = eb096f48e65e84e980925a450c8f71839360b601809e712d3737315225827d23 SIZE (AI-Prolog-0.734.tar.gz) = 67939