total 6258
drwxrwxr-x   4 25000    732          512 Feb 17 06:20 .
drwxrwxr-x  16 25000    732          512 Dec  3 06:20 ..
-rw-rw-r--   1 25000    732           43 May  7  2006 00lastchange
-rw-rw-r--   1 25000    732         1445 Feb 18 03:10 MD5
-rw-rw-r--   1 25000    732         2438 Apr 10  2008 README
-rw-rw-r--   1 25000    732       465536 Feb 14 21:33 ampl.gz
-rw-rw-r--   1 25000    732      1991429 Nov 14 01:01 cplex.tgz
-rw-rw-r--   1 25000    732        77668 Dec  1 23:45 gjh.gz
-rw-rw-r--   1 25000    732         1332 Apr 10  2008 index
-rw-rw-r--   1 25000    732         1453 Apr 10  2008 index.html
-rw-rw-r--   1 25000    732          163 Jul 19  2000 lastchange
drwxrwxr-x   2 25000    732          512 Jul 17  2007 libc5
-rw-rw-r--   1 25000    732        88059 Jun 25  2005 lpsolve.gz
-rw-rw-r--   1 25000    732       203369 May 19  2008 minos.gz
-rw-rw-r--   1 25000    732       318450 May 19  2008 snopt.gz
drwxrwxr-x   2 25000    732          512 Jul 17  2007 t
