/COPYRIGHT.txt/1.2/Sat Nov  9 00:46:59 2002//
/fast_nv1995.h/1.10/Thu Oct  2 17:41:35 2003//
/fast_terms.h/1.2/Sat Jan  8 04:32:54 2005//
/namespace.h/1.1/Thu Oct  2 07:12:08 2003//
/symmetry_flags.h/1.4/Thu Apr 22 21:21:00 2004//
D
