../ extractf.dat 27-Aug-1993 00:00 870 extractf.doc 27-Aug-1993 00:00 5845 extractf.doc.gz 26-Aug-1993 21:00 2240 extractf.dos 26-Aug-1993 21:00 48926 extractf.dos.gz 27-Aug-1993 00:00 27131 extractf.irix 26-Aug-1993 21:00 90680 extractf.irix.gz 27-Aug-1993 00:00 36617 extractf.sun 26-Aug-1993 21:00 40960 extractf.sun.gz 27-Aug-1993 00:00 11389