ba87b89cab741cb3b0a6f1c64e94476e9e4c49c238be34d8d2b6853077fc85a1  dvips.info.gz