rw-r--r-- 4273/0 83192 Jul 23 13:57 1993 btds2.dvi rw-r--r-- 4273/0 377875 Jul 23 13:57 1993 btds2.ps