(Problem: 0 stage: 0 and 1 are initialized to: "The Eight Puzzle")

(There are 9 groups)
(selection is ((eq s11 one)))
(There are 8 groups)
(selection is ((eq s12 two)))
(There are 7 groups)
(selection is ((eq s13 three)))
(There are 6 groups)
(selection is ((eq s21 eight)))
(There are 5 groups)
(selection is ((eq s31 seven)))
(There are 4 groups)
(selection is ((eq s23 four)))
(There are 3 groups)
(selection is ((eq s33 five)))
(Problem: 0 stage: 1 refined into 8 subproblems)

(Problem: 0 The Eight Puzzle)
(Goal is: ((eq s11 one) (eq s12 two) (eq s13 three) (eq s21 eight) (eq s22 blank) (eq s23 four) (eq s31 seven) (eq s32 six) (eq s33 five)))

(Strategy is:)
(Stage no: 1)
(Target: ((eq s11 one)))
(Moves: (o1112) (o1121))

(Stage no: 2)
(Target: ((eq s12 two)))
(Moves: (o1222) (o1213))

(Stage no: 3)
(Target: ((eq s13 three)))
(Moves: (o1323))

(Stage no: 4)
(Target: ((eq s21 eight)))
(Moves: (o2131) (o2122))

(Stage no: 5)
(Target: ((eq s31 seven)))
(Moves: (o3132))

(Stage no: 6)
(Target: ((eq s23 four)))
(Moves: (o2322) (o2333))

(Stage no: 7)
(Target: ((eq s33 five)))
(Moves: (o3332))

(Stage no: 8)
(Target: ((eq s22 blank) (eq s32 six)))
(Moves: (o3222))

(Problem: 0 stage: 1 2 new moves are generated)
(updated stages: (t nil nil nil nil nil nil nil))

(Problem: 0 stage: 1 is:)
(Target: ((eq s11 one)))
(Moves: (o1112) (o1121) (o1211o1121) (o2111o1112))

(Problem: 0 stage: 1 4 new moves are generated)
(updated stages: (t nil nil nil nil nil nil nil))

(Problem: 0 stage: 1 is:)
(Target: ((eq s11 one)))
(Moves: (o1112) (o1121) (o1211o1121) (o2111o1112) (o1312o1211o1121) (o2212o1211o1121) (o2221o2111o1112) (o3121o2111o1112))

(Problem: 0 stage: 1 8 new moves are generated)
(updated stages: (t nil nil nil nil nil nil nil))

(Problem: 0 stage: 1 is:)
(Target: ((eq s11 one)))
(Moves: (o1112) (o1121) (o1211o1121) (o2111o1112) (o1312o1211o1121) (o2212o1211o1121) (o2221o2111o1112) (o3121o2111o1112) (o1222o2221o2111o1112) (o2122o2212o1211o1121) (o2313o1312o1211o1121) (o2322o2221o2111o1112) (o3222o2212o1211o1121) (o3222o2221o2111o1112))

(Problem: 0 stage: 1 38 new moves are generated)
(updated stages: (t t t t nil nil nil nil))

(Problem: 0 stage: 1 is:)
(Target: ((eq s11 one)))
(Moves: (o1112) (o1121) (o1211o1121) (o2111o1112) (o1312o1211o1121) (o2212o1211o1121) (o2221o2111o1112) (o3121o2111o1112) (o1222o2221o2111o1112) (o2122o2212o1211o1121) (o2313o1312o1211o1121) (o2322o2221o2111o1112) (o3222o2212o1211o1121) (o3222o2221o2111o1112) (o1112o1222o2221o2111o1112) (o1312o1222o2221o2111o1112) (o3121o2122o2212o1211o1121) (o2313o1312o1211o1121o2122o2212o1211o1121) (o3231o3121o2111o1112o1222o2221o2111o1112) (o1323o2322o2221o2111o1112) (o3132o3222o2212o1211o1121) (o3323o2313o1312o1211o1121) (o3323o2322o2221o2111o1112))

