/DistinctFilter.java/1.1/Tue Aug 27 19:54:15 2002//
/ExecutionIterator.java/1.5/Wed Nov 13 18:05:04 2002//
/ExplanationIterator.java/1.2/Tue Sep  3 21:20:00 2002//
/MinimalSizeIterator.java/1.1/Tue Aug 27 19:54:15 2002//
/MinimalSizeSearcher.java/1.1/Tue Aug 27 19:54:15 2002//
D
