
(Problem: 0 stage: 0 and 1 are initialized to: "Rubik's Magic")

(There are 4 groups)
(selection is ((EQ S32L BLANK) (EQ S32B BLANK) (EQ S32R S33L) (EQ S33B BLANK) (EQ S33R BLANK)))
(Rest is not solvable)
(selection is ((EQ S11T BLANK) (EQ S11L BLANK) (EQ S11B S21T) (EQ S11R S12L) (EQ S12T BLANK) (EQ S12B S22T) (EQ S12R S13L) (EQ S13T BLANK) (EQ S13R BLANK) (EQ S21L BLANK) ...))
(There are 2 groups)
(selection is ((EQ SF SQR)))
(Rest is not solvable)
(selection is ((EQ S13B S23T) (EQ S22B S32T) (EQ S22R S23L) (EQ S23B S33T) (EQ S23R BLANK) (EQ S32L BLANK) (EQ S32B BLANK) (EQ S32R S33L) (EQ S33B BLANK) (EQ S33R BLANK)))
(Rest is not solvable)

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

(Problem: 0 Rubik's Magic)
(Goal is: ((EQ SF SQR) (EQ S11T BLANK) (EQ S11L BLANK) (EQ S11B S21T) (EQ S11R S12L) (EQ S12T BLANK) (EQ S12B S22T) (EQ S12R S13L) (EQ S13T BLANK) (EQ S13B S23T) ...))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ S11T BLANK) (EQ S11L BLANK) (EQ S11B S21T) (EQ S11R S12L) (EQ S12T BLANK) (EQ S12B S22T) (EQ S12R S13L) (EQ S13T BLANK) (EQ S13R BLANK) (EQ S21L BLANK) ...))
(Moves: (O21) (O22) (O23) (O24) (O25))

(Stage no: 2)
(Target: ((EQ SF SQR) (EQ S13B S23T) (EQ S22B S32T) (EQ S22R S23L) (EQ S23B S33T) (EQ S23R BLANK) (EQ S32L BLANK) (EQ S32B BLANK) (EQ S32R S33L) (EQ S33B BLANK) ...))
(Moves: (ORS) (OSR))

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

(Problem: 0 stage: 1 is:)
(Target: ((EQ S11T BLANK) (EQ S11L BLANK) (EQ S11B S21T) (EQ S11R S12L) (EQ S12T BLANK) (EQ S12B S22T) (EQ S12R S13L) (EQ S13T BLANK) (EQ S13R BLANK) (EQ S21L BLANK) ...))
(Moves: (O21) (O22) (O23) (O24) (O25) (O21O22) (O21O23) (O21O24) (O21O25) ...)

(There are 3 groups)
(selection is ((EQ S11R S12L)))
(Problem: 0 stage: 1 refined into 2 subproblems)

(Problem: 0 stage: 1 is:)
(Target: ((EQ S11R S12L)))
(Moves: (O21) (O22) (O23) (O24) (O25) (O21O22) (O21O23) (O21O24) (O21O25) ...)

(Problem: 0 stage: 2 is:)
(Target: ((EQ S11T BLANK) (EQ S11L BLANK) (EQ S11B S21T) (EQ S12T BLANK) (EQ S12B S22T) (EQ S12R S13L) (EQ S13T BLANK) (EQ S13R BLANK) (EQ S21L BLANK) (EQ S21B BLANK) ...))
(Moves: (O22O23))

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

(Problem: 0 stage: 2 is:)
(Target: ((EQ S11T BLANK) (EQ S11L BLANK) (EQ S11B S21T) (EQ S12T BLANK) (EQ S12B S22T) (EQ S12R S13L) (EQ S13T BLANK) (EQ S13R BLANK) (EQ S21L BLANK) (EQ S21B BLANK) ...))
(Moves: (O22O23) (OSRO22O23))

(Problem: 0 stage: 3 is:)
(Target: ((EQ SF SQR) (EQ S13B S23T) (EQ S22B S32T) (EQ S22R S23L) (EQ S23B S33T) (EQ S23R BLANK) (EQ S32L BLANK) (EQ S32B BLANK) (EQ S32R S33L) (EQ S33B BLANK) ...))
(Moves: (ORS) (OSR))

(Processor Time: 7 sec.)
(22 macros are generated)

(Problem: 0 Rubik's Magic)
(Goal is: ((EQ SF SQR) (EQ S11T BLANK) (EQ S11L BLANK) (EQ S11B S21T) (EQ S11R S12L) (EQ S12T BLANK) (EQ S12B S22T) (EQ S12R S13L) (EQ S13T BLANK) (EQ S13B S23T) ...))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ S11R S12L)))
(Moves: (O21) (O22) (O23) (O24) (O25) (O21O22) (O21O23) (O21O24) (O21O25) ...)

(Stage no: 2)
(Target: ((EQ S11T BLANK) (EQ S11L BLANK) (EQ S11B S21T) (EQ S12T BLANK) (EQ S12B S22T) (EQ S12R S13L) (EQ S13T BLANK) (EQ S13R BLANK) (EQ S21L BLANK) (EQ S21B BLANK) ...))
(Moves: (O22O23) (OSRO22O23))

(Stage no: 3)
(Target: ((EQ SF SQR) (EQ S13B S23T) (EQ S22B S32T) (EQ S22R S23L) (EQ S23B S33T) (EQ S23R BLANK) (EQ S32L BLANK) (EQ S32B BLANK) (EQ S32R S33L) (EQ S33B BLANK) ...))
(Moves: (ORS) (OSR))

(Processor Time: 7 sec.)
