
(Problem: 0 stage: 0 and 1 are initialized to: "3x3x2 Domino Puzzle")

(There are 16 groups)
(selection is ((EQ T12 W2)))
(There are 11 groups)
(selection is ((EQ T11 W1) (EQ T21 W4)))
(There are 7 groups)
(selection is ((EQ T13 W3) (EQ T23 W6)))
(There are 3 groups)
(selection is ((EQ T31 W7) (EQ T32 W8) (EQ T33 W9)))
(Problem: 0 stage: 1 refined into 5 subproblems)

(Problem: 0 3x3x2 Domino Puzzle)
(Goal is: ((EQ T11 W1) (EQ T12 W2) (EQ T13 W3) (EQ T21 W4) (EQ T23 W6) (EQ T31 W7) (EQ T32 W8) (EQ T33 W9) (EQ B11 B1) (EQ B12 B2) ...))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ T12 W2)))
(Moves: (T) (N))

(Stage no: 2)
(Target: ((EQ T11 W1) (EQ T21 W4)))
(Moves: (W))

(Stage no: 3)
(Target: ((EQ T13 W3) (EQ T23 W6)))
(Moves: (E))

(Stage no: 4)
(Target: ((EQ T31 W7) (EQ T32 W8) (EQ T33 W9)))
(Moves: (S))

(Stage no: 5)
(Target: ((EQ B11 B1) (EQ B12 B2) (EQ B13 B3) (EQ B21 B4) (EQ B23 B6) (EQ B31 B7) (EQ B32 B8) (EQ B33 B9)))
(Moves: (B))

(Problem: 0 stage: 1 11 new moves are generated)
(updated stages: (T NIL NIL NIL NIL))

(Problem: 0 stage: 1 is:)
(Target: ((EQ T12 W2)))
(Moves: (T) (N) (TT) (BN) (WT))

(Problem: 0 stage: 2 is:)
(Target: ((EQ T11 W1) (EQ T21 W4)))
(Moves: (W))

(Problem: 0 stage: 2 3 new moves are generated)
(updated stages: (T NIL NIL NIL))

(Problem: 0 stage: 2 is:)
(Target: ((EQ T11 W1) (EQ T21 W4)))
(Moves: (W) (BW) (SW))

(Problem: 0 stage: 2 refined into 1 subproblems)

(Problem: 0 stage: 2 17 new moves are generated)
(updated stages: (T T NIL NIL))

(Problem: 0 stage: 2 is:)
(Target: ((EQ T11 W1) (EQ T21 W4)))
(Moves: (W) (BW) (SW) (WBW) (WSW) (BWBW) (SWBW) (SWSW) (EWSW) ...)

(There are 2 groups)
(selection is ((EQ T21 W4)))
(Problem: 0 stage: 2 refined into 2 subproblems)

(Problem: 0 stage: 2 is:)
(Target: ((EQ T21 W4)))
(Moves: (W) (BW) (BBW))

(Problem: 0 stage: 2 251 new moves are generated)
(updated stages: (T T T T T))

(Problem: 0 stage: 2 is:)
(Target: ((EQ T21 W4)))
(Moves: (W) (BW) (BBW) (BBBW) (EBBW) (SBWBBW))

(Problem: 0 stage: 3 is:)
(Target: ((EQ T11 W1)))
(Moves: (WSW) (SWSW) (EWSW) (BWESW) (BSWSW) (SBWESW) (EBWESW))

(Problem: 0 stage: 4 is:)
(Target: ((EQ T13 W3) (EQ T23 W6)))
(Moves: (E) (BWEW) (SWEW) (BBWEW) (BSWEW) (SBWEW) (ESWEW))

(There are 2 groups)
(selection is ((EQ T23 W6)))
(Problem: 0 stage: 4 refined into 2 subproblems)

(Problem: 0 stage: 4 is:)
(Target: ((EQ T23 W6)))
(Moves: (E) (BWEW) (BBWEW) (SBWEW))

(Problem: 0 stage: 5 is:)
(Target: ((EQ T13 W3)))
(Moves: (ESWEW))

(Problem: 0 stage: 5 5 new moves are generated)
(updated stages: (T NIL NIL))

(Problem: 0 stage: 5 is:)
(Target: ((EQ T13 W3)))
(Moves: (ESWEW) (SESWEW) (BSWWESWEW))

