(BIN) maxima-5.2.tar.gz