total 7318
drwxrwxr-x   2 25000    732          512 Dec 12 06:21 .
drwxrwxr-x  16 25000    732          512 Dec  3 06:20 ..
-rw-rw-r--   1 25000    732         1305 Dec 13 03:10 MD5
-rw-rw-r--   1 25000    732         2435 Apr 10  2008 README
-rw-rw-r--   1 25000    732       763154 Dec 11 19:44 ampl.gz
-rw-rw-r--   1 25000    732      2039722 May 15  2003 cplex.tgz
-rw-rw-r--   1 25000    732       147669 Dec  2 11:33 gjh.gz
-rw-rw-r--   1 25000    732         1333 Jul 17  2007 index
-rw-rw-r--   1 25000    732         1466 Jul 17  2007 index.html
-rw-rw-r--   1 25000    732       121254 Jun 12  2003 lpsolve.gz
-rw-rw-r--   1 25000    732       244528 Feb 28  2003 minos.gz
-rw-rw-r--   1 25000    732       347402 Feb 28  2003 snopt.gz
