../ cor10u.tfm 22-Feb-1994 06:00 1428 cor6j.tfm 22-Feb-1994 06:00 1236 cor7j.tfm 22-Feb-1994 06:00 1312 cor8u.tfm 22-Feb-1994 06:00 1292 cotr.tfm 25-Feb-1994 06:00 1496 cotr8t.tfm 25-Feb-1994 06:00 1508