rw-r--r-- 4273/0 34824 Jul 23 13:58 1993 sos.dvi rw-r--r-- 4273/0 260454 Jul 23 13:58 1993 sos.ps