- There are as many lines as the number of distinct letters in the words corresponding to the two operands and the result
- Each line is a letter followed by a space followed by a digit corresponding to which the letter maps in the solution mapping