../ ARTICLE,v 02-Nov-2026 23:47 7689 ARTICLE.2,v 02-Nov-2026 23:47 10998 CHANGES,v 02-Nov-2026 23:47 17569 COPYING,v 02-Nov-2026 23:47 11013 GENERAL,v 02-Nov-2026 23:47 5777 HEURISTICS,v 02-Nov-2026 23:47 10599 MAN-PAGE,v 02-Nov-2026 23:47 9783