rwxr-xr-x 4273/0 0 Jul 7 00:07 1994 proper/ rw-r--r-- 4273/0 1423845 Jul 6 03:50 1994 proper/proper_names rw-r--r-- 4273/0 2659631 Jul 6 03:51 1994 proper/proper_names_plus