(***********************************************************************

                    Mathematica-Compatible Notebook

This notebook can be used on any computer system with Mathematica 4.0,
MathReader 4.0, or any compatible application. The data for the notebook 
starts with the line containing stars above.

To get the notebook into a Mathematica-compatible application, do one of 
the following:

* Save the data starting with the line of stars above into a file
  with a name ending in .nb, then open the file inside the application;

* Copy the data starting with the line of stars above to the
  clipboard, then use the Paste menu command inside the application.

Data for notebooks contains only printable 7-bit ASCII and can be
sent directly in email or through ftp in text mode.  Newlines can be
CR, LF or CRLF (Unix, Macintosh or MS-DOS style).

NOTE: If you modify the data for this notebook not in a Mathematica-
compatible application, you must delete the line below containing the 
word CacheID, otherwise Mathematica-compatible applications may try to 
use invalid cache data.

For more information on notebooks and Mathematica-compatible 
applications, contact Wolfram Research:
  web: http://www.wolfram.com
  email: info@wolfram.com
  phone: +1-217-398-0700 (U.S.)

Notebook reader applications are available free of charge from 
Wolfram Research.
***********************************************************************)

(*CacheID: 232*)


(*NotebookFileLineBreakTest
NotebookFileLineBreakTest*)
(*NotebookOptionsPosition[     71657,       1559]*)
(*NotebookOutlinePosition[     72310,       1582]*)
(*  CellTagsIndexPosition[     72266,       1578]*)
(*WindowFrame->Normal*)



Notebook[{
Cell[BoxData[
    \(<< "\<C:/Olddisk/_wouter/sudoku.m\>"\)], "Input"],

Cell[BoxData[
    RowBox[{
      RowBox[{"mat", "=", 
        RowBox[{"(", GridBox[{
              {"0", "0", "4", "7", "5", "0", "0", "0", "0"},
              {"1", "0", "0", "0", "0", "0", "3", "0", "0"},
              {"0", "0", "0", "0", "0", "0", "8", "7", "0"},
              {"0", "0", "0", "0", "6", "0", "0", "0", "0"},
              {"0", "3", "5", "1", "0", "0", "0", "0", "0"},
              {"0", "9", "0", "0", "2", "0", "7", "8", "0"},
              {"0", "0", "1", "5", "0", "0", "6", "0", "0"},
              {"0", "8", "0", "0", "0", "7", "0", "2", "9"},
              {"0", "0", "0", "0", "0", "2", "0", "0", "0"}
              }], ")"}]}], ";"}]], "Input"],

Cell[BoxData[
    RowBox[{
      RowBox[{"mat", "=", 
        RowBox[{"(", GridBox[{
              {"0", "9", "0", "0", "0", "0", "0", "0", "0"},
              {"0", "0", "6", "2", "9", "5", "0", "0", "3"},
              {"4", "0", "0", "0", "0", "0", "6", "0", "0"},
              {"0", "6", "0", "0", "0", "2", "1", "8", "0"},
              {"0", "0", "8", "3", "0", "9", "0", "0", "0"},
              {"0", "0", "1", "4", "0", "0", "3", "0", "0"},
              {"0", "7", "0", "1", "2", "0", "9", "0", "0"},
              {"0", "0", "0", "0", "0", "6", "0", "2", "0"},
              {"0", "0", "0", "9", "5", "0", "0", "0", "4"}
              }], ")"}]}], ";"}]], "Input"],

Cell[BoxData[
    FormBox[
      RowBox[{
        RowBox[{"mat", "=", 
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"0", "0", "9", "0", "5", "0", "6", "0", "0"},
                {"0", "0", "0", "0", "0", "0", "0", "0", "0"},
                {"1", "0", "3", "0", "0", "6", "0", "0", "0"},
                {"0", "0", "0", "0", "6", "5", "0", "1", "0"},
                {"9", "0", "0", "2", "0", "0", "0", "4", "0"},
                {"0", "0", "1", "9", "0", "0", "3", "0", "5"},
                {"4", "0", "0", "0", "0", "8", "0", "0", "1"},
                {"0", "0", "0", "3", "2", "0", "0", "0", "4"},
                {"0", "0", "0", "0", "0", "4", "8", "6", "3"}
                },
              ColumnAlignments->{Decimal}], "\[NoBreak]", ")"}]}], ";"}], 
      TraditionalForm]], "Input"],

Cell[BoxData[
    FormBox[
      RowBox[{
        RowBox[{"mat", "=", 
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"1", "7", "3", "0", "0", "0", "0", "2", "4"},
                {"9", "0", "0", "8", "0", "4", "0", "0", "0"},
                {"0", "0", "5", "2", "7", "0", "0", "0", "0"},
                {"0", "8", "1", "0", "4", "6", "0", "0", "0"},
                {"0", "0", "6", "7", "0", "0", "4", "1", "0"},
                {"0", "5", "0", "3", "0", "0", "0", "0", "6"},
                {"0", "0", "0", "0", "3", "0", "0", "4", "2"},
                {"3", "0", "0", "0", "9", "0", "6", "0", "0"},
                {"5", "0", "0", "0", "0", "2", "9", "0", "0"}
                },
              ColumnAlignments->{Decimal}], "\[NoBreak]", ")"}]}], ";"}], 
      TraditionalForm]], "Input"],

Cell[BoxData[
    FormBox[
      RowBox[{
        RowBox[{"mat", "=", 
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"0", "0", "0", "0", "0", "0", "0", "1", "0"},
                {"4", "0", "0", "0", "0", "0", "0", "0", "0"},
                {"0", "2", "0", "0", "0", "0", "0", "0", "0"},
                {"0", "0", "0", "0", "5", "0", "4", "0", "7"},
                {"0", "0", "8", "0", "0", "0", "3", "0", "0"},
                {"0", "0", "1", "0", "9", "0", "0", "0", "0"},
                {"3", "0", "0", "4", "0", "0", "2", "0", "0"},
                {"0", "5", "0", "1", "0", "0", "0", "0", "0"},
                {"0", "0", "0", "8", "0", "6", "0", "0", "0"}
                },
              ColumnAlignments->{Decimal}], "\[NoBreak]", ")"}]}], ";"}], 
      TraditionalForm]], "Input"],

