/Util.java/1.2/Tue Dec  4 12:56:08 2001//
/PRNG.java/1.1/Fri Jan 11 21:43:18 2002//
/Prime.java/1.2/Fri Jan 11 21:42:38 2002//
D
