Format of Input and Output Files

The formats of the various input and output files are described below. With the exception of the automatically generated backup file (autosave.ser), all files are in ASCII format.