(Problem: 0 stage: 6 is:)
(Target: ((EQ T31 W7) (EQ T32 W8) (EQ T33 W9)))
(Moves: (S) (BSWW))

(Problem: 0 stage: 6 refined into 1 subproblems)

(Problem: 0 stage: 6 8 new moves are generated)
(updated stages: (T NIL))

(Problem: 0 stage: 6 is:)
(Target: ((EQ T31 W7) (EQ T32 W8) (EQ T33 W9)))
(Moves: (S) (BS) (SBSWW) (BSWWBSWW) (BBS) (BBWWBS))

(Problem: 0 stage: 6 refined into 1 subproblems)

(Problem: 0 stage: 6 52 new moves are generated)
(updated stages: (T T))

(Problem: 0 stage: 6 is:)
(Target: ((EQ T31 W7) (EQ T32 W8) (EQ T33 W9)))
(Moves: (S) (BS) (SBS) (BSBS) (BBS) (BBBS) (SBSBS) (SBSBBS) (BSBSBS) ...)

(There are 3 groups)
(selection is ((EQ T32 W8)))
(There are 2 groups)
(selection is ((EQ T31 W7)))
(Problem: 0 stage: 6 refined into 3 subproblems)

(Problem: 0 stage: 6 is:)
(Target: ((EQ T32 W8)))
(Moves: (S) (BS) (BBS) (BBBS))

(Problem: 0 stage: 7 is:)
(Target: ((EQ T31 W7)))
(Moves: (SBBSBSBS) (SBSBWWBSBS))

(Problem: 0 stage: 7 20 new moves are generated)
(updated stages: (T NIL NIL))

(Problem: 0 stage: 7 is:)
(Target: ((EQ T31 W7)))
(Moves: (SBBSBSBS) (SBSBWWBSBS) (BSBBSBSBS) (SBSBWWBSBSSBBSBSBS) (BBWWSBBSBSBS))

(Problem: 0 stage: 8 is:)
(Target: ((EQ T33 W9)))
(Moves: (SBSBBWWBS) (BSBSBBWWBS))

(Problem: 0 stage: 9 is:)
(Target: ((EQ B11 B1) (EQ B12 B2) (EQ B13 B3) (EQ B21 B4) (EQ B23 B6) (EQ B31 B7) (EQ B32 B8) (EQ B33 B9)))
(Moves: (B) (BBWW) (SBBSBBS) (SBBSBBWWSBWW) (BBSSBWW))

(There are 2 groups)
(selection is ((EQ B21 B4) (EQ B23 B6)))
(Problem: 0 stage: 9 refined into 2 subproblems)

(Problem: 0 stage: 9 is:)
(Target: ((EQ B21 B4) (EQ B23 B6)))
(Moves: (B) (BBWW) (BBSSBWW))

(Problem: 0 stage: 9 5 new moves are generated)
(updated stages: (T T))

(Problem: 0 stage: 9 is:)
(Target: ((EQ B21 B4) (EQ B23 B6)))
(Moves: (B) (BB) (BBB))

(Problem: 0 stage: 9 refined into 1 subproblems)

(Problem: 0 stage: 9 5 new moves are generated)
(updated stages: (T NIL))

(Problem: 0 stage: 9 is:)
(Target: ((EQ B21 B4) (EQ B23 B6)))
(Moves: (B) (BB) (BBB))

(Problem: 0 stage: 8 22 new moves are generated)
(updated stages: (T NIL NIL))

(Problem: 0 stage: 8 224 new moves are generated)
(updated stages: (T T NIL))

(Problem: 0 stage: 9 is:)
(Target: ((EQ B21 B4) (EQ B23 B6)))
(Moves: (B) (BB) (BBB) (SBSBWWSBBSBBSBSBBWWBS) (BSBSBWWSBBSBBSBSBBWWBS) (SBSBWWSBBSBBSBSBWWBBWWSBWW) (BBBSBSBWWSBBSBBSBSBBWWBS) (SBBSBBSSBSBWWSBBSBBSBSBBWWBS) (BSBSBWWSBBSBBSBSBWWBBWWSBWW) ...)

(There are 2 groups)
(selection is ((EQ B23 B6)))
(Problem: 0 stage: 9 refined into 2 subproblems)

(Problem: 0 stage: 9 is:)
(Target: ((EQ B23 B6)))
(Moves: (B) (BB) (BBB))

