76c693528e7320d6b8a0aa540d8f77c2  dvips.info-2.gz