../ cmcsc10.pk 30-Sep-1991 05:30 4404 cmmi10.pk 30-Sep-1991 05:30 4956 cmmi7.pk 30-Sep-1991 05:30 3728 cmr10.pk 30-Sep-1991 05:30 4264 cmr12.pk 30-Sep-1991 05:30 4912 cmr17.pk 30-Sep-1991 05:30 6864 cmr6.pk 30-Sep-1991 05:30 2996 cmr7.pk 30-Sep-1991 05:30 3388 cmr8.pk 30-Sep-1991 05:30 3636 cmsy10.pk 30-Sep-1991 05:30 5036 cmsy7.pk 30-Sep-1991 05:30 3904 cmti10.pk 30-Sep-1991 05:30 4936