MD5 (AI-Prolog-0.740.tar.gz) = d58b815b7c4c2ad204aa4512bb25db9a
SHA256 (AI-Prolog-0.740.tar.gz) = deca91d59e38513ab0e36569dfc6cddb36e0a5f6a224b33a6800bf841a8bc5f0
SIZE (AI-Prolog-0.740.tar.gz) = 69437