rwxr-xr-x 4273/0 0 Jan 6 20:12 1994 gulp/ rw-r--r-- 4273/0 438614 Jan 6 19:53 1994 gulp/ai198901.ps rw-r--r-- 4273/0 31005 Aug 9 20:26 1993 gulp/gulp.pl