sudoku_lhs
