/heuristic.fun/1.3/Wed Feb  9 02:11:02 2000//
/heuristic.sig/1.2/Thu May 13 13:50:41 1999//
/heuristic.sum.fun/1.2/Wed Feb  9 02:11:02 2000//
/sources.cm/1.3/Mon Sep 16 11:01:12 2002//
D
