Update

1. Proof or Final Mode

Specify whether to run the program in proof or final mode. Values are:

Blank: Run in proof mode.

1: Run in final mode.