a3ecbc7be95a20f0d462d9773e89f498acb400638e79a51e94cae20e94b2a62e  dvips.info-3.gz