Arthur Whitney's one liner sudoku solver