/%gmp.c/1.3/Mon Oct 14 06:13:53 2002//
/gmp.goo/1.4/Wed Nov 19 19:50:49 2003//
D
