92ebcc642ad0759fcd61f1853fe0587d  dvips.info-1.gz