MrCodeFormatGrader

Instructor Bob is building a website that automatically grades source code formatting. The website is called "MrCodeFormatGrader". When you run Bob's program and submit your source code, it outputs $C$, the number of lines of source code; $N$, the number of source code lines with format errors; and a list of the line numbers that are not properly formatted. The line numbers are separated by spaces and given in increasing order.

For example, for a $100$-line program with $10$ errors on lines $2$, $3$, $5$, $10$, $11$, $12$, $25$, $26$, $88$, and $89$, the original program might output this:

100 10
2 3 5 10 11 12 25 26 88 89

However, the people who used this program said the output is not very readable. Your job is to read the output above and show two lists: a compressed list of errors and a compressed list of correct lines.

Input consists of two lines. The first line contains two integers: $C$, the number of lines of source code in the program being checked, where $2 ≤ C ≤ 100\,000$; and $N$, the number of source code lines containing format errors, where $1 ≤ N ≤ \min(C, 1\,000)$. The second line contains $N$ values identifying the line numbers of source code lines with format errors. These values are positive integers less than or equal to $C$ and are listed in strictly increasing order.

Output consists of two lines. The first line starts with the string "Errors:", followed by a space, followed by the list of lines with errors. The second line starts with the string "Correct:", followed by a space, followed by the list of lines without errors. For both lists, a contiguous set of line numbers is represented by the first and last line, separated by a hyphen ('-'). In lists with two or more items, items are separated by a comma and space except for the last value (or last range of contiguous values), which is preceded by "and" instead of a comma and space. See the sample output. Note: every program has at least one error and at least one correct line.