(Problem: 0 stage: 1 60 new moves are generated)
(updated stages: (t t t t nil nil nil nil))

(Problem: 0 stage: 1 is:)
(Target: ((eq s11 one)))
(Moves: (o1112) (o1121) (o1211o1121) (o2111o1112) (o1312o1211o1121) (o2212o1211o1121) (o2221o2111o1112) (o3121o2111o1112) (o1222o2221o2111o1112) (o2122o2212o1211o1121) (o2313o1312o1211o1121) (o2322o2221o2111o1112) (o3222o2212o1211o1121) (o3222o2221o2111o1112) (o1112o1222o2221o2111o1112) (o1312o1222o2221o2111o1112) (o3121o2122o2212o1211o1121) (o2313o1312o1222o2221o2111o1112) (o3231o3121o2122o2212o1211o1121) (o1323o2322o2221o2111o1112) (o3132o3222o2212o1211o1121) (o3323o2313o1312o1211o1121) (o3323o2322o2221o2111o1112) (o2232o3231o3121o2111o1112o1222o2221o2111o1112) (o2223o2313o1312o1211o1121o2122o2212o1211o1121) (o3323o2313o1312o1211o1121o2122o2212o1211o1121) (o1213o1323o2322o2221o2111o1112) (o2131o3132o3222o2212o1211o1121))

(Problem: 0 stage: 1 402 new moves are generated)
(updated stages: (t t t t nil nil nil nil))

(Problem: 0 stage: 1 is:)
(Target: ((eq s11 one)))
(Moves: (o1112) (o1121) (o1211o1121) (o2111o1112) (o1312o1211o1121) (o2212o1211o1121) (o2221o2111o1112) (o3121o2111o1112) (o1222o2221o2111o1112) (o2122o2212o1211o1121) (o2313o1312o1211o1121) (o2322o2221o2111o1112) (o3222o2212o1211o1121) (o3222o2221o2111o1112) (o1112o1222o2221o2111o1112) (o1312o1222o2221o2111o1112) (o3121o2122o2212o1211o1121) (o2313o1312o1222o2221o2111o1112) (o3231o3121o2122o2212o1211o1121) (o1323o2322o2221o2111o1112) (o3132o3222o2212o1211o1121) (o3323o2313o1312o1211o1121) (o3323o2322o2221o2111o1112) (o2232o3231o3121o2122o2212o1211o1121) (o2223o2313o1312o1222o2221o2111o1112) (o3323o2313o1312o1222o2221o2111o1112) (o1213o1323o2322o2221o2111o1112) (o2131o3132o3222o2212o1211o1121) (o1112o1213o1323o2322o2221o2111o1112) (o1121o2131o3132o3222o2212o1211o1121) (o1211o1121o2131o3132o3222o2212o1211o1121) (o2111o1112o1213o1323o2322o2221o2111o1112) (o1312o1211o1121o2131o3132o3222o2212o1211o1121) (o2221o2131o3132o3222o2212o1211o1121) (o2212o1213o1323o2322o2221o2111o1112) (o3121o2111o1112o1213o1323o2322o2221o2111o1112) (o2313o1312o1211o1121o2131o3132o3222o2212o1211o1121) (o2322o2221o2111o1112o1213o1323o2322o2221o2111o1112) (o3222o2212o1211o1121o2131o3132o3222o2212o1211o1121) (o3222o2221o2111o1112o1213o1323o2322o2221o2111o1112) (o1323o2322o2221o2111o1112o1213o1323o2322o2221o2111o1112) (o3132o3222o2212o1211o1121o2131o3132o3222o2212o1211o1121) (o3323o2313o1312o1211o1121o2131o3132o3222o2212o1211o1121) (o3323o2322o2221o2111o1112o1213o1323o2322o2221o2111o1112) (o1222o2232o3231o3121o2111o1112o1222o2221o2111o1112) (o1222o2223o2313o1312o1211o1121o2122o2212o1211o1121) (o2122o2232o3231o3121o2111o1112o1222o2221o2111o1112) (o2122o2223o2313o1312o1211o1121o2122o2212o1211o1121) (o2322o2232o3231o3121o2122o2212o1211o1121) (o3222o2223o2313o1312o1222o2221o2111o1112))

