../ acronym.gz 07-Oct-2003 22:00 803 cap.gz 07-Oct-2003 22:00 10623 lower.gz 07-Oct-2003 22:00 273316 mixed.gz 07-Oct-2003 22:00 10840