Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 13-Feb-2003 14:52 -
![[TXT]](/icons/text.gif){kind=icon}
count.pl 13-Feb-2003 14:52 2k
![[ ]](/icons/unknown.gif){kind=icon}
final 13-Feb-2003 14:52 1k
raw 13-Feb-2003 14:52 28k
raw.sorted 13-Feb-2003 14:52 28k
unique.pl 13-Feb-2003 14:52 1k