MD5 (maxima-5.6.tgz) = 0ade0e685052a316612a67d427f5f51b