../ lambda.fmt 12-Aug-2000 23:00 834K omega.fmt 12-Aug-2000 23:00 469K omega.pool 12-Aug-2000 23:00 29K