Cell[CellGroupData[{

Cell[BoxData[
    \(Timing[sudoku[mat]]\)], "Input"],

Cell[BoxData[
    RowBox[{"{", 
      RowBox[{\(2.4529999999999994`\ Second\), ",", 
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"8", "6", "4", "7", "5", "3", "1", "9", "2"},
                {"1", "7", "2", "8", "9", "6", "3", "4", "5"},
                {"3", "5", "9", "2", "4", "1", "8", "7", "6"},
                {"7", "1", "8", "4", "6", "9", "2", "5", "3"},
                {"2", "3", "5", "1", "7", "8", "9", "6", "4"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"9", "2", "1", "5", "8", "4", "6", "3", "7"},
                {"5", "8", "3", "6", "1", "7", "4", "2", "9"},
                {"6", "4", "7", "9", "3", "2", "5", "1", "8"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)]}], "}"}]], "Output"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(lev\)], "Input"],

Cell[BoxData[
    \({1, 1, 1, 1, 1, 1, 1, 2, 1, 3, 1, 3, 1, 3, 1, 4, 1, 1, 2, 1, 2, 1, 1, 
      1, 1, 1, 1, 1, 1, 1, 1}\)], "Output"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(Options[sudoku]\)], "Input"],

Cell[BoxData[
    \({steps \[Rule] False, levels \[Rule] False}\)], "Output"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(sudoku[mat, levels -> True]\)], "Input"],

Cell[BoxData[
    \({1, 1, 1, 1, 1, 1, 1, 2, 1, 3, 1, 3, 1, 3, 1, 4, 1, 1, 2, 1, 2, 1, 1, 
      1, 1, 1, 1, 1, 1, 1, 1}\)], "Print"],

Cell[BoxData[
    TagBox[
      RowBox[{"(", "\[NoBreak]", GridBox[{
            {"8", "6", "4", "7", "5", "3", "1", "9", "2"},
            {"1", "7", "2", "8", "9", "6", "3", "4", "5"},
            {"3", "5", "9", "2", "4", "1", "8", "7", "6"},
            {"7", "1", "8", "4", "6", "9", "2", "5", "3"},
            {"2", "3", "5", "1", "7", "8", "9", "6", "4"},
            {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
            {"9", "2", "1", "5", "8", "4", "6", "3", "7"},
            {"5", "8", "3", "6", "1", "7", "4", "2", "9"},
            {"6", "4", "7", "9", "3", "2", "5", "1", "8"}
            }], "\[NoBreak]", ")"}],
      (MatrixForm[ #]&)]], "Output"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(sudoku[mat, steps -> True]\)], "Input"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"0", "0", "4", "7", "5", "0", "0", "0", "0"},
                {"1", "0", "0", "0", "0", "0", "3", "0", "0"},
                {"0", "0", "0", "0", "0", "0", "8", "7", "0"},
                {"0", "0", "0", "0", "6", "0", "0", "0", "0"},
                {"0", "3", "5", "1", "0", "0", "0", "0", "0"},
                {"0", "9", 
                  TagBox[
                    StyleBox["6",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0", "2", "0", "7", "8", "0"},
                {"0", "0", "1", "5", "0", "0", "6", "0", "0"},
                {"0", "8", "0", "0", "0", "7", "0", "2", "9"},
                {"0", "0", "0", "0", "0", "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "1"}],
      SequenceForm[ 
        MatrixForm[ {{0, 0, 4, 7, 5, 0, 0, 0, 0}, {1, 0, 0, 0, 0, 0, 3, 0, 
          0}, {0, 0, 0, 0, 0, 0, 8, 7, 0}, {0, 0, 0, 0, 6, 0, 0, 0, 0}, {0, 3,
           5, 1, 0, 0, 0, 0, 0}, {0, 9, 
          StyleForm[ 6, FontColor -> Hue[ 0], FontWeight -> Bold], 0, 2, 0, 7,
           8, 0}, {0, 0, 1, 5, 0, 0, 6, 0, 0}, {0, 8, 0, 0, 0, 7, 0, 2, 9}, {
          0, 0, 0, 0, 0, 2, 0, 0, 0}}], 1],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"0", "0", "4", "7", "5", "0", "0", "0", "0"},
                {"1", "0", "0", "0", "0", "0", "3", "0", "0"},
                {"0", "0", "0", "0", "0", "0", "8", "7", "0"},
                {"0", "0", "0", "0", "6", "0", "0", "0", "0"},
                {"0", "3", "5", "1", "0", "0", "0", "0", "0"},
                {
                  TagBox[
                    StyleBox["4",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "9", "6", "0", "2", "0", "7", "8", "0"},
                {"0", "0", "1", "5", "0", "0", "6", "0", "0"},
                {"0", "8", 
                  TagBox[
                    StyleBox["3",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0", "0", "7", "0", "2", "9"},
                {"0", "0", "0", "0", "0", "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "1"}],
      SequenceForm[ 
        MatrixForm[ {{0, 0, 4, 7, 5, 0, 0, 0, 0}, {1, 0, 0, 0, 0, 0, 3, 0, 
          0}, {0, 0, 0, 0, 0, 0, 8, 7, 0}, {0, 0, 0, 0, 6, 0, 0, 0, 0}, {0, 3,
           5, 1, 0, 0, 0, 0, 0}, {
          StyleForm[ 4, FontColor -> Hue[ 0], FontWeight -> Bold], 9, 6, 0, 2,
           0, 7, 8, 0}, {0, 0, 1, 5, 0, 0, 6, 0, 0}, {0, 8, 
          StyleForm[ 3, FontColor -> Hue[ 0], FontWeight -> Bold], 0, 0, 7, 0,
           2, 9}, {0, 0, 0, 0, 0, 2, 0, 0, 0}}], 1],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"0", "0", "4", "7", "5", "0", "0", "0", "0"},
                {"1", "0", "0", "0", "0", "0", "3", "0", "0"},
                {"0", "0", "0", "0", "0", "0", "8", "7", "0"},
                {"0", "0", "0", "0", "6", "0", "0", "0", "0"},
                {"0", "3", "5", "1", "0", "0", "0", "0", "0"},
                {"4", "9", "6", 
                  TagBox[
                    StyleBox["3",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "2", "0", "7", "8", "0"},
                {"0", "0", "1", "5", "0", "0", "6", "0", "0"},
                {"0", "8", "3", "0", "0", "7", "0", "2", "9"},
                {"0", "0", "0", "0", "0", "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "1"}],
      SequenceForm[ 
        MatrixForm[ {{0, 0, 4, 7, 5, 0, 0, 0, 0}, {1, 0, 0, 0, 0, 0, 3, 0, 
          0}, {0, 0, 0, 0, 0, 0, 8, 7, 0}, {0, 0, 0, 0, 6, 0, 0, 0, 0}, {0, 3,
           5, 1, 0, 0, 0, 0, 0}, {4, 9, 6, 
          StyleForm[ 3, FontColor -> Hue[ 0], FontWeight -> Bold], 2, 0, 7, 8,
           0}, {0, 0, 1, 5, 0, 0, 6, 0, 0}, {0, 8, 3, 0, 0, 7, 0, 2, 9}, {0, 
          0, 0, 0, 0, 2, 0, 0, 0}}], 1],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"0", "0", "4", "7", "5", "0", "0", "0", "0"},
                {"1", "0", "0", "0", "0", "0", "3", "0", "0"},
                {"0", "0", "0", "0", "0", "0", "8", "7", "0"},
                {"0", "0", "0", "0", "6", "0", "0", "0", "0"},
                {"0", "3", "5", "1", "0", "0", "0", "0", "0"},
                {"4", "9", "6", "3", "2", 
                  TagBox[
                    StyleBox["5",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "7", "8", "0"},
                {"0", "0", "1", "5", "0", "0", "6", "0", "0"},
                {"0", "8", "3", "0", "0", "7", "0", "2", "9"},
                {"0", "0", "0", "0", "0", "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "1"}],
      SequenceForm[ 
        MatrixForm[ {{0, 0, 4, 7, 5, 0, 0, 0, 0}, {1, 0, 0, 0, 0, 0, 3, 0, 
          0}, {0, 0, 0, 0, 0, 0, 8, 7, 0}, {0, 0, 0, 0, 6, 0, 0, 0, 0}, {0, 3,
           5, 1, 0, 0, 0, 0, 0}, {4, 9, 6, 3, 2, 
          StyleForm[ 5, FontColor -> Hue[ 0], FontWeight -> Bold], 7, 8, 0}, {
          0, 0, 1, 5, 0, 0, 6, 0, 0}, {0, 8, 3, 0, 0, 7, 0, 2, 9}, {0, 0, 0, 
          0, 0, 2, 0, 0, 0}}], 1],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"0", "0", "4", "7", "5", "0", "0", "0", "0"},
                {"1", "0", "0", "0", "0", "0", "3", "0", "0"},
                {"0", "0", "0", "0", "0", "0", "8", "7", "0"},
                {"0", "0", "0", "0", "6", "0", "0", "0", "0"},
                {"0", "3", "5", "1", "0", "0", "0", "0", "0"},
                {"4", "9", "6", "3", "2", "5", "7", "8", 
                  TagBox[
                    StyleBox["1",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)]},
                {"0", "0", "1", "5", "0", "0", "6", "0", "0"},
                {"0", "8", "3", "0", "0", "7", "0", "2", "9"},
                {"0", "0", "0", "0", "0", "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "1"}],
      SequenceForm[ 
        MatrixForm[ {{0, 0, 4, 7, 5, 0, 0, 0, 0}, {1, 0, 0, 0, 0, 0, 3, 0, 
          0}, {0, 0, 0, 0, 0, 0, 8, 7, 0}, {0, 0, 0, 0, 6, 0, 0, 0, 0}, {0, 3,
           5, 1, 0, 0, 0, 0, 0}, {4, 9, 6, 3, 2, 5, 7, 8, 
          StyleForm[ 1, FontColor -> Hue[ 0], FontWeight -> Bold]}, {0, 0, 1, 
          5, 0, 0, 6, 0, 0}, {0, 8, 3, 0, 0, 7, 0, 2, 9}, {0, 0, 0, 0, 0, 2, 
          0, 0, 0}}], 1],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"0", "0", "4", "7", "5", "0", "0", "0", "0"},
                {"1", "0", "0", "0", "0", "0", "3", "0", "0"},
                {"0", "0", "0", "0", "0", "0", "8", "7", "0"},
                {"0", 
                  TagBox[
                    StyleBox["1",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0", "0", "6", "0", "0", "0", "0"},
                {"0", "3", "5", "1", 
                  TagBox[
                    StyleBox["7",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0", "0", "0", "0"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"0", "0", "1", "5", "0", "0", "6", "0", "0"},
                {"0", "8", "3", "0", "0", "7", "0", "2", "9"},
                {"0", "0", "0", "0", "0", "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "2"}],
      SequenceForm[ 
        MatrixForm[ {{0, 0, 4, 7, 5, 0, 0, 0, 0}, {1, 0, 0, 0, 0, 0, 3, 0, 
          0}, {0, 0, 0, 0, 0, 0, 8, 7, 0}, {0, 
          StyleForm[ 1, FontColor -> Hue[ 0], FontWeight -> Bold], 0, 0, 6, 0,
           0, 0, 0}, {0, 3, 5, 1, 
          StyleForm[ 7, FontColor -> Hue[ 0], FontWeight -> Bold], 0, 0, 0, 
          0}, {4, 9, 6, 3, 2, 5, 7, 8, 1}, {0, 0, 1, 5, 0, 0, 6, 0, 0}, {0, 8,
           3, 0, 0, 7, 0, 2, 9}, {0, 0, 0, 0, 0, 2, 0, 0, 0}}], 2],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"0", "0", "4", "7", "5", "0", "0", "0", "0"},
                {"1", "0", "0", "0", "0", "0", "3", "0", "0"},
                {"0", "0", "0", "0", "0", "0", "8", "7", "0"},
                {"0", "1", "0", "0", "6", "0", "0", "0", 
                  TagBox[
                    StyleBox["3",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)]},
                {"0", "3", "5", "1", "7", "0", "0", "0", "0"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"0", "0", "1", "5", "0", "0", "6", "0", "0"},
                {"0", "8", "3", "0", "0", "7", "0", "2", "9"},
                {"0", "0", "0", "0", "0", "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "3"}],
      SequenceForm[ 
        MatrixForm[ {{0, 0, 4, 7, 5, 0, 0, 0, 0}, {1, 0, 0, 0, 0, 0, 3, 0, 
          0}, {0, 0, 0, 0, 0, 0, 8, 7, 0}, {0, 1, 0, 0, 6, 0, 0, 0, 
          StyleForm[ 3, FontColor -> Hue[ 0], FontWeight -> Bold]}, {0, 3, 5, 
          1, 7, 0, 0, 0, 0}, {4, 9, 6, 3, 2, 5, 7, 8, 1}, {0, 0, 1, 5, 0, 0, 
          6, 0, 0}, {0, 8, 3, 0, 0, 7, 0, 2, 9}, {0, 0, 0, 0, 0, 2, 0, 0, 
          0}}], 3],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"0", "0", "4", "7", "5", "0", "0", "0", "0"},
                {"1", "0", "0", "0", "0", 
                  TagBox[
                    StyleBox["6",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "3", "0", "0"},
                {"0", "0", "0", "0", "0", 
                  TagBox[
                    StyleBox["1",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "8", "7", "0"},
                {"0", "1", "0", "0", "6", "0", "0", "0", "3"},
                {"0", "3", "5", "1", "7", "0", "0", "0", "0"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"0", "0", "1", "5", "0", "0", "6", "0", "0"},
                {"0", "8", "3", "0", "0", "7", "0", "2", "9"},
                {"0", "0", "0", "0", "0", "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "3"}],
      SequenceForm[ 
        MatrixForm[ {{0, 0, 4, 7, 5, 0, 0, 0, 0}, {1, 0, 0, 0, 0, 
          StyleForm[ 6, FontColor -> Hue[ 0], FontWeight -> Bold], 3, 0, 0}, {
          0, 0, 0, 0, 0, 
          StyleForm[ 1, FontColor -> Hue[ 0], FontWeight -> Bold], 8, 7, 0}, {
          0, 1, 0, 0, 6, 0, 0, 0, 3}, {0, 3, 5, 1, 7, 0, 0, 0, 0}, {4, 9, 6, 
          3, 2, 5, 7, 8, 1}, {0, 0, 1, 5, 0, 0, 6, 0, 0}, {0, 8, 3, 0, 0, 7, 
          0, 2, 9}, {0, 0, 0, 0, 0, 2, 0, 0, 0}}], 3],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"0", "0", "4", "7", "5", "0", "0", "0", "0"},
                {"1", "0", "0", "0", "0", "6", "3", "0", "0"},
                {"0", "0", "0", "0", "0", "1", "8", "7", "0"},
                {"0", "1", "0", "0", "6", "0", "0", "0", "3"},
                {"0", "3", "5", "1", "7", "0", "0", 
                  TagBox[
                    StyleBox["6",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"0", "0", "1", "5", "0", "0", "6", "0", "0"},
                {"0", "8", "3", "0", "0", "7", "0", "2", "9"},
                {"0", "0", "0", "0", "0", "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "3"}],
      SequenceForm[ 
        MatrixForm[ {{0, 0, 4, 7, 5, 0, 0, 0, 0}, {1, 0, 0, 0, 0, 6, 3, 0, 
          0}, {0, 0, 0, 0, 0, 1, 8, 7, 0}, {0, 1, 0, 0, 6, 0, 0, 0, 3}, {0, 3,
           5, 1, 7, 0, 0, 
          StyleForm[ 6, FontColor -> Hue[ 0], FontWeight -> Bold], 0}, {4, 9, 
          6, 3, 2, 5, 7, 8, 1}, {0, 0, 1, 5, 0, 0, 6, 0, 0}, {0, 8, 3, 0, 0, 
          7, 0, 2, 9}, {0, 0, 0, 0, 0, 2, 0, 0, 0}}], 3],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"0", "0", "4", "7", "5", "0", "0", "0", "0"},
                {"1", "0", "0", "0", "0", "6", "3", 
                  TagBox[
                    StyleBox["4",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0"},
                {"0", "0", "0", "0", "0", "1", "8", "7", "0"},
                {"0", "1", "0", "0", "6", "0", "0", "0", "3"},
                {"0", "3", "5", "1", "7", "0", "0", "6", 
                  TagBox[
                    StyleBox["4",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)]},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"0", "0", "1", "5", "0", "0", "6", "0", "0"},
                {"0", "8", "3", "0", "0", "7", "0", "2", "9"},
                {"0", "0", "0", "0", "0", "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "4"}],
      SequenceForm[ 
        MatrixForm[ {{0, 0, 4, 7, 5, 0, 0, 0, 0}, {1, 0, 0, 0, 0, 6, 3, 
          StyleForm[ 4, FontColor -> Hue[ 0], FontWeight -> Bold], 0}, {0, 0, 
          0, 0, 0, 1, 8, 7, 0}, {0, 1, 0, 0, 6, 0, 0, 0, 3}, {0, 3, 5, 1, 7, 
          0, 0, 6, 
          StyleForm[ 4, FontColor -> Hue[ 0], FontWeight -> Bold]}, {4, 9, 6, 
          3, 2, 5, 7, 8, 1}, {0, 0, 1, 5, 0, 0, 6, 0, 0}, {0, 8, 3, 0, 0, 7, 
          0, 2, 9}, {0, 0, 0, 0, 0, 2, 0, 0, 0}}], 4],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"0", "0", "4", "7", "5", "0", "0", "0", "0"},
                {"1", "0", "0", "0", "0", "6", "3", "4", "0"},
                {"0", "0", "0", "0", "0", "1", "8", "7", "0"},
                {"0", "1", "0", "0", "6", "0", "0", "0", "3"},
                {"0", "3", "5", "1", "7", "0", "0", "6", "4"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"0", "0", "1", "5", "0", "0", "6", 
                  TagBox[
                    StyleBox["3",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0"},
                {"0", "8", "3", "0", "0", "7", "0", "2", "9"},
                {"0", "0", "0", "0", "0", "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "1"}],
      SequenceForm[ 
        MatrixForm[ {{0, 0, 4, 7, 5, 0, 0, 0, 0}, {1, 0, 0, 0, 0, 6, 3, 4, 
          0}, {0, 0, 0, 0, 0, 1, 8, 7, 0}, {0, 1, 0, 0, 6, 0, 0, 0, 3}, {0, 3,
           5, 1, 7, 0, 0, 6, 4}, {4, 9, 6, 3, 2, 5, 7, 8, 1}, {0, 0, 1, 5, 0, 
          0, 6, 
          StyleForm[ 3, FontColor -> Hue[ 0], FontWeight -> Bold], 0}, {0, 8, 
          3, 0, 0, 7, 0, 2, 9}, {0, 0, 0, 0, 0, 2, 0, 0, 0}}], 1],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"0", "0", "4", "7", "5", "0", "0", "0", "0"},
                {"1", "0", "0", "0", "0", "6", "3", "4", "0"},
                {"0", "0", "0", "0", "0", "1", "8", "7", "0"},
                {"0", "1", "0", "0", "6", "0", "0", "0", "3"},
                {"0", "3", "5", "1", "7", "0", "0", "6", "4"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"0", "0", "1", "5", "0", "0", "6", "3", "0"},
                {"0", "8", "3", "0", "0", "7", "0", "2", "9"},
                {"0", "0", "0", "0", 
                  TagBox[
                    StyleBox["3",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "2"}],
      SequenceForm[ 
        MatrixForm[ {{0, 0, 4, 7, 5, 0, 0, 0, 0}, {1, 0, 0, 0, 0, 6, 3, 4, 
          0}, {0, 0, 0, 0, 0, 1, 8, 7, 0}, {0, 1, 0, 0, 6, 0, 0, 0, 3}, {0, 3,
           5, 1, 7, 0, 0, 6, 4}, {4, 9, 6, 3, 2, 5, 7, 8, 1}, {0, 0, 1, 5, 0, 
          0, 6, 3, 0}, {0, 8, 3, 0, 0, 7, 0, 2, 9}, {0, 0, 0, 0, 
          StyleForm[ 3, FontColor -> Hue[ 0], FontWeight -> Bold], 2, 0, 0, 
          0}}], 2],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"0", "0", "4", "7", "5", 
                  TagBox[
                    StyleBox["3",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0", "0", "0"},
                {"1", "0", "0", "0", "0", "6", "3", "4", "0"},
                {"0", "0", "0", "0", "0", "1", "8", "7", "0"},
                {"0", "1", "0", "0", "6", "0", "0", "0", "3"},
                {"0", "3", "5", "1", "7", "0", "0", "6", "4"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"0", "0", "1", "5", "0", "0", "6", "3", "0"},
                {"0", "8", "3", "0", 
                  TagBox[
                    StyleBox["1",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "7", "0", "2", "9"},
                {"0", "0", "0", "0", "3", "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "2"}],
      SequenceForm[ 
        MatrixForm[ {{0, 0, 4, 7, 5, 
          StyleForm[ 3, FontColor -> Hue[ 0], FontWeight -> Bold], 0, 0, 0}, {
          1, 0, 0, 0, 0, 6, 3, 4, 0}, {0, 0, 0, 0, 0, 1, 8, 7, 0}, {0, 1, 0, 
          0, 6, 0, 0, 0, 3}, {0, 3, 5, 1, 7, 0, 0, 6, 4}, {4, 9, 6, 3, 2, 5, 
          7, 8, 1}, {0, 0, 1, 5, 0, 0, 6, 3, 0}, {0, 8, 3, 0, 
          StyleForm[ 1, FontColor -> Hue[ 0], FontWeight -> Bold], 7, 0, 2, 
          9}, {0, 0, 0, 0, 3, 2, 0, 0, 0}}], 2],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {
                  TagBox[
                    StyleBox["8",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0", "4", "7", "5", "3", "0", "0", "0"},
                {"1", "0", "0", "0", "0", "6", "3", "4", "0"},
                {"0", "0", "0", "0", "0", "1", "8", "7", "0"},
                {"0", "1", "0", "0", "6", "0", "0", "0", "3"},
                {"0", "3", "5", "1", "7", "0", "0", "6", "4"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"0", "0", "1", "5", "0", "0", "6", "3", "0"},
                {"0", "8", "3", "0", "1", "7", "0", "2", "9"},
                {"0", "0", "0", "0", "3", "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "1"}],
      SequenceForm[ 
        MatrixForm[ {{
          StyleForm[ 8, FontColor -> Hue[ 0], FontWeight -> Bold], 0, 4, 7, 5,
           3, 0, 0, 0}, {1, 0, 0, 0, 0, 6, 3, 4, 0}, {0, 0, 0, 0, 0, 1, 8, 7, 
          0}, {0, 1, 0, 0, 6, 0, 0, 0, 3}, {0, 3, 5, 1, 7, 0, 0, 6, 4}, {4, 9,
           6, 3, 2, 5, 7, 8, 1}, {0, 0, 1, 5, 0, 0, 6, 3, 0}, {0, 8, 3, 0, 1, 
          7, 0, 2, 9}, {0, 0, 0, 0, 3, 2, 0, 0, 0}}], 1],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"8", "0", "4", "7", "5", "3", "0", "0", "0"},
                {"1", "0", "0", "0", "0", "6", "3", "4", "0"},
                {"0", "0", "0", "0", "0", "1", "8", "7", "0"},
                {"0", "1", "0", "0", "6", "0", "0", "0", "3"},
                {
                  TagBox[
                    StyleBox["2",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "3", "5", "1", "7", "0", "0", "6", "4"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"0", "0", "1", "5", "0", "0", "6", "3", "0"},
                {"0", "8", "3", "0", "1", "7", "0", "2", "9"},
                {"0", "0", "0", "0", "3", "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "1"}],
      SequenceForm[ 
        MatrixForm[ {{8, 0, 4, 7, 5, 3, 0, 0, 0}, {1, 0, 0, 0, 0, 6, 3, 4, 
          0}, {0, 0, 0, 0, 0, 1, 8, 7, 0}, {0, 1, 0, 0, 6, 0, 0, 0, 3}, {
          StyleForm[ 2, FontColor -> Hue[ 0], FontWeight -> Bold], 3, 5, 1, 7,
           0, 0, 6, 4}, {4, 9, 6, 3, 2, 5, 7, 8, 1}, {0, 0, 1, 5, 0, 0, 6, 3, 
          0}, {0, 8, 3, 0, 1, 7, 0, 2, 9}, {0, 0, 0, 0, 3, 2, 0, 0, 0}}], 1],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"8", "0", "4", "7", "5", "3", "0", "0", "0"},
                {"1", "0", "0", "0", "0", "6", "3", "4", "0"},
                {"0", "0", "0", "0", "0", "1", "8", "7", "0"},
                {
                  TagBox[
                    StyleBox["7",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "1", "0", "0", "6", "0", "0", "0", "3"},
                {"2", "3", "5", "1", "7", "0", 
                  TagBox[
                    StyleBox["9",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "6", "4"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"0", "0", "1", "5", "0", "0", "6", "3", "0"},
                {"0", "8", "3", "0", "1", "7", "0", "2", "9"},
                {"0", "0", "0", "0", "3", "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "1"}],
      SequenceForm[ 
        MatrixForm[ {{8, 0, 4, 7, 5, 3, 0, 0, 0}, {1, 0, 0, 0, 0, 6, 3, 4, 
          0}, {0, 0, 0, 0, 0, 1, 8, 7, 0}, {
          StyleForm[ 7, FontColor -> Hue[ 0], FontWeight -> Bold], 1, 0, 0, 6,
           0, 0, 0, 3}, {2, 3, 5, 1, 7, 0, 
          StyleForm[ 9, FontColor -> Hue[ 0], FontWeight -> Bold], 6, 4}, {4, 
          9, 6, 3, 2, 5, 7, 8, 1}, {0, 0, 1, 5, 0, 0, 6, 3, 0}, {0, 8, 3, 0, 
          1, 7, 0, 2, 9}, {0, 0, 0, 0, 3, 2, 0, 0, 0}}], 1],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"8", "0", "4", "7", "5", "3", 
                  TagBox[
                    StyleBox["1",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0", "0"},
                {"1", "0", "0", "0", "0", "6", "3", "4", "0"},
                {"0", "0", "0", "0", "0", "1", "8", "7", "0"},
                {"7", "1", 
                  TagBox[
                    StyleBox["8",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0", "6", "0", "0", 
                  TagBox[
                    StyleBox["5",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "3"},
                {"2", "3", "5", "1", "7", 
                  TagBox[
                    StyleBox["8",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "9", "6", "4"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {
                  TagBox[
                    StyleBox["9",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0", "1", "5", "0", "0", "6", "3", "0"},
                {"0", "8", "3", "0", "1", "7", "0", "2", "9"},
                {"0", "0", "0", "0", "3", "2", "0", "0", "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "1"}],
      SequenceForm[ 
        MatrixForm[ {{8, 0, 4, 7, 5, 3, 
          StyleForm[ 1, FontColor -> Hue[ 0], FontWeight -> Bold], 0, 0}, {1, 
          0, 0, 0, 0, 6, 3, 4, 0}, {0, 0, 0, 0, 0, 1, 8, 7, 0}, {7, 1, 
          StyleForm[ 8, FontColor -> Hue[ 0], FontWeight -> Bold], 0, 6, 0, 0,
           
          StyleForm[ 5, FontColor -> Hue[ 0], FontWeight -> Bold], 3}, {2, 3, 
          5, 1, 7, 
          StyleForm[ 8, FontColor -> Hue[ 0], FontWeight -> Bold], 9, 6, 4}, {
          4, 9, 6, 3, 2, 5, 7, 8, 1}, {
          StyleForm[ 9, FontColor -> Hue[ 0], FontWeight -> Bold], 0, 1, 5, 0,
           0, 6, 3, 0}, {0, 8, 3, 0, 1, 7, 0, 2, 9}, {0, 0, 0, 0, 3, 2, 0, 0, 
          0}}], 1],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"8", "0", "4", "7", "5", "3", "1", 
                  TagBox[
                    StyleBox["9",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0"},
                {"1", "0", "0", "0", "0", "6", "3", "4", "0"},
                {"0", "0", "0", "0", "0", "1", "8", "7", "0"},
                {"7", "1", "8", "0", "6", "0", 
                  TagBox[
                    StyleBox["2",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "5", "3"},
                {"2", "3", "5", "1", "7", "8", "9", "6", "4"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"9", "0", "1", "5", "0", 
                  TagBox[
                    StyleBox["4",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "6", "3", "0"},
                {"0", "8", "3", "0", "1", "7", "0", "2", "9"},
                {"0", "0", 
                  TagBox[
                    StyleBox["7",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0", "3", "2", "0", 
                  TagBox[
                    StyleBox["1",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "1"}],
      SequenceForm[ 
        MatrixForm[ {{8, 0, 4, 7, 5, 3, 1, 
          StyleForm[ 9, FontColor -> Hue[ 0], FontWeight -> Bold], 0}, {1, 0, 
          0, 0, 0, 6, 3, 4, 0}, {0, 0, 0, 0, 0, 1, 8, 7, 0}, {7, 1, 8, 0, 6, 
          0, 
          StyleForm[ 2, FontColor -> Hue[ 0], FontWeight -> Bold], 5, 3}, {2, 
          3, 5, 1, 7, 8, 9, 6, 4}, {4, 9, 6, 3, 2, 5, 7, 8, 1}, {9, 0, 1, 5, 
          0, 
          StyleForm[ 4, FontColor -> Hue[ 0], FontWeight -> Bold], 6, 3, 0}, {
          0, 8, 3, 0, 1, 7, 0, 2, 9}, {0, 0, 
          StyleForm[ 7, FontColor -> Hue[ 0], FontWeight -> Bold], 0, 3, 2, 0,
           
          StyleForm[ 1, FontColor -> Hue[ 0], FontWeight -> Bold], 0}}], 1],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"8", "0", "4", "7", "5", "3", "1", "9", "0"},
                {"1", "0", "0", "0", "0", "6", "3", "4", "0"},
                {"0", "0", "0", "0", "0", "1", "8", "7", "0"},
                {"7", "1", "8", "0", "6", 
                  TagBox[
                    StyleBox["9",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "2", "5", "3"},
                {"2", "3", "5", "1", "7", "8", "9", "6", "4"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"9", 
                  TagBox[
                    StyleBox["2",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "1", "5", 
                  TagBox[
                    StyleBox["8",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "4", "6", "3", "0"},
                {"0", "8", "3", 
                  TagBox[
                    StyleBox["6",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "1", "7", "0", "2", "9"},
                {"0", "0", "7", "0", "3", "2", "0", "1", 
                  TagBox[
                    StyleBox["8",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)]}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "1"}],
      SequenceForm[ 
        MatrixForm[ {{8, 0, 4, 7, 5, 3, 1, 9, 0}, {1, 0, 0, 0, 0, 6, 3, 4, 
          0}, {0, 0, 0, 0, 0, 1, 8, 7, 0}, {7, 1, 8, 0, 6, 
          StyleForm[ 9, FontColor -> Hue[ 0], FontWeight -> Bold], 2, 5, 3}, {
          2, 3, 5, 1, 7, 8, 9, 6, 4}, {4, 9, 6, 3, 2, 5, 7, 8, 1}, {9, 
          StyleForm[ 2, FontColor -> Hue[ 0], FontWeight -> Bold], 1, 5, 
          StyleForm[ 8, FontColor -> Hue[ 0], FontWeight -> Bold], 4, 6, 3, 
          0}, {0, 8, 3, 
          StyleForm[ 6, FontColor -> Hue[ 0], FontWeight -> Bold], 1, 7, 0, 2,
           9}, {0, 0, 7, 0, 3, 2, 0, 1, 
          StyleForm[ 8, FontColor -> Hue[ 0], FontWeight -> Bold]}}], 1],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"8", 
                  TagBox[
                    StyleBox["6",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "4", "7", "5", "3", "1", "9", "0"},
                {"1", "0", "0", "0", 
                  TagBox[
                    StyleBox["9",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "6", "3", "4", "0"},
                {"0", "0", "0", "0", "0", "1", "8", "7", "0"},
                {"7", "1", "8", 
                  TagBox[
                    StyleBox["4",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "6", "9", "2", "5", "3"},
                {"2", "3", "5", "1", "7", "8", "9", "6", "4"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"9", "2", "1", "5", "8", "4", "6", "3", 
                  TagBox[
                    StyleBox["7",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)]},
                {
                  TagBox[
                    StyleBox["5",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "8", "3", "6", "1", "7", "0", "2", "9"},
                {"0", "0", "7", 
                  TagBox[
                    StyleBox["9",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "3", "2", "0", "1", "8"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "1"}],
      SequenceForm[ 
        MatrixForm[ {{8, 
          StyleForm[ 6, FontColor -> Hue[ 0], FontWeight -> Bold], 4, 7, 5, 3,
           1, 9, 0}, {1, 0, 0, 0, 
          StyleForm[ 9, FontColor -> Hue[ 0], FontWeight -> Bold], 6, 3, 4, 
          0}, {0, 0, 0, 0, 0, 1, 8, 7, 0}, {7, 1, 8, 
          StyleForm[ 4, FontColor -> Hue[ 0], FontWeight -> Bold], 6, 9, 2, 5,
           3}, {2, 3, 5, 1, 7, 8, 9, 6, 4}, {4, 9, 6, 3, 2, 5, 7, 8, 1}, {9, 
          2, 1, 5, 8, 4, 6, 3, 
          StyleForm[ 7, FontColor -> Hue[ 0], FontWeight -> Bold]}, {
          StyleForm[ 5, FontColor -> Hue[ 0], FontWeight -> Bold], 8, 3, 6, 1,
           7, 0, 2, 9}, {0, 0, 7, 
          StyleForm[ 9, FontColor -> Hue[ 0], FontWeight -> Bold], 3, 2, 0, 1,
           8}}], 1],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"8", "6", "4", "7", "5", "3", "1", "9", 
                  TagBox[
                    StyleBox["2",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)]},
                {"1", "0", 
                  TagBox[
                    StyleBox["2",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0", "9", "6", "3", "4", "0"},
                {
                  TagBox[
                    StyleBox["3",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], 
                  TagBox[
                    StyleBox["5",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "0", 
                  TagBox[
                    StyleBox["2",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], 
                  TagBox[
                    StyleBox["4",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "1", "8", "7", "0"},
                {"7", "1", "8", "4", "6", "9", "2", "5", "3"},
                {"2", "3", "5", "1", "7", "8", "9", "6", "4"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"9", "2", "1", "5", "8", "4", "6", "3", "7"},
                {"5", "8", "3", "6", "1", "7", 
                  TagBox[
                    StyleBox["4",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "2", "9"},
                {
                  TagBox[
                    StyleBox["6",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], 
                  TagBox[
                    StyleBox["4",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "7", "9", "3", "2", "0", "1", "8"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "1"}],
      SequenceForm[ 
        MatrixForm[ {{8, 6, 4, 7, 5, 3, 1, 9, 
          StyleForm[ 2, FontColor -> Hue[ 0], FontWeight -> Bold]}, {1, 0, 
          StyleForm[ 2, FontColor -> Hue[ 0], FontWeight -> Bold], 0, 9, 6, 3,
           4, 0}, {
          StyleForm[ 3, FontColor -> Hue[ 0], FontWeight -> Bold], 
          StyleForm[ 5, FontColor -> Hue[ 0], FontWeight -> Bold], 0, 
          StyleForm[ 2, FontColor -> Hue[ 0], FontWeight -> Bold], 
          StyleForm[ 4, FontColor -> Hue[ 0], FontWeight -> Bold], 1, 8, 7, 
          0}, {7, 1, 8, 4, 6, 9, 2, 5, 3}, {2, 3, 5, 1, 7, 8, 9, 6, 4}, {4, 9,
           6, 3, 2, 5, 7, 8, 1}, {9, 2, 1, 5, 8, 4, 6, 3, 7}, {5, 8, 3, 6, 1, 
          7, 
          StyleForm[ 4, FontColor -> Hue[ 0], FontWeight -> Bold], 2, 9}, {
          StyleForm[ 6, FontColor -> Hue[ 0], FontWeight -> Bold], 
          StyleForm[ 4, FontColor -> Hue[ 0], FontWeight -> Bold], 7, 9, 3, 2,
           0, 1, 8}}], 1],
      Editable->False]], "Print"],

Cell[BoxData[
    InterpretationBox[
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"8", "6", "4", "7", "5", "3", "1", "9", "2"},
                {"1", 
                  TagBox[
                    StyleBox["7",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "2", 
                  TagBox[
                    StyleBox["8",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "9", "6", "3", "4", 
                  TagBox[
                    StyleBox["5",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)]},
                {"3", "5", 
                  TagBox[
                    StyleBox["9",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "2", "4", "1", "8", "7", 
                  TagBox[
                    StyleBox["6",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)]},
                {"7", "1", "8", "4", "6", "9", "2", "5", "3"},
                {"2", "3", "5", "1", "7", "8", "9", "6", "4"},
                {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
                {"9", "2", "1", "5", "8", "4", "6", "3", "7"},
                {"5", "8", "3", "6", "1", "7", "4", "2", "9"},
                {"6", "4", "7", "9", "3", "2", 
                  TagBox[
                    StyleBox["5",
                      FontWeight->"Bold",
                      FontColor->RGBColor[1, 0, 0]],
                    (
                    StyleForm[ #, FontColor -> Hue[ 0], FontWeight -> 
                      Bold]&)], "1", "8"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], "\[InvisibleSpace]", "1"}],
      SequenceForm[ 
        MatrixForm[ {{8, 6, 4, 7, 5, 3, 1, 9, 2}, {1, 
          StyleForm[ 7, FontColor -> Hue[ 0], FontWeight -> Bold], 2, 
          StyleForm[ 8, FontColor -> Hue[ 0], FontWeight -> Bold], 9, 6, 3, 4,
           
          StyleForm[ 5, FontColor -> Hue[ 0], FontWeight -> Bold]}, {3, 5, 
          StyleForm[ 9, FontColor -> Hue[ 0], FontWeight -> Bold], 2, 4, 1, 8,
           7, 
          StyleForm[ 6, FontColor -> Hue[ 0], FontWeight -> Bold]}, {7, 1, 8, 
          4, 6, 9, 2, 5, 3}, {2, 3, 5, 1, 7, 8, 9, 6, 4}, {4, 9, 6, 3, 2, 5, 
          7, 8, 1}, {9, 2, 1, 5, 8, 4, 6, 3, 7}, {5, 8, 3, 6, 1, 7, 4, 2, 
          9}, {6, 4, 7, 9, 3, 2, 
          StyleForm[ 5, FontColor -> Hue[ 0], FontWeight -> Bold], 1, 8}}], 
        1],
      Editable->False]], "Print"],

Cell[BoxData[
    TagBox[
      RowBox[{"(", "\[NoBreak]", GridBox[{
            {"8", "6", "4", "7", "5", "3", "1", "9", "2"},
            {"1", "7", "2", "8", "9", "6", "3", "4", "5"},
            {"3", "5", "9", "2", "4", "1", "8", "7", "6"},
            {"7", "1", "8", "4", "6", "9", "2", "5", "3"},
            {"2", "3", "5", "1", "7", "8", "9", "6", "4"},
            {"4", "9", "6", "3", "2", "5", "7", "8", "1"},
            {"9", "2", "1", "5", "8", "4", "6", "3", "7"},
            {"5", "8", "3", "6", "1", "7", "4", "2", "9"},
            {"6", "4", "7", "9", "3", "2", "5", "1", "8"}
            }], "\[NoBreak]", ")"}],
      (MatrixForm[ #]&)]], "Output"]
}, Open  ]],

Cell[CellGroupData[{

Cell["{Length@lev,lev}", "Input"],

Cell[BoxData[
    \({31, {1, 1, 1, 1, 1, 1, 1, 2, 1, 3, 1, 3, 1, 3, 1, 4, 1, 1, 2, 1, 2, 1, 
        1, 1, 1, 1, 1, 1, 1, 1, 1}}\)], "Output"]
}, Open  ]],

Cell[CellGroupData[{

Cell["earlier ones", "Subsection"],

Cell[BoxData[
    \(\(multi = {{{2, 0, 5, 0, 0, 0, 0, 3, 0}, {6, 0, 9, 7, 0, 0, 0, 0, 
              0}, {0, 0, 0, 0, 5, 1, 0, 0, 6}, {5, 0, 0, 0, 2, 0, 0, 0, 
              0}, {7, 0, 0, 0, 0, 0, 4, 8, 0}, {0, 0, 8, 0, 0, 0, 0, 0, 
              0}, {9, 0, 6, 3, 0, 7, 0, 0, 5}, {0, 0, 0, 0, 0, 2, 6, 0, 
              0}, {0, 0, 0, 0, 8, 0, 0, 7, 1}}, {{0, 9, 8, 0, 0, 0, 0, 0, 
              0}, {0, 0, 0, 0, 7, 0, 0, 0, 0}, {0, 0, 0, 0, 1, 5, 0, 0, 
              0}, {1, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 2, 0, 0, 0, 0, 
              9}, {0, 0, 0, 9, 0, 6, 0, 8, 2}, {0, 0, 0, 0, 0, 0, 0, 3, 
              0}, {5, 0, 1, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 4, 0, 0, 0, 2, 
              0}}, {{0, 0, 0, 0, 0, 0, 0, 1, 0}, {4, 0, 0, 0, 0, 0, 0, 0, 
              0}, {0, 2, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 5, 0, 4, 0, 
              7}, {0, 0, 8, 0, 0, 0, 3, 0, 0}, {0, 0, 1, 0, 9, 0, 0, 0, 
              0}, {3, 0, 0, 4, 0, 0, 2, 0, 0}, {0, 5, 0, 1, 0, 0, 0, 0, 
              0}, {0, 0, 0, 8, 0, 6, 0, 0, 0}}, {{0, 2, 0, 0, 4, 0, 0, 7, 
              0}, {9, 0, 0, 5, 0, 8, 0, 0, 4}, {0, 0, 0, 0, 0, 0, 0, 0, 
              0}, {4, 0, 0, 0, 3, 0, 0, 0, 8}, {0, 7, 0, 0, 9, 0, 0, 2, 
              0}, {6, 0, 0, 0, 1, 0, 0, 0, 5}, {0, 0, 0, 0, 0, 0, 0, 0, 
              0}, {5, 0, 0, 6, 0, 4, 0, 0, 1}, {0, 3, 0, 0, 0, 0, 0, 9, 
              0}}, {{0, 2, 0, 0, 0, 0, 0, 7, 0}, {0, 0, 0, 5, 0, 8, 0, 0, 
              4}, {0, 0, 0, 0, 0, 0, 0, 0, 0}, {4, 0, 0, 0, 3, 0, 0, 0, 
              8}, {0, 7, 0, 0, 9, 0, 0, 2, 0}, {6, 0, 0, 0, 1, 0, 0, 0, 
              5}, {0, 0, 0, 0, 0, 0, 0, 0, 0}, {5, 0, 0, 6, 0, 4, 0, 0, 
              1}, {0, 3, 0, 0, 0, 0, 0, 9, 0}}, {{5, 0, 0, 1, 2, 0, 0, 0, 
              0}, {0, 3, 0, 0, 0, 0, 0, 0, 0}, {4, 0, 0, 0, 6, 0, 1, 9, 
              0}, {0, 4, 0, 0, 0, 0, 0, 5, 0}, {0, 0, 2, 7, 0, 0, 6, 0, 
              0}, {7, 0, 0, 0, 0, 8, 0, 4, 0}, {0, 0, 8, 0, 0, 0, 0, 6, 
              0}, {0, 2, 9, 3, 0, 0, 0, 0, 8}, {0, 0, 0, 0, 9, 0, 7, 0, 
              0}}, {{0, 4, 0, 0, 9, 0, 0, 0, 0}, {0, 0, 2, 8, 0, 0, 3, 4, 
              0}, {0, 0, 0, 1, 0, 5, 0, 8, 0}, {3, 0, 5, 0, 8, 1, 6, 0, 
              0}, {8, 0, 0, 7, 0, 6, 0, 0, 9}, {0, 0, 9, 0, 0, 0, 0, 3, 
              0}, {2, 5, 0, 0, 0, 4, 0, 0, 6}, {0, 0, 0, 0, 0, 0, 0, 0, 
              0}, {0, 0, 7, 0, 0, 0, 0, 0, 1}}, {{0, 8, 0, 9, 0, 0, 0, 0, 
              0}, {0, 0, 6, 0, 8, 0, 0, 0, 1}, {0, 0, 0, 0, 0, 1, 0, 6, 
              3}, {0, 0, 0, 6, 0, 0, 3, 0, 2}, {0, 5, 0, 4, 0, 9, 6, 0, 
              0}, {4, 0, 0, 1, 0, 0, 0, 0, 0}, {2, 0, 5, 0, 0, 0, 0, 7, 
              4}, {0, 0, 0, 0, 0, 0, 0, 0, 0}, {9, 7, 0, 0, 3, 0, 0, 0, 
              0}}, {{0, 4, 0, 7, 0, 0, 0, 0, 0}, {0, 7, 1, 0, 0, 2, 0, 3, 
              8}, {0, 5, 2, 0, 0, 0, 0, 0, 0}, {0, 0, 3, 0, 0, 5, 0, 1, 
              0}, {0, 0, 0, 1, 8, 4, 0, 0, 0}, {0, 1, 0, 6, 0, 0, 2, 0, 
              0}, {0, 0, 0, 0, 0, 0, 1, 8, 0}, {1, 2, 0, 3, 0, 0, 6, 7, 
              0}, {0, 0, 0, 0, 0, 9, 0, 4, 0}}, {{0, 9, 0, 1, 0, 5, 0, 0, 
              0}, {4, 0, 2, 0, 0, 0, 0, 6, 0}, {0, 0, 1, 0, 9, 0, 0, 0, 
              0}, {0, 0, 0, 0, 5, 0, 9, 0, 0}, {1, 0, 6, 0, 0, 8, 2, 0, 
              0}, {0, 8, 0, 4, 0, 0, 0, 0, 0}, {0, 4, 0, 0, 3, 0, 0, 7, 
              0}, {5, 0, 0, 0, 0, 7, 3, 0, 0}, {0, 0, 0, 2, 0, 0, 8, 0, 
              0}}, {{0, 2, 0, 0, 0, 1, 0, 8, 0}, {4, 5, 9, 0, 0, 0, 0, 0, 
              0}, {0, 0, 0, 0, 4, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 5, 
              7}, {0, 0, 0, 0, 5, 7, 3, 0, 0}, {0, 6, 0, 0, 3, 0, 0, 1, 
              8}, {0, 3, 0, 0, 0, 4, 0, 0, 0}, {0, 0, 6, 0, 7, 0, 0, 0, 
              1}, {0, 0, 2, 3, 0, 6, 8, 0, 4}}, {{0, 7, 0, 0, 0, 0, 0, 2, 
              4}, {9, 0, 0, 8, 0, 4, 0, 0, 0}, {0, 0, 5, 2, 7, 0, 0, 0, 
              0}, {0, 8, 1, 0, 4, 6, 0, 0, 0}, {0, 0, 6, 7, 0, 0, 4, 1, 
              0}, {0, 5, 0, 3, 0, 0, 0, 0, 6}, {0, 0, 0, 0, 3, 0, 0, 4, 
              2}, {3, 0, 0, 0, 9, 0, 6, 0, 0}, {5, 0, 0, 0, 0, 2, 9, 0, 
              0}}, {{1, 7, 3, 0, 0, 0, 0, 2, 4}, {9, 0, 0, 8, 0, 4, 0, 0, 
              0}, {0, 0, 5, 2, 7, 0, 0, 0, 0}, {0, 8, 1, 0, 4, 6, 0, 0, 
              0}, {0, 0, 6, 7, 0, 0, 4, 1, 0}, {0, 5, 0, 3, 0, 0, 0, 0, 
              6}, {0, 0, 0, 0, 3, 0, 0, 4, 2}, {3, 0, 0, 0, 9, 0, 6, 0, 
              0}, {5, 0, 0, 0, 0, 2, 9, 0, 0}}, {{1, 0, 0, 0, 0, 7, 0, 9, 
              6}, {0, 3, 6, 0, 2, 0, 0, 0, 8}, {0, 0, 9, 6, 0, 0, 5, 0, 
              3}, {0, 0, 5, 3, 0, 0, 9, 0, 1}, {0, 1, 3, 0, 8, 0, 0, 0, 
              2}, {6, 0, 0, 0, 0, 4, 0, 0, 0}, {3, 0, 0, 0, 0, 0, 0, 1, 
              9}, {0, 4, 0, 0, 0, 0, 0, 0, 7}, {0, 0, 7, 0, 0, 0, 3, 0, 
              0}}};\)\)], "Input"],

Cell["level 2 does not occur:", "Text"],

Cell[CellGroupData[{

Cell["sudoku[#,levels->True]&/@multi", "Input"],

Cell[BoxData[
    \({1, 1, 2, 1, 3, 1, 1, 3, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 
      1}\)], "Print"],

Cell[BoxData[
    \({1, 1, 2, 1, 2, 1, 2, 1, 2, 3, 1, 2, 1, 3, 1, 1, 2, 1, 2, 1, 2, 3, 1, 
      1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}\)], "Print"],

Cell[BoxData[
    \({1, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 1, 1, 2, 1, 2, 1, 1, 3, 1, 1, 
      1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 1, 1, 1, 1, 1, 1, 1}\)], "Print"],

Cell[BoxData[
    \({1, 1, 3, 3, 4}\)], "Print"],

Cell[BoxData[
    \({1, 1, 3, 3, 4, 3, 1}\)], "Print"],

Cell[BoxData[
    \({1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}\)], "Print"],

Cell[BoxData[
    \({1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}\)], "Print"],

Cell[BoxData[
    \({1, 1, 1, 1, 2, 1, 2, 1, 2, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1}\)], "Print"],

Cell[BoxData[
    \({1, 1, 1, 2, 1, 3, 1, 3, 1, 1, 1, 1, 3, 4, 1, 1, 1, 1, 1, 1, 1, 
      1}\)], "Print"],

Cell[BoxData[
    \({1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 
      1}\)], "Print"],

Cell[BoxData[
    \({1, 1, 2, 1, 2, 1, 3, 1, 1, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 
      1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1}\)], "Print"],

Cell[BoxData[
    \({1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 3, 4, 1}\)], "Print"],

Cell[BoxData[
    \({1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1}\)], "Print"],

Cell[BoxData[
    \({1, 1, 1, 1, 2, 1, 2, 3, 1, 1, 3, 1, 2, 3, 3, 1, 1, 1, 1, 1}\)], "Print"],

Cell[BoxData[
    RowBox[{"{", 
      RowBox[{
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"2", "7", "5", "6", "4", "9", "1", "3", "8"},
                {"6", "1", "9", "7", "3", "8", "2", "5", "4"},
                {"8", "3", "4", "2", "5", "1", "7", "9", "6"},
                {"5", "9", "1", "8", "2", "4", "3", "6", "7"},
                {"7", "2", "3", "1", "6", "5", "4", "8", "9"},
                {"4", "6", "8", "9", "7", "3", "5", "1", "2"},
                {"9", "4", "6", "3", "1", "7", "8", "2", "5"},
                {"1", "8", "7", "5", "9", "2", "6", "4", "3"},
                {"3", "5", "2", "4", "8", "6", "9", "7", "1"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], ",", 
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"7", "9", "8", "6", "2", "4", "3", "1", "5"},
                {"3", "1", "5", "8", "7", "9", "2", "4", "6"},
                {"2", "6", "4", "3", "1", "5", "9", "7", "8"},
                {"1", "2", "9", "5", "8", "7", "4", "6", "3"},
                {"6", "8", "3", "2", "4", "1", "7", "5", "9"},
                {"4", "5", "7", "9", "3", "6", "1", "8", "2"},
                {"9", "4", "2", "1", "5", "8", "6", "3", "7"},
                {"5", "3", "1", "7", "6", "2", "8", "9", "4"},
                {"8", "7", "6", "4", "9", "3", "5", "2", "1"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], ",", 
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"6", "9", "3", "7", "8", "4", "5", "1", "2"},
                {"4", "8", "7", "5", "1", "2", "9", "3", "6"},
                {"1", "2", "5", "9", "6", "3", "8", "7", "4"},
                {"9", "3", "2", "6", "5", "1", "4", "8", "7"},
                {"5", "6", "8", "2", "4", "7", "3", "9", "1"},
                {"7", "4", "1", "3", "9", "8", "6", "2", "5"},
                {"3", "1", "9", "4", "7", "5", "2", "6", "8"},
                {"8", "5", "6", "1", "2", "9", "7", "4", "3"},
                {"2", "7", "4", "8", "3", "6", "1", "5", "9"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], ",", 
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {\({1, 3, 8}\), "2", \({1, 3, 5, 6, 8}\), \({1, 3, 9}\), 
                  "4", \({1, 3, 9}\), \({1, 3, 5, 6, 8}\), 
                  "7", \({3, 6, 9}\)},
                {"9", \({1, 6}\), \({1, 3, 6, 7}\), "5", \({2, 6, 7}\), 
                  "8", \({1, 2, 3, 6}\), \({1, 3, 6}\), "4"},
                {\({1, 3, 7, 8}\), \({1, 4, 5, 6}\), \({1, 3, 4, 5, 6, 7, 
                    8}\), \({1, 2, 3, 7, 9}\), \({2, 6, 7}\), \({1, 2, 3, 7, 
                    9}\), \({1, 2, 3, 5, 6, 8}\), \({1, 3, 5, 6, 8}\), \({2, 
                    3, 6, 9}\)},
                {"4", \({1, 5}\), \({2, 9}\), \({2, 7}\), 
                  "3", \({5, 6}\), \({7, 9}\), \({1, 6}\), "8"},
                {\({1, 3, 8}\), "7", \({1, 3, 5, 8}\), \({4, 8}\), 
                  "9", \({5, 6}\), \({1, 3, 4, 6}\), "2", \({3, 6}\)},
                {"6", \({8, 9}\), \({2, 3, 8, 9}\), \({4, 8}\), 
                  "1", \({2, 7}\), \({7, 9}\), \({3, 4}\), "5"},
                {\({1, 2, 7, 8}\), \({1, 4, 6}\), \({1, 4, 6, 7, 8}\), \({3, 
                    9}\), \({2, 5, 7, 8}\), \({3, 9}\), \({2, 4, 5, 6, 
                    8}\), \({4, 5, 6, 8}\), \({2, 6, 7}\)},
                {"5", \({8, 9}\), \({7, 8, 9}\), "6", \({2, 7, 8}\), 
                  "4", \({2, 3, 8}\), \({3, 8}\), "1"},
                {\({2, 7, 8}\), 
                  "3", \({4, 6, 7, 8}\), \({1, 2, 7}\), \({2, 5, 7, 
                    8}\), \({1, 2, 7}\), \({2, 4, 5, 6, 8}\), 
                  "9", \({2, 6, 7}\)}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], ",", 
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {\({1, 3, 8}\), 
                  "2", \({1, 3, 4, 5, 6, 8}\), \({1, 3, 9}\), \({4, 
                    6}\), \({1, 3, 9}\), \({1, 3, 5, 6, 8}\), 
                  "7", \({3, 6, 9}\)},
                {"9", \({1, 6}\), \({1, 3, 6, 7}\), "5", \({2, 6, 7}\), 
                  "8", \({1, 2, 3, 6}\), \({1, 3, 6}\), "4"},
                {\({1, 3, 7, 8}\), \({1, 4, 5, 6}\), \({1, 3, 4, 5, 6, 7, 
                    8}\), \({1, 2, 3, 7, 9}\), \({2, 4, 6, 7}\), \({1, 2, 3, 
                    7, 9}\), \({1, 2, 3, 5, 6, 8}\), \({1, 3, 5, 6, 
                    8}\), \({2, 3, 6, 9}\)},
                {"4", \({1, 5}\), \({2, 9}\), \({2, 7}\), 
                  "3", \({5, 6}\), \({7, 9}\), \({1, 6}\), "8"},
                {\({1, 3, 8}\), "7", \({1, 3, 5, 8}\), \({4, 8}\), 
                  "9", \({5, 6}\), \({1, 3, 4, 6}\), "2", \({3, 6}\)},
                {"6", \({8, 9}\), \({2, 3, 8, 9}\), \({4, 8}\), 
                  "1", \({2, 7}\), \({7, 9}\), \({3, 4}\), "5"},
                {\({1, 2, 7, 8}\), \({1, 4, 6}\), \({1, 4, 6, 7, 8}\), \({3, 
                    9}\), \({2, 5, 7, 8}\), \({3, 9}\), \({2, 4, 5, 6, 
                    8}\), \({4, 5, 6, 8}\), \({2, 6, 7}\)},
                {"5", \({8, 9}\), \({7, 8, 9}\), "6", \({2, 7, 8}\), 
                  "4", \({2, 3, 8}\), \({3, 8}\), "1"},
                {\({2, 7, 8}\), 
                  "3", \({4, 6, 7, 8}\), \({1, 2, 7}\), \({2, 5, 7, 
                    8}\), \({1, 2, 7}\), \({2, 4, 5, 6, 8}\), 
                  "9", \({2, 6, 7}\)}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], ",", 
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"5", "9", "6", "1", "2", "7", "3", "8", "4"},
                {"2", "3", "1", "4", "8", "9", "5", "7", "6"},
                {"4", "8", "7", "5", "6", "3", "1", "9", "2"},
                {"9", "4", "3", "6", "1", "2", "8", "5", "7"},
                {"8", "1", "2", "7", "5", "4", "6", "3", "9"},
                {"7", "6", "5", "9", "3", "8", "2", "4", "1"},
                {"3", "7", "8", "2", "4", "1", "9", "6", "5"},
                {"6", "2", "9", "3", "7", "5", "4", "1", "8"},
                {"1", "5", "4", "8", "9", "6", "7", "2", "3"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], ",", 
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"5", "4", "8", "2", "9", "3", "1", "6", "7"},
                {"1", "9", "2", "8", "6", "7", "3", "4", "5"},
                {"7", "6", "3", "1", "4", "5", "9", "8", "2"},
                {"3", "7", "5", "9", "8", "1", "6", "2", "4"},
                {"8", "2", "4", "7", "3", "6", "5", "1", "9"},
                {"6", "1", "9", "4", "5", "2", "7", "3", "8"},
                {"2", "5", "1", "3", "7", "4", "8", "9", "6"},
                {"4", "8", "6", "5", "1", "9", "2", "7", "3"},
                {"9", "3", "7", "6", "2", "8", "4", "5", "1"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], ",", 
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"3", "8", "1", "9", "6", "7", "4", "2", "5"},
                {"5", "4", "6", "3", "8", "2", "7", "9", "1"},
                {"7", "2", "9", "5", "4", "1", "8", "6", "3"},
                {"1", "9", "7", "6", "5", "8", "3", "4", "2"},
                {"8", "5", "3", "4", "2", "9", "6", "1", "7"},
                {"4", "6", "2", "1", "7", "3", "5", "8", "9"},
                {"2", "3", "5", "8", "1", "6", "9", "7", "4"},
                {"6", "1", "4", "7", "9", "5", "2", "3", "8"},
                {"9", "7", "8", "2", "3", "4", "1", "5", "6"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], ",", 
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"3", "4", "8", "7", "6", "1", "9", "2", "5"},
                {"6", "7", "1", "5", "9", "2", "4", "3", "8"},
                {"9", "5", "2", "8", "4", "3", "7", "6", "1"},
                {"4", "6", "3", "9", "2", "5", "8", "1", "7"},
                {"2", "9", "7", "1", "8", "4", "3", "5", "6"},
                {"8", "1", "5", "6", "3", "7", "2", "9", "4"},
                {"5", "3", "9", "4", "7", "6", "1", "8", "2"},
                {"1", "2", "4", "3", "5", "8", "6", "7", "9"},
                {"7", "8", "6", "2", "1", "9", "5", "4", "3"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], ",", 
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"6", "9", "3", "1", "2", "5", "4", "8", "7"},
                {"4", "5", "2", "7", "8", "3", "1", "6", "9"},
                {"8", "7", "1", "6", "9", "4", "5", "2", "3"},
                {"7", "2", "4", "3", "5", "6", "9", "1", "8"},
                {"1", "3", "6", "9", "7", "8", "2", "5", "4"},
                {"9", "8", "5", "4", "1", "2", "7", "3", "6"},
                {"2", "4", "8", "5", "3", "9", "6", "7", "1"},
                {"5", "1", "9", "8", "6", "7", "3", "4", "2"},
                {"3", "6", "7", "2", "4", "1", "8", "9", "5"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], ",", 
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {"6", "2", "3", "7", "9", "1", "4", "8", "5"},
                {"4", "5", "9", "8", "6", "3", "1", "7", "2"},
                {"1", "8", "7", "2", "4", "5", "9", "6", "3"},
                {"3", "9", "4", "1", "2", "8", "6", "5", "7"},
                {"2", "1", "8", "6", "5", "7", "3", "4", "9"},
                {"7", "6", "5", "4", "3", "9", "2", "1", "8"},
                {"9", "3", "1", "5", "8", "4", "7", "2", "6"},
                {"8", "4", "6", "9", "7", "2", "5", "3", "1"},
                {"5", "7", "2", "3", "1", "6", "8", "9", "4"}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], ",", 
        TagBox[
          RowBox[{"(", "\[NoBreak]", GridBox[{
                {\({1, 6, 8}\), 
                  "7", \({3, 8}\), \({1, 5, 6, 9}\), \({1, 5, 6}\), \({5, 
                    9}\), \({1, 3, 5, 8}\), "2", "4"},
                {"9", \({1, 2, 6}\), \({2, 3}\), "8", \({1, 5, 6}\), 
                  "4", \({1, 3, 5, 7}\), \({5, 6, 7}\), \({1, 5, 7}\)},
                {\({1, 6, 8}\), "4", "5", "2", "7", 
                  "3", \({1, 8}\), \({6, 8, 9}\), \({1, 8, 9}\)},
                {"7", "8", "1", \({5, 9}\), "4", "6", 
                  "2", \({3, 5, 9}\), \({3, 5, 9}\)},
                {"2", "3", "6", "7", \({5, 8}\), \({5, 8, 9}\), "4", 
                  "1", \({5, 9}\)},
                {"4", "5", "9", "3", "2", "1", \({7, 8}\), \({7, 8}\), "6"},
                {\({1, 6, 8}\), "9", \({7, 8}\), \({1, 5, 6}\), 
                  "3", \({5, 7, 8}\), \({1, 5, 7, 8}\), "4", "2"},
                {"3", \({1, 2}\), \({2, 4, 7, 8}\), \({1, 4, 5}\), 
                  "9", \({5, 7, 8}\), "6", \({5, 7, 8}\), \({1, 5, 7, 8}\)},
                {"5", \({1, 6}\), \({4, 7, 8}\), \({1, 4, 6}\), \({1, 6, 8}\),
                   "2", "9", \({3, 7, 8}\), \({1, 3, 7, 8}\)}
                }], "\[NoBreak]", ")"}],
          (MatrixForm[ #]&)], ",", \({{}}\), ",", \({{}}\)}], "}"}]], "Output"]
}, Open  ]]
}, Closed]]
},
FrontEndVersion->"4.0 for Microsoft Windows",
ScreenRectangle->{{0, 1024}, {0, 695}},
WindowSize->{836, 663},
WindowMargins->{{0, Automatic}, {Automatic, 0}}
]


(***********************************************************************
Cached data follows.  If you edit this Notebook file directly, not using
Mathematica, you must remove the line containing CacheID at the top of 
the file.  The cache data will then be recreated when you save this file 
from within Mathematica.
***********************************************************************)

(*CellTagsOutline
CellTagsIndex->{}
*)

(*CellTagsIndex
CellTagsIndex->{}
*)

(*NotebookFileOutline
Notebook[{
Cell[1717, 49, 69, 1, 30, "Input"],
Cell[1789, 52, 676, 13, 153, "Input"],
Cell[2468, 67, 676, 13, 153, "Input"],
Cell[3147, 82, 811, 16, 171, "Input"],
Cell[3961, 100, 811, 16, 171, "Input"],
Cell[4775, 118, 811, 16, 171, "Input"],

Cell[CellGroupData[{
Cell[5611, 138, 52, 1, 30, "Input"],
Cell[5666, 141, 804, 15, 153, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[6507, 161, 36, 1, 30, "Input"],
Cell[6546, 164, 134, 2, 29, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[6717, 171, 48, 1, 30, "Input"],
Cell[6768, 174, 77, 1, 29, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[6882, 180, 60, 1, 30, "Input"],
Cell[6945, 183, 133, 2, 25, "Print"],
Cell[7081, 187, 672, 13, 153, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[7790, 205, 59, 1, 30, "Input"],
Cell[7852, 208, 1507, 30, 149, "Print"],
Cell[9362, 240, 1848, 38, 149, "Print"],
Cell[11213, 280, 1507, 30, 149, "Print"],
Cell[12723, 312, 1507, 30, 149, "Print"],
Cell[14233, 344, 1507, 30, 149, "Print"],
Cell[15743, 376, 1848, 38, 149, "Print"],
Cell[17594, 416, 1507, 30, 149, "Print"],
Cell[19104, 448, 1848, 38, 149, "Print"],
Cell[20955, 488, 1507, 30, 149, "Print"],
Cell[22465, 520, 1848, 38, 149, "Print"],
Cell[24316, 560, 1507, 30, 149, "Print"],
Cell[25826, 592, 1507, 30, 149, "Print"],
Cell[27336, 624, 1848, 38, 149, "Print"],
Cell[29187, 664, 1507, 30, 149, "Print"],
Cell[30697, 696, 1496, 29, 149, "Print"],
Cell[32196, 727, 1848, 38, 149, "Print"],
Cell[34047, 767, 2893, 64, 149, "Print"],
Cell[36943, 833, 2893, 64, 149, "Print"],
Cell[39839, 899, 2871, 62, 149, "Print"],
Cell[42713, 963, 3234, 72, 149, "Print"],
Cell[45950, 1037, 4246, 95, 149, "Print"],
Cell[50199, 1134, 3232, 72, 149, "Print"],
Cell[53434, 1208, 672, 13, 167, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[54143, 1226, 33, 0, 30, "Input"],
Cell[54179, 1228, 142, 2, 29, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[54358, 1235, 34, 0, 47, "Subsection"],
Cell[54395, 1237, 4673, 64, 710, "Input"],
Cell[59071, 1303, 39, 0, 33, "Text"],

Cell[CellGroupData[{
Cell[59135, 1307, 47, 0, 30, "Input"],
Cell[59185, 1309, 109, 2, 25, "Print"],
Cell[59297, 1313, 142, 2, 25, "Print"],
Cell[59442, 1317, 160, 2, 25, "Print"],
Cell[59605, 1321, 48, 1, 25, "Print"],
Cell[59656, 1324, 54, 1, 25, "Print"],
Cell[59713, 1327, 84, 1, 25, "Print"],
Cell[59800, 1330, 81, 1, 25, "Print"],
Cell[59884, 1333, 90, 1, 25, "Print"],
Cell[59977, 1336, 106, 2, 25, "Print"],
Cell[60086, 1340, 103, 2, 25, "Print"],
Cell[60192, 1344, 145, 2, 25, "Print"],
Cell[60340, 1348, 75, 1, 25, "Print"],
Cell[60418, 1351, 72, 1, 25, "Print"],
Cell[60493, 1354, 93, 1, 25, "Print"],
Cell[60589, 1357, 11040, 198, 672, "Output"]
}, Open  ]]
}, Closed]]
}
]
*)




(***********************************************************************
End of Mathematica Notebook file.
***********************************************************************)