total 6762
drwxrwxr-x   2 25000    732          512 Feb  3 06:20 .
drwxrwxr-x   4 25000    732          512 Sep 11 06:20 ..
-rw-rw-r--   1 25000    732          594 Feb  4 03:10 MD5
-rw-rw-r--   1 25000    732       434997 Jan 31 01:09 ampl.gz
-rw-rw-r--   1 25000    732      2324530 Nov 14 01:23 cplex.tgz
-rw-rw-r--   1 25000    732        87905 Dec  2 00:19 gjh.gz
-rw-rw-r--   1 25000    732         1586 Apr 10  2008 index
-rw-rw-r--   1 25000    732         1659 Apr 10  2008 index.html
-rw-rw-r--   1 25000    732       210312 May 19  2008 minos.gz
-rw-rw-r--   1 25000    732       350136 May 17  2008 snopt.gz
