/pr19951.cc/1.2/Sun Apr  3 11:23:01 2005//
/pr21734_1.cc/1.1/Thu Jun  2 14:52:18 2005//
/pr21734_2.cc/1.1/Thu Jun  2 14:52:18 2005//
/pr21218.cc/1.1/Mon Jul 25 12:05:04 2005//
/vect.exp/1.3/Wed Jul 27 23:48:09 2005//
/pr22543.cc/1.1/Thu Aug 18 16:07:54 2005//
D
