rwxr-xr-x 4273/0 0 Mar 25 17:00 1994 ricetr/ rw-r--r-- 4273/0 150120 Jul 23 13:58 1993 ricetr/ricetr100.dvi rw-r--r-- 4273/0 332307 Jul 23 13:58 1993 ricetr/ricetr100.ps rw-r--r-- 4273/0 152752 Jul 23 13:58 1993 ricetr/ricetr180.dvi rw-r--r-- 4273/0 374052 Jul 23 13:58 1993 ricetr/ricetr180.ps