(Problem: 0 stage: 2 is:)
(Target: ((eq s12 two)))
(Moves: (o1222) (o1213) (o1312o1222o2221o2111o1112o1211o1121) (o2313o1312o1222o2221o2111o1112o1211o1121) (o2223o2313o1312o1211o1121o2122o2212o1211o1121o2122o2212o1211o1121) (o3323o2313o1312o1211o1121o2122o2212o1211o1121o2122o2212o1211o1121) (o1222o2223o2313o1312o1211o1121o2122o2212o1211o1121o2122o2212o1211o1121) (o2122o2223o2313o1312o1211o1121o2122o2212o1211o1121o2122o2212o1211o1121) (o3222o2223o2313o1312o1211o1121o2122o2212o1211o1121o2122o2212o1211o1121) (o3233o3323o2313o1312o1211o1121o2122o2212o1211o1121o2122o2212o1211o1121))

(Problem: 0 stage: 3 is:)
(Target: ((eq s13 three)))
(Moves: (o1323) (o2111o1112o1222o2223o2313o1312o1211o1121) (o2111o1112o1213o1323o2322o2212o1211o1121) (o2221o2111o1112o1222o2223o2313o1312o1211o1121) (o2221o2111o1112o1213o1323o2322o2212o1211o1121) (o3121o2111o1112o1222o2223o2313o1312o1211o1121) (o3121o2111o1112o1213o1323o2322o2212o1211o1121) (o2322o2221o2111o1112o1222o2223o2313o1312o1211o1121) (o2322o2221o2111o1112o1213o1323o2322o2212o1211o1121) (o3222o2221o2111o1112o1222o2223o2313o1312o1211o1121) (o3222o2221o2111o1112o1213o1323o2322o2212o1211o1121) (o3231o3121o2111o1112o1222o2223o2313o1312o1211o1121) (o1323o2322o2221o2111o1112o1222o2223o2313o1312o1211o1121) (o1323o2322o2221o2111o1112o1213o1323o2322o2212o1211o1121) (o2232o3231o3121o2111o1112o1222o2223o2313o1312o1211o1121) (o3132o3222o2221o2111o1112o1222o2223o2313o1312o1211o1121) (o3323o2322o2221o2111o1112o1222o2223o2313o1312o1211o1121) (o3323o2322o2221o2111o1112o1213o1323o2322o2212o1211o1121) (o3332o3222o2221o2111o1112o1213o1323o2322o2212o1211o1121) (o2131o3132o3222o2221o2111o1112o1222o2223o2313o1312o1211o1121) (o2122o2232o3231o3121o2111o1112o1222o2223o2313o1312o1211o1121) (o2322o2232o3231o3121o2111o1112o1222o2223o2313o1312o1211o1121) (o2333o3332o3222o2221o2111o1112o1213o1323o2322o2212o1211o1121))

(Problem: 0 stage: 4 is:)
(Target: ((eq s21 eight)))
(Moves: (o2131) (o2122))

(Problem: 0 stage: 4 27 new moves are generated)
(updated stages: (t t t t nil))

(Problem: 0 stage: 4 is:)
(Target: ((eq s21 eight)))
(Moves: (o2131) (o2122) (o2221o2131) (o3121o2122) (o2322o2221o2111o1112o1211o1121o2131) (o3222o2221o2111o1112o1211o1121o2131) (o3231o3121o2111o1112o1211o1121o2122) (o2232o3231o3121o2111o1112o1211o1121o2122) (o3132o3222o2221o2111o1112o1211o1121o2131) (o3323o2322o2221o2111o1112o1211o1121o2131) (o3332o3231o3121o2111o1112o1211o1121o2122) (o2131o3132o3222o2221o2111o1112o1211o1121o2131) (o2322o2232o3231o3121o2111o1112o1211o1121o2122) (o2333o3332o3231o3121o2111o1112o1211o1121o2122))

