../ ARTICLE,v 02-Aug-2025 01:53 7653 ARTICLE.2,v 02-Aug-2025 01:53 10962 CHANGES,v 02-Aug-2025 01:53 17533 COPYING,v 02-Aug-2025 01:53 10977 GENERAL,v 02-Aug-2025 01:53 5741 HEURISTICS,v 02-Aug-2025 01:53 10563 MAN-PAGE,v 02-Aug-2025 01:53 9747