sample input and output files: see README ####
Website maintained by David M. Gay. Last modified: 22 August 2013.