rwxr-xr-x 4273/0 0 Dec 27 18:37 1993 pictures/ rw-r--r-- 4273/0 22689 Sep 13 19:30 1993 pictures/fig02.out.ps rw-r--r-- 4273/0 51791 Sep 13 19:30 1993 pictures/fig03-04.out.ps rw-r--r-- 4273/0 408153 Sep 13 19:30 1993 pictures/fig05-06.out.ps rw-r--r-- 4273/0 600199 Sep 13 19:30 1993 pictures/fig07-08.out.ps rw-r--r-- 4273/0 402416 Sep 13 19:30 1993 pictures/fig09-10.out.ps rw-r--r-- 4273/0 531569 Sep 13 19:30 1993 pictures/fig11-12.out.ps rw-r--r-- 4273/0 60521 Sep 13 19:30 1993 pictures/fig01.out.ps