(Problem: 0 stage: 4 24 new moves are generated)
(updated stages: (t t nil nil nil))

(Problem: 0 stage: 4 is:)
(Target: ((eq s21 eight)))
(Moves: (o2131) (o2122) (o2221o2131) (o3121o2122) (o2322o2221o2131) (o3222o2221o2131) (o3231o3121o2122) (o2232o3231o3121o2111o1112o1211o1121o2122) (o3132o3222o2221o2111o1112o1211o1121o2131) (o3323o2322o2221o2131) (o3332o3231o3121o2122) (o2131o3132o3222o2221o2111o1112o1211o1121o2131) (o2322o2232o3231o3121o2111o1112o1211o1121o2122) (o2333o3332o3231o3121o2111o1112o1211o1121o2122) (o3323o2322o2232o3231o3121o2111o1112o1211o1121o2122) (o3233o3323o2322o2221o2111o1112o1211o1121o2131o3132o3222o2221o2111o1112o1211o1121o2131) (o2223o2333o3332o3231o3121o2111o1112o1211o1121o2122))

(Problem: 0 stage: 4 85 new moves are generated)
(updated stages: (t t t nil nil))

(Problem: 0 stage: 4 is:)
(Target: ((eq s21 eight)))
(Moves: (o2131) (o2122) (o2221o2131) (o3121o2122) (o2322o2221o2131) (o3222o2221o2131) (o3231o3121o2122) (o2232o3231o3121o2122) (o3132o3222o2221o2131) (o3323o2322o2221o2131) (o3332o3231o3121o2122) (o2131o3132o3222o2221o2111o1112o1211o1121o2131) (o2322o2232o3231o3121o2122) (o2333o3332o3231o3121o2122) (o3323o2322o2232o3231o3121o2122) (o3233o3323o2322o2232o3231o3121o2111o1112o1211o1121o2122) (o2223o2333o3332o3231o3121o2111o1112o1211o1121o2122) (o2122o2223o2333o3332o3231o3121o2111o1112o1211o1121o2122) (o3121o2122o2223o2333o3332o3231o3121o2111o1112o1211o1121o2122) (o3222o2223o2333o3332o3231o3121o2111o1112o1211o1121o2122) (o3332o3231o3121o2122o2223o2333o3332o3231o3121o2111o1112o1211o1121o2122) (o2333o3332o3231o3121o2111o1112o1211o1121o2122o2223o2333o3332o3231o3121o2111o1112o1211o1121o2122) (o2232o3233o3323o2322o2221o2111o1112o1211o1121o2131o3132o3222o2221o2111o1112o1211o1121o2131) (o3132o3233o3323o2322o2221o2111o1112o1211o1121o2131o3132o3222o2221o2111o1112o1211o1121o2131))

(Problem: 0 stage: 5 is:)
(Target: ((eq s31 seven)))
(Moves: (o3132))

(Problem: 0 stage: 5 61 new moves are generated)
(updated stages: (t t nil nil))

