Appendix C This appendix contains a README file, as well as the source files of the program described in the paper, and the results of the authors' computations.

The zipped file is: