General information

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.

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

Before Running the Programs

The Program