(Problem: 0 stage: 5 is:)
(Target: ((eq s31 seven)))
(Moves: (o3132) (o3121o2122o2232o3233o3323o2322o2221o2111o1112o1211o1121o2131o3132) (o3121o2122o2223o2333o3332o3222o2221o2111o1112o1211o1121o2131o3132) (o3231o3121o2122o2232o3233o3323o2322o2221o2111o1112o1211o1121o2131o3132) (o3231o3121o2122o2223o2333o3332o3222o2221o2111o1112o1211o1121o2131o3132) (o2232o3231o3121o2111o1112o1211o1121o2122o2232o3233o3323o2322o2221o2111o1112o1211o1121o2131o3132) (o2232o3231o3121o2111o1112o1211o1121o2122o2223o2333o3332o3222o2221o2111o1112o1211o1121o2131o3132) (o3332o3231o3121o2122o2232o3233o3323o2322o2221o2111o1112o1211o1121o2131o3132) (o3332o3231o3121o2122o2223o2333o3332o3222o2221o2111o1112o1211o1121o2131o3132) (o2322o2232o3231o3121o2111o1112o1211o1121o2122o2232o3233o3323o2322o2221o2111o1112o1211o1121o2131o3132) (o2322o2232o3231o3121o2111o1112o1211o1121o2122o2223o2333o3332o3222o2221o2111o1112o1211o1121o2131o3132) (o2333o3332o3231o3121o2111o1112o1211o1121o2122o2232o3233o3323o2322o2221o2111o1112o1211o1121o2131o3132) (o2223o2333o3332o3231o3121o2111o1112o1211o1121o2122o2232o3233o3323o2322o2221o2111o1112o1211o1121o2131o3132) (o3323o2322o2232o3231o3121o2111o1112o1211o1121o2122o2223o2333o3332o3222o2221o2111o1112o1211o1121o2131o3132) (o3233o3323o2322o2221o2111o1112o1211o1121o2122o2232o3231o3121o2111o1112o1211o1121o2122o2223o2333o3332o3222o2221o2111o1112o1211o1121o2131o3132))

(Problem: 0 stage: 6 is:)
(Target: ((eq s23 four)))
(Moves: (o2322) (o2333) (o3323o2322o2221o2131o3121o2122) (o3233o3323o2322o2221o2111o1112o1211o1121o2122) (o2232o3233o3323o2322o2221o2111o1112o1211o1121o2131o3121o2122) (o2223o2333o3332o3222o2221o2111o1112o1211o1121o2131o3121o2122) (o2322o2232o3231o3121o2111o1112o1211o1121o2131o3132o3233o3323o2322o2221o2111o1112o1211o1121o2131o3121o2122) (o3323o2322o2232o3231o3121o2111o1112o1211o1121o2122o2221o2131o3132o3233o3323o2322o2221o2111o1112o1211o1121o2131o3121o2122) (o3233o3323o2322o2221o2111o1112o1211o1121o2122o2232o3231o3121o2111o1112o1211o1121o2131o3132o3233o3323o2322o2221o2111o1112o1211o1121o2131o3121o2122))

(Problem: 0 stage: 7 is:)
(Target: ((eq s33 five)))
(Moves: (o3332))

(Problem: 0 stage: 8 is:)
(Target: ((eq s22 blank) (eq s32 six)))
(Moves: (o3222))

(Processor Time: 61 sec.)
(711 macros are generated)

(Problem: 0 The Eight Puzzle)
(Goal is: ((eq s11 one) (eq s12 two) (eq s13 three) (eq s21 eight) (eq s22 blank) (eq s23 four) (eq s31 seven) (eq s32 six) (eq s33 five)))

