../ cap.gz 07-Oct-2003 22:00 10423 lower.gz 07-Oct-2003 22:00 48130 mixed.gz 07-Oct-2003 22:00 525 upper.gz 07-Oct-2003 22:00 189