Note: in certain circumstances, errors occur when reading the PDF file within a browser using the Acrobat Reader plugin. In particular, the file download has been known to stop at page 138. This problem can be solved by first saving the file to disk (using the 'Save As' command from the browser), and then opening the file with Acrobat Reader.