../ cap.gz 07-Oct-2003 22:00 9396 lower.gz 07-Oct-2003 22:00 184218 mixed.gz 07-Oct-2003 22:00 1433 upper.gz 07-Oct-2003 22:00 200