/pr19951.cc/1.2/Thu Mar 31 18:34:13 2005//
/pr21218.cc/1.1/Mon Jul 25 12:05:04 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//
/vect.exp/1.3/Mon Jul 25 12:05:04 2005//
/pr22543.cc/1.1/Thu Aug 18 16:07:54 2005//
D
