Sudoku: the extended encoding (finished).