SHA256 (AI-Prolog-0.741.tar.gz) = d07c3c2ef48d55e769225b339f671a7d2b21228e0ccbaa25d565f2ea5916d9c1
SIZE (AI-Prolog-0.741.tar.gz) = 69834