MD5 (yacas-1.0.47.tar.gz) = adb0b9912e07060bd19fd2109a6ac6c2