(Problem: 0 stage: 10 is:)
(Target: ((EQ B21 B4)))
(Moves: (SBSBWWSBBSBBSBSBBWWBS) (SBBSBBSSBSBWWSBBSBBSBSBBWWBS))

(Problem: 0 stage: 11 is:)
(Target: ((EQ B11 B1) (EQ B12 B2) (EQ B13 B3) (EQ B31 B7) (EQ B32 B8) (EQ B33 B9)))
(Moves: (SBBSBBS) (BSBBSBBSB) (SBBSBBSBSBBSBBSB))

(There are 2 groups)
(selection is ((EQ B11 B1) (EQ B13 B3) (EQ B31 B7) (EQ B33 B9)))
(Problem: 0 stage: 11 refined into 2 subproblems)

(Problem: 0 stage: 11 is:)
(Target: ((EQ B11 B1) (EQ B13 B3) (EQ B31 B7) (EQ B33 B9)))
(Moves: (SBBSBBS))

(Problem: 0 stage: 11 0 new moves are generated)
(updated stages: (NIL NIL))

(Problem: 0 stage: 10 7 new moves are generated)
(updated stages: (T T NIL))

(Problem: 0 stage: 11 is:)
(Target: ((EQ B11 B1) (EQ B13 B3) (EQ B31 B7) (EQ B33 B9)))
(Moves: (SBBSBBS) (SBSBWWSBBSBBSBSBWWSBBSBBBSBSBWWBBWWSBWWSBBSBBSBSBSBBWWBS) (BBBSBSBWWBBWWSBWWSBBSBBSBSBSBBWWBSSBSBWWSBBSBBSBSBBWWBS))

(Problem: 0 stage: 12 is:)
(Target: ((EQ B12 B2) (EQ B32 B8)))
(Moves: (BSBBSBBSB))

(Processor Time: 32 sec.)
(630 macros are generated)

(Problem: 0 3x3x2 Domino Puzzle)
(Goal is: ((EQ T11 W1) (EQ T12 W2) (EQ T13 W3) (EQ T21 W4) (EQ T23 W6) (EQ T31 W7) (EQ T32 W8) (EQ T33 W9) (EQ B11 B1) (EQ B12 B2) ...))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ T12 W2)))
(Moves: (T) (N) (TT) (BN) (WT))

(Stage no: 2)
(Target: ((EQ T21 W4)))
(Moves: (W) (BW) (BBW) (BBBW) (EBBW) (SBWBBW))

(Stage no: 3)
(Target: ((EQ T11 W1)))
(Moves: (WSW) (SWSW) (EWSW) (BWESW) (BSWSW) (SBWESW) (EBWESW))

(Stage no: 4)
(Target: ((EQ T23 W6)))
(Moves: (E) (BWEW) (BBWEW) (SBWEW))

(Stage no: 5)
(Target: ((EQ T13 W3)))
(Moves: (ESWEW) (SESWEW) (BSESWEW))

(Stage no: 6)
(Target: ((EQ T32 W8)))
(Moves: (S) (BS) (BBS) (BBBS))

(Stage no: 7)
(Target: ((EQ T31 W7)))
(Moves: (SBBSBSBS) (SBSBBSBS) (BSBBSBSBS) (SBSBBSBBBSBSBS) (BBSBBSBSBS))

(Stage no: 8)
(Target: ((EQ T33 W9)))
(Moves: (SBSBBBS) (BSBSBBBS) (BBSBSBBBS) (BBBSBSBBBS))

(Stage no: 9)
(Target: ((EQ B23 B6)))
(Moves: (B) (BB) (BBB))

(Stage no: 10)
(Target: ((EQ B21 B4)))
(Moves: (SBSBSBBSBBSBSBBBS) (SBBSBBBSBSBBSBBSBSBBBS))

(Stage no: 11)
(Target: ((EQ B11 B1) (EQ B13 B3) (EQ B31 B7) (EQ B33 B9)))
(Moves: (SBBSBBS) (SBSBSBBSBBSBSBSBBSBBBSBSBBBSBSBBSBBSBSBSBBBS) (BBBSBSBBBSBSBBSBBSBSBBSBBSBBSBSBBBS))

(Stage no: 12)
(Target: ((EQ B12 B2) (EQ B32 B8)))
(Moves: (BSBBSBBSB))

(Processor Time: 34 sec.)
