total 6290
drwxrwxr-x   2 25000    732          512 Apr 27  2007 .
drwxrwxr-x  16 25000    732          512 Dec  3 06:20 ..
-rw-rw-r--   1 25000    732         1275 Apr 27  2007 MD5
-rw-rw-r--   1 25000    732         2304 Jul 13  2002 README
-rw-rw-r--   1 25000    732       598300 Jul 24  2003 ampl.gz
-rw-rw-r--   1 25000    732      1746188 May 15  2003 cplex.tgz
-rw-rw-r--   1 25000    732          863 Oct  2  2002 index
-rw-rw-r--   1 25000    732          979 Oct  3  2002 index.html
-rw-rw-r--   1 25000    732       145429 Jun 12  2003 lpsolve.gz
-rw-rw-r--   1 25000    732       277447 Feb 28  2003 minos.gz
-rw-rw-r--   1 25000    732       381140 Feb 28  2003 snopt.gz
