src/work/marci/dimacs.hh
2004-02-20 marci -> hugo replacements
2004-02-09 .