General information

When checking the proof file only the first 10 errors of each type are listed.

Please do not modify the program to circumvent any checks. Doing so would be pointless because the same checking routine is used again inside IDEA to double-check the data file uploaded in the zip file.

Before Running the Programs

The Program