
(Problem: 0 stage: 0 and 1 are initialized to: "MOD-3-3, on board 3x3, with increments mod 3")


(Problem: 0 stage: 0 and 1 are initialized to: "MOD-3-3, on board 3x3, with increments mod 3")

(There are 15 groups)
(selection is ((EQ S11 S12) (EQ S23 S33)))
(There are 7 groups)
(selection is ((EQ S11 S13) (EQ S12 S13) (EQ S21 S31) (EQ S22 S32)))
(There are 3 groups)
(selection is ((EQ S11 S21) (EQ S11 S31) (EQ S12 S21) (EQ S12 S31) (EQ S13 S21) (EQ S13 S31) (EQ S22 S23) (EQ S22 S33) (EQ S23 S32) (EQ S32 S33)))
(Problem: 0 stage: 1 refined into 4 subproblems)

(Problem: 0 stage: 1 is:)
(Target: ((EQ S11 S12) (EQ S23 S33)))
(Moves: (O21) (O22) (O31) (O32))

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

(There are 2 groups)
(selection is ((EQ S11 S12)))
(Problem: 0 stage: 1 refined into 2 subproblems)

(Problem: 0 stage: 1 is:)
(Target: ((EQ S11 S12)))
(Moves: (O21) (O22) (O21O21) (O22O22) (O11O21) (O11O22))

(Problem: 0 stage: 2 is:)
(Target: ((EQ S23 S33)))
(Moves: (O21O22) (O31O32))

(Problem: 0 stage: 3 is:)
(Target: ((EQ S11 S13) (EQ S12 S13) (EQ S21 S31) (EQ S22 S32)))
(Moves: (O23) (O33) (O21O32) (O22O31))

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

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

(There are 3 groups)
(selection is ((EQ S11 S13) (EQ S12 S13)))
(There are 2 groups)
(selection is ((EQ S21 S31)))
(Problem: 0 stage: 3 refined into 3 subproblems)

(Problem: 0 stage: 3 is:)
(Target: ((EQ S11 S13) (EQ S12 S13)))
(Moves: (O23) (O21O32) (O23O23) (O21O32O21O32) (O11O23) (O11O21O32))

(Problem: 0 stage: 4 is:)
(Target: ((EQ S21 S31)))
(Moves: (O23O22O31) (O33O21O32))

(Problem: 0 stage: 5 is:)
(Target: ((EQ S22 S32)))
(Moves: (O23O21O32) (O33O22O31))

(Problem: 0 stage: 6 is:)
(Target: ((EQ S11 S21) (EQ S11 S31) (EQ S12 S21) (EQ S12 S31) (EQ S13 S21) (EQ S13 S31) (EQ S22 S23) (EQ S22 S33) (EQ S23 S32) (EQ S32 S33)))
(Moves: (O12) (O13))

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

(There are 2 groups)
(selection is ((EQ S22 S23) (EQ S22 S33) (EQ S23 S32) (EQ S32 S33)))
(Problem: 0 stage: 6 refined into 2 subproblems)

(Problem: 0 stage: 6 is:)
(Target: ((EQ S22 S23) (EQ S22 S33) (EQ S23 S32) (EQ S32 S33)))
(Moves: (O12) (O13) (O12O12) (O13O13))

(Problem: 0 stage: 7 is:)
(Target: ((EQ S11 S21) (EQ S11 S31) (EQ S12 S21) (EQ S12 S31) (EQ S13 S21) (EQ S13 S31)))
(Moves: (O12O13))

(Problem: 0 stage: 8 is:)
(Target: ((EQ S11 S22) (EQ S11 S23) (EQ S11 S32) (EQ S11 S33) (EQ S12 S22) (EQ S12 S23) (EQ S12 S32) (EQ S12 S33) (EQ S13 S22) (EQ S13 S23) (EQ S13 S32) (EQ S13 S33) (EQ S21 S22) (EQ S21 S23) (EQ S21 S32) (EQ S21 S33) (EQ S22 S31) (EQ S23 S31) (EQ S31 S32) (EQ S31 S33)))
(Moves: (O11))

(Processor Time: 28 sec.)
(57 macros are generated)

(Problem: 0 MOD-3-3, on board 3x3, with increments mod 3)
(Goal is: ((EQ S11 S12) (EQ S11 S13) (EQ S11 S21) (EQ S11 S22) (EQ S11 S23) (EQ S11 S31) (EQ S11 S32) (EQ S11 S33) (EQ S12 S13) (EQ S12 S21) (EQ S12 S22) (EQ S12 S23) (EQ S12 S31) (EQ S12 S32) (EQ S12 S33) (EQ S13 S21) (EQ S13 S22) (EQ S13 S23) (EQ S13 S31) (EQ S13 S32) (EQ S13 S33) (EQ S21 S22) (EQ S21 S23) (EQ S21 S31) (EQ S21 S32) (EQ S21 S33) (EQ S22 S23) (EQ S22 S31) (EQ S22 S32) (EQ S22 S33) (EQ S23 S31) (EQ S23 S32) (EQ S23 S33) (EQ S31 S32) (EQ S31 S33) (EQ S32 S33)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ S11 S12)))
(Moves: (O21) (O22) (O21O21) (O22O22) (O11O21) (O11O22))

(Stage no: 2)
(Target: ((EQ S23 S33)))
(Moves: (O21O22) (O31O32))

(Stage no: 3)
(Target: ((EQ S11 S13) (EQ S12 S13)))
(Moves: (O23) (O21O32) (O23O23) (O21O32O21O32) (O11O23) (O11O21O32))

(Stage no: 4)
(Target: ((EQ S21 S31)))
(Moves: (O23O22O31) (O33O21O32))

(Stage no: 5)
(Target: ((EQ S22 S32)))
(Moves: (O23O21O32) (O33O22O31))

(Stage no: 6)
(Target: ((EQ S22 S23) (EQ S22 S33) (EQ S23 S32) (EQ S32 S33)))
(Moves: (O12) (O13) (O12O12) (O13O13))

(Stage no: 7)
(Target: ((EQ S11 S21) (EQ S11 S31) (EQ S12 S21) (EQ S12 S31) (EQ S13 S21) (EQ S13 S31)))
(Moves: (O12O13))

(Stage no: 8)
(Target: ((EQ S11 S22) (EQ S11 S23) (EQ S11 S32) (EQ S11 S33) (EQ S12 S22) (EQ S12 S23) (EQ S12 S32) (EQ S12 S33) (EQ S13 S22) (EQ S13 S23) (EQ S13 S32) (EQ S13 S33) (EQ S21 S22) (EQ S21 S23) (EQ S21 S32) (EQ S21 S33) (EQ S22 S31) (EQ S23 S31) (EQ S31 S32) (EQ S31 S33)))
(Moves: (O11))

(Processor Time: 29 sec.)