(Strategy is:)
(Stage no: 1)
(Target: ((eq s11 one)))
(Moves: (o1112) (o1121) (o1211o1121) (o2111o1112) (o1312o1211o1121) (o2212o1211o1121) (o2221o2111o1112) (o3121o2111o1112) (o1222o2221o2111o1112) (o2122o2212o1211o1121) (o2313o1312o1211o1121) (o2322o2221o2111o1112) (o3222o2212o1211o1121) (o3222o2221o2111o1112) (o1112o1222o2221o2111o1112) (o1312o1222o2221o2111o1112) (o3121o2122o2212o1211o1121) (o2313o1312o1222o2221o2111o1112) (o3231o3121o2122o2212o1211o1121) (o1323o2322o2221o2111o1112) (o3132o3222o2212o1211o1121) (o3323o2313o1312o1211o1121) (o3323o2322o2221o2111o1112) (o2232o3231o3121o2122o2212o1211o1121) (o2223o2313o1312o1222o2221o2111o1112) (o3323o2313o1312o1222o2221o2111o1112) (o1213o1323o2322o2221o2111o1112) (o2131o3132o3222o2212o1211o1121) (o1112o1213o1323o2322o2221o2111o1112) (o1121o2131o3132o3222o2212o1211o1121) (o1211o1121o2131o3132o3222o2212o1211o1121) (o2111o1112o1213o1323o2322o2221o2111o1112) (o1312o1211o1121o2131o3132o3222o2212o1211o1121) (o2221o2131o3132o3222o2212o1211o1121) (o2212o1213o1323o2322o2221o2111o1112) (o3121o2111o1112o1213o1323o2322o2221o2111o1112) (o2313o1312o1211o1121o2131o3132o3222o2212o1211o1121) (o2322o2221o2111o1112o1213o1323o2322o2221o2111o1112) (o3222o2212o1211o1121o2131o3132o3222o2212o1211o1121) (o3222o2221o2111o1112o1213o1323o2322o2221o2111o1112) (o1323o2322o2221o2111o1112o1213o1323o2322o2221o2111o1112) (o3132o3222o2212o1211o1121o2131o3132o3222o2212o1211o1121) (o3323o2313o1312o1211o1121o2131o3132o3222o2212o1211o1121) (o3323o2322o2221o2111o1112o1213o1323o2322o2221o2111o1112) (o1222o2232o3231o3121o2111o1112o1222o2221o2111o1112) (o1222o2223o2313o1312o1211o1121o2122o2212o1211o1121) (o2122o2232o3231o3121o2111o1112o1222o2221o2111o1112) (o2122o2223o2313o1312o1211o1121o2122o2212o1211o1121) (o2322o2232o3231o3121o2122o2212o1211o1121) (o3222o2223o2313o1312o1222o2221o2111o1112))

(Stage no: 2)
(Target: ((eq s12 two)))
(Moves: (o1222) (o1213) (o1312o1222o2221) (o2313o1312o1222o2221) (o2223o2313o1312o1211o1121o2122o2212o1211o1121o2122o2212o1211o1121) (o3323o2313o1312o1211o1121o2122o2212o1211o1121o2122o2212o1211o1121) (o1222o2223o2313o1312o1211o1121o2122o2212o1211o1121o2122o2212o1211o1121) (o2122o2223o2313o1312o1211o1121o2122o2212o1211o1121o2122o2212o1211o1121) (o3222o2223o2313o1312o1211o1121o2122o2212o1211o1121o2122o2212o1211o1121) (o3233o3323o2313o1312o1211o1121o2122o2212o1211o1121o2122o2212o1211o1121))

(Stage no: 3)
(Target: ((eq s13 three)))
(Moves: (o1323) (o2111o1112o1222o2223o2313o1312o1211o1121) (o2111o1112o1213o1323o2322o2212o1211o1121) (o2221o2111o1112o1222o2223o2313o1312o1211o1121) (o2221o2111o1112o1213o1323o2322o2212o1211o1121) (o3121o2111o1112o1222o2223o2313o1312o1211o1121) (o3121o2111o1112o1213o1323o2322o2212o1211o1121) (o2322o2221o2111o1112o1222o2223o2313o1312o1211o1121) (o2322o2221o2111o1112o1213o1323o2322o2212o1211o1121) (o3222o2221o2111o1112o1222o2223o2313o1312o1211o1121) (o3222o2221o2111o1112o1213o1323o2322o2212o1211o1121) (o3231o3121o2111o1112o1222o2223o2313o1312o1211o1121) (o1323o2322o2221o2111o1112o1222o2223o2313o1312o1211o1121) (o1323o2322o2221o2111o1112o1213o1323o2322o2212o1211o1121) (o2232o3231o3121o2111o1112o1222o2223o2313o1312o1211o1121) (o3132o3222o2221o2111o1112o1222o2223o2313o1312o1211o1121) (o3323o2322o2221o2111o1112o1222o2223o2313o1312o1211o1121) (o3323o2322o2221o2111o1112o1213o1323o2322o2212o1211o1121) (o3332o3222o2221o2111o1112o1213o1323o2322o2212o1211o1121) (o2131o3132o3222o2221o2111o1112o1222o2223o2313o1312o1211o1121) (o2122o2232o3231o3121o2111o1112o1222o2223o2313o1312o1211o1121) (o2322o2232o3231o3121o2111o1112o1222o2223o2313o1312o1211o1121) (o2333o3332o3222o2221o2111o1112o1213o1323o2322o2212o1211o1121))

