diff -r cdfb2ce30a3d -r 7b0055205ec9 progs/sudoku.scala
--- a/progs/sudoku.scala	Tue Nov 19 00:40:27 2019 +0000
+++ b/progs/sudoku.scala	Tue Nov 19 06:38:10 2019 +0000
@@ -56,11 +56,9 @@
 // a list of hard games according to Andrew Coles and Peter Norvig
 
 val hard_games = 
-  List("4.....8.5.3..........7......2.....6.....8.4......1.......6.3.7.5..2.....1.4......",
-       "52...6.........7.13...........4..8..6......5...........418.........3..2...87.....",
+  List("52...6.........7.13...........4..8..6......5...........418.........3..2...87.....",
        "6.....8.3.4.7.................5.4.7.3..2.....1.6.......2.....5.....8.6......1....",
        "48.3............71.2.......7.5....6....2..8.............1.76...3.....4......5....",
-       "....14....3....2...7..........9...3.6.1.............8.2.....1.4....5.6.....7.8...",
        "......52..8.4......3...9...5.1...6..2..7........3.....6...1..........7.4.......3.",
        "6.2.5.........3.4..........43...8....1....2........7..5..27...........81...6.....",
        ".524.........7.1..............8.2...3.....6...9.5.....1.6.3...........897........",
@@ -167,7 +165,9 @@
        ".2.3.......6..8.9.83.5........2...8.7.9..5........6..4.......1...1...4.22..7..8.9",
        ".5..9....1.....6.....3.8.....8.4...9514.......3....2..........4.8...6..77..15..6.",
        ".....2.......7...17..3...9.8..7......2.89.6...13..6....9..5.824.....891..........",
-       "3...8.......7....51..............36...2..4....7...........6.13..452...........8..")
+       "3...8.......7....51..............36...2..4....7...........6.13..452...........8..",
+       "....14....3....2...7..........9...3.6.1.............8.2.....1.4....5.6.....7.8...",
+       "4.....8.5.3..........7......2.....6.....8.4......1.......6.3.7.5..2.....1.4......")
 
 
 // for measuring time