/1.c/1.1.1.1/Mon May  3 07:29:09 1999//
/2.c/1.1.1.1/Mon May  3 07:29:09 1999//
/3.cc/1.2/Wed Apr 12 12:55:06 2000//
/4.cc/1.2/Thu Sep 28 22:57:26 2000//
/5.cc/1.3/Thu Sep 28 22:57:26 2000//
/selective.exp/1.20/Tue Aug 21 16:04:37 2001//
D