(Stage no: 4)
(Target: ((eq s21 eight)))
(Moves: (o2131) (o2122) (o2221o2131) (o3121o2122) (o2322o2221o2131) (o3222o2221o2131) (o3231o3121o2122) (o2232o3231o3121o2122) (o3132o3222o2221o2131) (o3323o2322o2221o2131) (o3332o3231o3121o2122) (o2131o3132o3222o2221o2131) (o2322o2232o3231o3121o2122) (o2333o3332o3231o3121o2122) (o3323o2322o2232o3231o3121o2122) (o3233o3323o2322o2232o3231o3121o2122) (o2223o2333o3332o3231o3121o2122) (o2122o2223o2333o3332o3231o3121o2122) (o3121o2122o2223o2333o3332o3231o3121o2122) (o3222o2223o2333o3332o3231o3121o2122) (o3332o3231o3121o2122o2223o2333o3332o3231o3121o2122) (o2333o3332o3231o3121o2122o2223o2333o3332o3231o3121o2122) (o2232o3233o3323o2322o2221o2131o3132o3222o2221o2131) (o3132o3233o3323o2322o2221o2131o3132o3222o2221o2131))

(Stage no: 5)
(Target: ((eq s31 seven)))
(Moves: (o3132) (o3121o2122o2232o3233o3323o2322o2221o2131o3132) (o3121o2122o2223o2333o3332o3222o2221o2131o3132) (o3231o3121o2122o2232o3233o3323o2322o2221o2131o3132) (o3231o3121o2122o2223o2333o3332o3222o2221o2131o3132) (o2232o3231o3121o2122o2232o3233o3323o2322o2221o2131o3132) (o2232o3231o3121o2122o2223o2333o3332o3222o2221o2131o3132) (o3332o3231o3121o2122o2232o3233o3323o2322o2221o2131o3132) (o3332o3231o3121o2122o2223o2333o3332o3222o2221o2131o3132) (o2322o2232o3231o3121o2122o2232o3233o3323o2322o2221o2131o3132) (o2322o2232o3231o3121o2122o2223o2333o3332o3222o2221o2131o3132) (o2333o3332o3231o3121o2122o2232o3233o3323o2322o2221o2131o3132) (o2223o2333o3332o3231o3121o2122o2232o3233o3323o2322o2221o2131o3132) (o3323o2322o2232o3231o3121o2122o2223o2333o3332o3222o2221o2131o3132) (o3233o3323o2322o2232o3231o3121o2122o2223o2333o3332o3222o2221o2131o3132))

(Stage no: 6)
(Target: ((eq s23 four)))
(Moves: (o2322) (o2333) (o3323o2322) (o3233o3323o2322) (o2232o3233o3323o2322) (o2223o2333o3332o3222) (o2322o2232o3233o3323o2322) (o3323o2322o2232o3233o3323o2322) (o3233o3323o2322o2232o3233o3323o2322))

(Stage no: 7)
(Target: ((eq s33 five)))
(Moves: (o3332))

(Stage no: 8)
(Target: ((eq s22 blank) (eq s32 six)))
(Moves: (o3222))

(Processor Time: 65 sec.)