6fdc3486236ee93f13e4012e2bd207ebcccb1cbc  dvips.info-1.gz