../ hole10.cnf 24-Jul-2006 01:21 6271 hole6.cnf 24-Jul-2006 01:21 2575 hole7.cnf 24-Jul-2006 01:21 3724 hole8.cnf 24-Jul-2006 01:21 5217 hole9.cnf 24-Jul-2006 01:21 7098