1. Open the proof in Spark! if it is not already open.

2. Click the Download button in the Spark! toolbar. Depending on your browser, operating system, and installed browser plug-ins, you may be prompted for permission to download the file, it may open in a new browser window, or it may even open in a native application for that file type.

This downloads the original file. No comments or annotations are included in the download.