
(Problem: 0 stage: 0 and 1 are initialized to: "Pyraminx")

(There are 44 groups)
(selection is ((EQ FT FTC) (EQ LTC LT) (EQ RT RTC)))
(There are 34 groups)
(selection is ((EQ FX FXC) (EQ LX LXC) (EQ BX BXC)))
(There are 25 groups)
(selection is ((EQ FYC FY) (EQ BYC BY) (EQ RY RYC)))
(There are 17 groups)
(selection is ((EQ LZ LZC) (EQ BZC BZ) (EQ RZ RZC)))
(There are 10 groups)
(selection is ((EQ FT FL) (EQ FT FX) (EQ FT FXC) (EQ FL FTC) (EQ FL FX) (EQ FL FXC) (EQ FTC FX) (EQ FTC FXC) (EQ LX LF) (EQ LX LTC) (EQ LX LT) (EQ LXC LF) (EQ LXC LTC) (EQ LXC LT) (EQ LF LTC) (EQ LF LT)))
(There are 3 groups)
(selection is ((EQ FT FR) (EQ FT FB) (EQ FT FYC) (EQ FT FY) (EQ FL FR) (EQ FL FB) (EQ FL FYC) (EQ FL FY) (EQ FTC FR) (EQ FTC FB) (EQ FTC FYC) (EQ FTC FY) (EQ FR FX) (EQ FR FXC) (EQ FR FB) (EQ FR FYC) (EQ FR FY) (EQ FX FB) (EQ FX FYC) (EQ FX FY) (EQ FXC FB) (EQ FXC FYC) (EQ FXC FY) (EQ FB FYC) (EQ FB FY) (EQ BX BF) (EQ BX BYC) (EQ BX BY) (EQ BXC BF) (EQ BXC BYC) (EQ BXC BY) (EQ BF BYC) (EQ BF BY) (EQ RT RF) (EQ RT RY) (EQ RT RYC) (EQ RTC RF) (EQ RTC RY) (EQ RTC RYC) (EQ RF RY) (EQ RF RYC)))
(Problem: 0 stage: 1 refined into 7 subproblems)

(Problem: 0 Pyraminx)
(Goal is: ((EQ FT FL) (EQ FT FTC) (EQ FT FR) (EQ FT FX) (EQ FT FXC) (EQ FT FB) (EQ FT FYC) (EQ FT FY) (EQ FL FTC) (EQ FL FR) (EQ FL FX) (EQ FL FXC) (EQ FL FB) (EQ FL FYC) (EQ FL FY) (EQ FTC FR) (EQ FTC FX) (EQ FTC FXC) (EQ FTC FB) (EQ FTC FYC) (EQ FTC FY) (EQ FR FX) (EQ FR FXC) (EQ FR FB) (EQ FR FYC) (EQ FR FY) (EQ FX FXC) (EQ FX FB) (EQ FX FYC) (EQ FX FY) (EQ FXC FB) (EQ FXC FYC) (EQ FXC FY) (EQ FB FYC) (EQ FB FY) (EQ FYC FY) (EQ LZ LB) (EQ LZ LZC) (EQ LZ LR) (EQ LZ LX) (EQ LZ LXC) (EQ LZ LF) (EQ LZ LTC) (EQ LZ LT) (EQ LB LZC) (EQ LB LR) (EQ LB LX) (EQ LB LXC) (EQ LB LF) (EQ LB LTC) (EQ LB LT) (EQ LZC LR) (EQ LZC LX) (EQ LZC LXC) (EQ LZC LF) (EQ LZC LTC) (EQ LZC LT) (EQ LR LX) (EQ LR LXC) (EQ LR LF) (EQ LR LTC) (EQ LR LT) (EQ LX LXC) (EQ LX LF) (EQ LX LTC) (EQ LX LT) (EQ LXC LF) (EQ LXC LTC) (EQ LXC LT) (EQ LF LTC) (EQ LF LT) (EQ LTC LT) (EQ BX BXC) (EQ BX BF) (EQ BX BYC) (EQ BX BY) (EQ BX BL) (EQ BX BZC) (EQ BX BR) (EQ BX BZ) (EQ BXC BF) (EQ BXC BYC) (EQ BXC BY) (EQ BXC BL) (EQ BXC BZC) (EQ BXC BR) (EQ BXC BZ) (EQ BF BYC) (EQ BF BY) (EQ BF BL) (EQ BF BZC) (EQ BF BR) (EQ BF BZ) (EQ BYC BY) (EQ BYC BL) (EQ BYC BZC) (EQ BYC BR) (EQ BYC BZ) (EQ BY BL) (EQ BY BZC) (EQ BY BR) (EQ BY BZ) (EQ BL BZC) (EQ BL BR) (EQ BL BZ) (EQ BZC BR) (EQ BZC BZ) (EQ BR BZ) (EQ RZ RL) (EQ RZ RZC) (EQ RZ RB) (EQ RZ RT) (EQ RZ RTC) (EQ RZ RF) (EQ RZ RY) (EQ RZ RYC) (EQ RL RZC) (EQ RL RB) (EQ RL RT) (EQ RL RTC) (EQ RL RF) (EQ RL RY) (EQ RL RYC) (EQ RZC RB) (EQ RZC RT) (EQ RZC RTC) (EQ RZC RF) (EQ RZC RY) (EQ RZC RYC) (EQ RB RT) (EQ RB RTC) (EQ RB RF) (EQ RB RY) (EQ RB RYC) (EQ RT RTC) (EQ RT RF) (EQ RT RY) (EQ RT RYC) (EQ RTC RF) (EQ RTC RY) (EQ RTC RYC) (EQ RF RY) (EQ RF RYC) (EQ RY RYC)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ FT FTC) (EQ LTC LT) (EQ RT RTC)))
(Moves: (T1) (T6))

(Stage no: 2)
(Target: ((EQ FX FXC) (EQ LX LXC) (EQ BX BXC)))
(Moves: (X1) (X6))

(Stage no: 3)
(Target: ((EQ FYC FY) (EQ BYC BY) (EQ RY RYC)))
(Moves: (Y1) (Y6))

(Stage no: 4)
(Target: ((EQ LZ LZC) (EQ BZC BZ) (EQ RZ RZC)))
(Moves: (Z1) (Z6))

(Stage no: 5)
(Target: ((EQ FT FL) (EQ FT FX) (EQ FT FXC) (EQ FL FTC) (EQ FL FX) (EQ FL FXC) (EQ FTC FX) (EQ FTC FXC) (EQ LX LF) (EQ LX LTC) (EQ LX LT) (EQ LXC LF) (EQ LXC LTC) (EQ LXC LT) (EQ LF LTC) (EQ LF LT)))
(Moves: (T6) (X6))

(Stage no: 6)
(Target: ((EQ FT FR) (EQ FT FB) (EQ FT FYC) (EQ FT FY) (EQ FL FR) (EQ FL FB) (EQ FL FYC) (EQ FL FY) (EQ FTC FR) (EQ FTC FB) (EQ FTC FYC) (EQ FTC FY) (EQ FR FX) (EQ FR FXC) (EQ FR FB) (EQ FR FYC) (EQ FR FY) (EQ FX FB) (EQ FX FYC) (EQ FX FY) (EQ FXC FB) (EQ FXC FYC) (EQ FXC FY) (EQ FB FYC) (EQ FB FY) (EQ BX BF) (EQ BX BYC) (EQ BX BY) (EQ BXC BF) (EQ BXC BYC) (EQ BXC BY) (EQ BF BYC) (EQ BF BY) (EQ RT RF) (EQ RT RY) (EQ RT RYC) (EQ RTC RF) (EQ RTC RY) (EQ RTC RYC) (EQ RF RY) (EQ RF RYC)))
(Moves: (Y6))

(Stage no: 7)
(Target: ((EQ LZ LB) (EQ LZ LR) (EQ LZ LX) (EQ LZ LXC) (EQ LZ LF) (EQ LZ LTC) (EQ LZ LT) (EQ LB LZC) (EQ LB LR) (EQ LB LX) (EQ LB LXC) (EQ LB LF) (EQ LB LTC) (EQ LB LT) (EQ LZC LR) (EQ LZC LX) (EQ LZC LXC) (EQ LZC LF) (EQ LZC LTC) (EQ LZC LT) (EQ LR LX) (EQ LR LXC) (EQ LR LF) (EQ LR LTC) (EQ LR LT) (EQ BX BL) (EQ BX BZC) (EQ BX BR) (EQ BX BZ) (EQ BXC BL) (EQ BXC BZC) (EQ BXC BR) (EQ BXC BZ) (EQ BF BL) (EQ BF BZC) (EQ BF BR) (EQ BF BZ) (EQ BYC BL) (EQ BYC BZC) (EQ BYC BR) (EQ BYC BZ) (EQ BY BL) (EQ BY BZC) (EQ BY BR) (EQ BY BZ) (EQ BL BZC) (EQ BL BR) (EQ BL BZ) (EQ BZC BR) (EQ BR BZ) (EQ RZ RL) (EQ RZ RB) (EQ RZ RT) (EQ RZ RTC) (EQ RZ RF) (EQ RZ RY) (EQ RZ RYC) (EQ RL RZC) (EQ RL RB) (EQ RL RT) (EQ RL RTC) (EQ RL RF) (EQ RL RY) (EQ RL RYC) (EQ RZC RB) (EQ RZC RT) (EQ RZC RTC) (EQ RZC RF) (EQ RZC RY) (EQ RZC RYC) (EQ RB RT) (EQ RB RTC) (EQ RB RF) (EQ RB RY) (EQ RB RYC)))
(Moves: (Z6))

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

(Problem: 0 stage: 5 is:)
(Target: ((EQ FT FL) (EQ FT FX) (EQ FT FXC) (EQ FL FTC) (EQ FL FX) (EQ FL FXC) (EQ FTC FX) (EQ FTC FXC) (EQ LX LF) (EQ LX LTC) (EQ LX LT) (EQ LXC LF) (EQ LXC LTC) (EQ LXC LT) (EQ LF LTC) (EQ LF LT)))
(Moves: (T6) (X6) (T6T6) (T6X6) (X6T6) (X6X6) (Y6X6) (Z6T6))

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

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

(Problem: 0 stage: 5 is:)
(Target: ((EQ FT FL) (EQ FT FX) (EQ FT FXC) (EQ FL FTC) (EQ FL FX) (EQ FL FXC) (EQ FTC FX) (EQ FTC FXC) (EQ LX LF) (EQ LX LTC) (EQ LX LT) (EQ LXC LF) (EQ LXC LTC) (EQ LXC LT) (EQ LF LTC) (EQ LF LT)))
(Moves: (T6) (X6) (T6T6) (T6X6) (X6T6) (X6X6) (Y6X6) (Z6T6) (T6T6X6) (T6X6T6) (T6X6X6) (T6Y6X6) (T6Z6T6) (X6X6T6) (X6Y6X6) (T6T6X6T6) (T6T6X6X6) (T6T6Y6X6) (T6T6Z6T6) (T6X6X6T6) (T6X6Y6X6) (X6T6X6X6) (X6T6Y6X6) (X6T6Z6T6) (X6X6Y6X6) (Y6T6T6) (Y6T6X6) (Y6T6T6X6) (Y6T6X6T6) (Y6X6Y6X6) (Z6T6X6X6) (Z6T6Z6T6) (Z6X6T6) (Z6X6X6) (Z6X6X6T6) (Y6Y6X6) (Z6Z6T6))

(There are 3 groups)
(selection is ((EQ FT FL) (EQ FL FTC) (EQ LF LTC) (EQ LF LT)))
(Problem: 0 stage: 5 refined into 2 subproblems)

(Problem: 0 stage: 5 is:)
(Target: ((EQ FT FL) (EQ FL FTC) (EQ LF LTC) (EQ LF LT)))
(Moves: (T6) (X6) (T6T6) (T6X6) (X6X6) (Y6X6) (Z6T6) (T6T6X6) (T6X6X6) (T6Y6X6) (T6Z6T6) (T6T6X6X6) (T6T6Y6X6) (T6T6Z6T6) (X6T6X6X6) (X6T6Y6X6) (X6T6Z6T6) (Y6T6T6) (Y6T6X6) (Y6T6T6X6) (Y6Y6X6) (Z6T6X6X6) (Z6T6Z6T6) (Z6X6X6) (Z6Z6T6))

(Problem: 0 stage: 6 is:)
(Target: ((EQ FT FX) (EQ FT FXC) (EQ FL FX) (EQ FL FXC) (EQ FTC FX) (EQ FTC FXC) (EQ LX LF) (EQ LX LTC) (EQ LX LT) (EQ LXC LF) (EQ LXC LTC) (EQ LXC LT)))
(Moves: (T6T6X6T6))

(Problem: 0 stage: 7 is:)
(Target: ((EQ FT FR) (EQ FT FB) (EQ FT FYC) (EQ FT FY) (EQ FL FR) (EQ FL FB) (EQ FL FYC) (EQ FL FY) (EQ FTC FR) (EQ FTC FB) (EQ FTC FYC) (EQ FTC FY) (EQ FR FX) (EQ FR FXC) (EQ FR FB) (EQ FR FYC) (EQ FR FY) (EQ FX FB) (EQ FX FYC) (EQ FX FY) (EQ FXC FB) (EQ FXC FYC) (EQ FXC FY) (EQ FB FYC) (EQ FB FY) (EQ BX BF) (EQ BX BYC) (EQ BX BY) (EQ BXC BF) (EQ BXC BYC) (EQ BXC BY) (EQ BF BYC) (EQ BF BY) (EQ RT RF) (EQ RT RY) (EQ RT RYC) (EQ RTC RF) (EQ RTC RY) (EQ RTC RYC) (EQ RF RY) (EQ RF RYC)))
(Moves: (Y6) (T6T6Y6T6) (X6X6Z6X6))

(There are 3 groups)
(selection is ((EQ FT FR) (EQ FL FR) (EQ FTC FR) (EQ FR FX) (EQ FR FXC) (EQ RT RF) (EQ RTC RF)))
(There are 2 groups)
(selection is ((EQ FT FYC) (EQ FT FY) (EQ FL FYC) (EQ FL FY) (EQ FTC FYC) (EQ FTC FY) (EQ FR FYC) (EQ FR FY) (EQ FX FYC) (EQ FX FY) (EQ FXC FYC) (EQ FXC FY) (EQ BX BYC) (EQ BX BY) (EQ BXC BYC) (EQ BXC BY) (EQ RT RY) (EQ RT RYC) (EQ RTC RY) (EQ RTC RYC) (EQ RF RY) (EQ RF RYC)))
(Problem: 0 stage: 7 refined into 3 subproblems)

(Problem: 0 stage: 7 is:)
(Target: ((EQ FT FR) (EQ FL FR) (EQ FTC FR) (EQ FR FX) (EQ FR FXC) (EQ RT RF) (EQ RTC RF)))
(Moves: (Y6))

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

(Problem: 0 stage: 7 is:)
(Target: ((EQ FT FR) (EQ FL FR) (EQ FTC FR) (EQ FR FX) (EQ FR FXC) (EQ RT RF) (EQ RTC RF)))
(Moves: (Y6) (Y6Y6) (Z6Y6))

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

(Problem: 0 stage: 7 is:)
(Target: ((EQ FT FR) (EQ FL FR) (EQ FTC FR) (EQ FR FX) (EQ FR FXC) (EQ RT RF) (EQ RTC RF)))
(Moves: (Y6) (Y6Y6) (Z6Y6) (T6T6Y6T6Y6Y6) (X6X6Z6X6Y6Y6) (X6X6Z6X6Z6Y6) (Z6Z6Y6))

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

(Problem: 0 stage: 7 is:)
(Target: ((EQ FT FR) (EQ FL FR) (EQ FTC FR) (EQ FR FX) (EQ FR FXC) (EQ RT RF) (EQ RTC RF)))
(Moves: (Y6) (Y6Y6) (Z6Y6) (T6T6Y6T6Y6Y6) (X6X6Z6X6Y6Y6) (X6X6Z6X6Z6Y6) (Z6Z6Y6) (Y6X6X6Z6X6Z6Y6) (Z6T6T6Y6T6Y6Y6))

(Problem: 0 stage: 8 is:)
(Target: ((EQ FT FYC) (EQ FT FY) (EQ FL FYC) (EQ FL FY) (EQ FTC FYC) (EQ FTC FY) (EQ FR FYC) (EQ FR FY) (EQ FX FYC) (EQ FX FY) (EQ FXC FYC) (EQ FXC FY) (EQ BX BYC) (EQ BX BY) (EQ BXC BYC) (EQ BXC BY) (EQ RT RY) (EQ RT RYC) (EQ RTC RY) (EQ RTC RYC) (EQ RF RY) (EQ RF RYC)))
(Moves: (T6T6Y6T6) (Y6Y6Z6Y6Z6Y6Z6Y6))

(Problem: 0 stage: 9 is:)
(Target: ((EQ FT FB) (EQ FL FB) (EQ FTC FB) (EQ FR FB) (EQ FX FB) (EQ FXC FB) (EQ FB FYC) (EQ FB FY) (EQ BX BF) (EQ BXC BF) (EQ BF BYC) (EQ BF BY)))
(Moves: (X6X6Z6X6) (Y6T6T6Y6T6Y6) (Y6Z6Y6Y6) (X6X6Z6X6Y6Z6Y6Y6) (Z6Y6Z6Y6Y6) (Z6X6X6Z6X6Y6Y6Y6))

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

(Problem: 0 stage: 9 is:)
(Target: ((EQ FT FB) (EQ FL FB) (EQ FTC FB) (EQ FR FB) (EQ FX FB) (EQ FXC FB) (EQ FB FYC) (EQ FB FY) (EQ BX BF) (EQ BXC BF) (EQ BF BYC) (EQ BF BY)))
(Moves: (X6X6Z6X6) (Y6T6T6Y6T6Y6) (Y6Z6Y6Y6) (X6X6Z6X6Y6Z6Y6Y6) (Z6Y6Z6Y6Y6) (Z6X6X6Z6X6) (Z6Z6X6X6Z6X6))

(Problem: 0 stage: 10 is:)
(Target: ((EQ LZ LB) (EQ LZ LR) (EQ LZ LX) (EQ LZ LXC) (EQ LZ LF) (EQ LZ LTC) (EQ LZ LT) (EQ LB LZC) (EQ LB LR) (EQ LB LX) (EQ LB LXC) (EQ LB LF) (EQ LB LTC) (EQ LB LT) (EQ LZC LR) (EQ LZC LX) (EQ LZC LXC) (EQ LZC LF) (EQ LZC LTC) (EQ LZC LT) (EQ LR LX) (EQ LR LXC) (EQ LR LF) (EQ LR LTC) (EQ LR LT) (EQ BX BL) (EQ BX BZC) (EQ BX BR) (EQ BX BZ) (EQ BXC BL) (EQ BXC BZC) (EQ BXC BR) (EQ BXC BZ) (EQ BF BL) (EQ BF BZC) (EQ BF BR) (EQ BF BZ) (EQ BYC BL) (EQ BYC BZC) (EQ BYC BR) (EQ BYC BZ) (EQ BY BL) (EQ BY BZC) (EQ BY BR) (EQ BY BZ) (EQ BL BZC) (EQ BL BR) (EQ BL BZ) (EQ BZC BR) (EQ BR BZ) (EQ RZ RL) (EQ RZ RB) (EQ RZ RT) (EQ RZ RTC) (EQ RZ RF) (EQ RZ RY) (EQ RZ RYC) (EQ RL RZC) (EQ RL RB) (EQ RL RT) (EQ RL RTC) (EQ RL RF) (EQ RL RY) (EQ RL RYC) (EQ RZC RB) (EQ RZC RT) (EQ RZC RTC) (EQ RZC RF) (EQ RZC RY) (EQ RZC RYC) (EQ RB RT) (EQ RB RTC) (EQ RB RF) (EQ RB RY) (EQ RB RYC)))
(Moves: (Z6) (Y6T6T6Y6T6Y6X6X6Z6X6X6X6Z6X6) (Z6Z6Y6Z6Y6Y6Z6Y6Z6Y6Y6) (T6T6Y6T6Y6X6X6Z6X6Y6T6T6Y6T6Y6Y6) (Z6Z6Y6Y6Y6) (Y6Z6Y6Y6Z6Y6Z6Y6Y6) (Y6T6T6Y6T6Y6Z6X6X6Z6X6Y6Y6Y6) (Z6Z6Y6Z6Y6Y6Z6Z6Y6T6T6Y6T6Y6) (Y6Z6Y6Y6X6X6Z6X6Z6Y6Z6Y6Y6) (X6X6Z6X6Y6T6T6Y6T6Y6Z6Z6Y6Z6Y6Y6) (Y6Z6T6T6Y6T6Y6Z6Y6Z6Y6Y6) (Z6Y6T6T6Y6T6Y6Z6X6X6Z6X6Y6Y6Y6) (Y6Z6Y6Y6Z6X6X6Z6X6Y6T6T6Y6T6Y6) (Y6Z6Y6Y6Z6X6X6Z6X6Y6Z6T6T6Y6T6Y6) (Y6Z6Y6Y6Z6Z6Y6T6T6Y6T6Y6) (Y6Z6Y6Y6Z6Z6Y6Z6T6T6Y6T6Y6) (Y6Z6T6T6Y6T6Y6Z6Z6Y6T6T6Y6T6Y6) (X6X6Z6X6Y6Z6Y6Y6X6X6Z6X6Y6Z6Y6Y6) (Z6X6X6Z6X6Y6Z6Y6Y6X6X6Z6X6Y6Z6Y6Y6) (Z6Y6Z6Y6Y6Z6Y6Z6Y6Y6) (Z6Y6Z6Y6Y6X6X6Z6X6Z6Y6Z6Y6Y6) (X6X6Z6X6Y6Z6Y6Y6Z6X6X6Z6X6Y6Z6Y6Y6) (X6X6Z6X6Y6Z6T6T6Y6T6Y6X6X6Z6X6Y6T6T6Y6T6Y6) (X6X6Z6X6Y6Z6T6T6Y6T6Y6Y6Z6Y6Y6) (Z6Y6Z6Y6Y6Z6X6X6Z6X6Y6Z6T6T6Y6T6Y6) (Z6Y6Z6Y6Y6Z6Z6Y6T6T6Y6T6Y6) (Z6Y6Z6T6T6Y6T6Y6X6X6Z6X6Z6Y6Z6Y6Y6) (X6X6Z6X6Z6Y6Z6Y6Y6X6X6Z6X6) (Z6X6X6Z6X6Y6T6T6Y6T6Y6Z6Z6Y6Z6Y6Y6) (Z6Y6Z6T6T6Y6T6Y6Z6Z6Y6T6T6Y6T6Y6) (Z6Z6Y6Z6T6T6Y6T6Y6Z6Z6Y6T6T6Y6T6Y6) (Z6Z6Y6Z6Y6Y6X6X6Z6X6Z6Y6Z6Y6Y6) (Z6X6X6Z6X6Y6Z6Y6Y6Z6X6X6Z6X6Y6Z6Y6Y6) (Z6Z6Y6Z6Y6Y6Z6X6X6Z6X6Y6Z6T6T6Y6T6Y6))

(There are 8 groups)
(selection is ((EQ LZ LX) (EQ LZ LXC) (EQ LZ LF) (EQ LZ LTC) (EQ LZ LT) (EQ LZC LX) (EQ LZC LXC) (EQ LZC LF) (EQ LZC LTC) (EQ LZC LT) (EQ BX BZC) (EQ BX BZ) (EQ BXC BZC) (EQ BXC BZ) (EQ BF BZC) (EQ BF BZ) (EQ BYC BZC) (EQ BYC BZ) (EQ BY BZC) (EQ BY BZ) (EQ RZ RT) (EQ RZ RTC) (EQ RZ RF) (EQ RZ RY) (EQ RZ RYC) (EQ RZC RT) (EQ RZC RTC) (EQ RZC RF) (EQ RZC RY) (EQ RZC RYC)))
(There are 4 groups)
(selection is ((EQ LB LR) (EQ BL BR) (EQ RL RB)))
(Problem: 0 stage: 10 refined into 3 subproblems)

(Problem: 0 stage: 10 is:)
(Target: ((EQ LZ LX) (EQ LZ LXC) (EQ LZ LF) (EQ LZ LTC) (EQ LZ LT) (EQ LZC LX) (EQ LZC LXC) (EQ LZC LF) (EQ LZC LTC) (EQ LZC LT) (EQ BX BZC) (EQ BX BZ) (EQ BXC BZC) (EQ BXC BZ) (EQ BF BZC) (EQ BF BZ) (EQ BYC BZC) (EQ BYC BZ) (EQ BY BZC) (EQ BY BZ) (EQ RZ RT) (EQ RZ RTC) (EQ RZ RF) (EQ RZ RY) (EQ RZ RYC) (EQ RZC RT) (EQ RZC RTC) (EQ RZC RF) (EQ RZC RY) (EQ RZC RYC)))
(Moves: (Z6) (Z6Z6Y6Y6Y6))

(Problem: 0 stage: 11 is:)
(Target: ((EQ LB LR) (EQ BL BR) (EQ RL RB)))
(Moves: (Y6Z6Y6Y6Z6Y6Z6Y6Y6) (Y6Z6T6T6Y6T6Y6Z6Y6Z6Y6Y6) (Z6Y6T6T6Y6T6Y6Z6X6X6Z6X6Y6Y6Y6) (Y6Z6Y6Y6Z6X6X6Z6X6Y6T6T6Y6T6Y6) (Y6Z6Y6Y6Z6Z6Y6T6T6Y6T6Y6) (Y6Z6T6T6Y6T6Y6Z6Z6Y6T6T6Y6T6Y6) (X6X6Z6X6Y6Z6T6T6Y6T6Y6X6X6Z6X6Y6T6T6Y6T6Y6) (X6X6Z6X6Y6Z6T6T6Y6T6Y6Y6Z6Y6Y6) (Z6Z6Y6Z6Y6Y6X6X6Z6X6Z6Y6Z6Y6Y6) (Z6X6X6Z6X6Y6Z6Y6Y6Z6X6X6Z6X6Y6Z6Y6Y6) (Z6Z6Y6Z6Y6Y6Z6X6X6Z6X6Y6Z6T6T6Y6T6Y6))

(Problem: 0 stage: 12 is:)
(Target: ((EQ LZ LB) (EQ LZ LR) (EQ LB LZC) (EQ LB LX) (EQ LB LXC) (EQ LB LF) (EQ LB LTC) (EQ LB LT) (EQ LZC LR) (EQ LR LX) (EQ LR LXC) (EQ LR LF) (EQ LR LTC) (EQ LR LT) (EQ BX BL) (EQ BX BR) (EQ BXC BL) (EQ BXC BR) (EQ BF BL) (EQ BF BR) (EQ BYC BL) (EQ BYC BR) (EQ BY BL) (EQ BY BR) (EQ BL BZC) (EQ BL BZ) (EQ BZC BR) (EQ BR BZ) (EQ RZ RL) (EQ RZ RB) (EQ RL RZC) (EQ RL RT) (EQ RL RTC) (EQ RL RF) (EQ RL RY) (EQ RL RYC) (EQ RZC RB) (EQ RB RT) (EQ RB RTC) (EQ RB RF) (EQ RB RY) (EQ RB RYC)))
(Moves: (Y6Z6Y6Y6Z6Y6Z6Y6Y6) (Y6Z6Y6Y6Z6X6X6Z6X6Y6T6T6Y6T6Y6))

(Processor Time: 33 sec.)
(1018 macros are generated)

(Problem: 0 Pyraminx)
(Goal is: ((EQ FT FL) (EQ FT FTC) (EQ FT FR) (EQ FT FX) (EQ FT FXC) (EQ FT FB) (EQ FT FYC) (EQ FT FY) (EQ FL FTC) (EQ FL FR) (EQ FL FX) (EQ FL FXC) (EQ FL FB) (EQ FL FYC) (EQ FL FY) (EQ FTC FR) (EQ FTC FX) (EQ FTC FXC) (EQ FTC FB) (EQ FTC FYC) (EQ FTC FY) (EQ FR FX) (EQ FR FXC) (EQ FR FB) (EQ FR FYC) (EQ FR FY) (EQ FX FXC) (EQ FX FB) (EQ FX FYC) (EQ FX FY) (EQ FXC FB) (EQ FXC FYC) (EQ FXC FY) (EQ FB FYC) (EQ FB FY) (EQ FYC FY) (EQ LZ LB) (EQ LZ LZC) (EQ LZ LR) (EQ LZ LX) (EQ LZ LXC) (EQ LZ LF) (EQ LZ LTC) (EQ LZ LT) (EQ LB LZC) (EQ LB LR) (EQ LB LX) (EQ LB LXC) (EQ LB LF) (EQ LB LTC) (EQ LB LT) (EQ LZC LR) (EQ LZC LX) (EQ LZC LXC) (EQ LZC LF) (EQ LZC LTC) (EQ LZC LT) (EQ LR LX) (EQ LR LXC) (EQ LR LF) (EQ LR LTC) (EQ LR LT) (EQ LX LXC) (EQ LX LF) (EQ LX LTC) (EQ LX LT) (EQ LXC LF) (EQ LXC LTC) (EQ LXC LT) (EQ LF LTC) (EQ LF LT) (EQ LTC LT) (EQ BX BXC) (EQ BX BF) (EQ BX BYC) (EQ BX BY) (EQ BX BL) (EQ BX BZC) (EQ BX BR) (EQ BX BZ) (EQ BXC BF) (EQ BXC BYC) (EQ BXC BY) (EQ BXC BL) (EQ BXC BZC) (EQ BXC BR) (EQ BXC BZ) (EQ BF BYC) (EQ BF BY) (EQ BF BL) (EQ BF BZC) (EQ BF BR) (EQ BF BZ) (EQ BYC BY) (EQ BYC BL) (EQ BYC BZC) (EQ BYC BR) (EQ BYC BZ) (EQ BY BL) (EQ BY BZC) (EQ BY BR) (EQ BY BZ) (EQ BL BZC) (EQ BL BR) (EQ BL BZ) (EQ BZC BR) (EQ BZC BZ) (EQ BR BZ) (EQ RZ RL) (EQ RZ RZC) (EQ RZ RB) (EQ RZ RT) (EQ RZ RTC) (EQ RZ RF) (EQ RZ RY) (EQ RZ RYC) (EQ RL RZC) (EQ RL RB) (EQ RL RT) (EQ RL RTC) (EQ RL RF) (EQ RL RY) (EQ RL RYC) (EQ RZC RB) (EQ RZC RT) (EQ RZC RTC) (EQ RZC RF) (EQ RZC RY) (EQ RZC RYC) (EQ RB RT) (EQ RB RTC) (EQ RB RF) (EQ RB RY) (EQ RB RYC) (EQ RT RTC) (EQ RT RF) (EQ RT RY) (EQ RT RYC) (EQ RTC RF) (EQ RTC RY) (EQ RTC RYC) (EQ RF RY) (EQ RF RYC) (EQ RY RYC)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ FT FTC) (EQ LTC LT) (EQ RT RTC)))
(Moves: (T1) (T6))

(Stage no: 2)
(Target: ((EQ FX FXC) (EQ LX LXC) (EQ BX BXC)))
(Moves: (X1) (X6))

(Stage no: 3)
(Target: ((EQ FYC FY) (EQ BYC BY) (EQ RY RYC)))
(Moves: (Y1) (Y6))

(Stage no: 4)
(Target: ((EQ LZ LZC) (EQ BZC BZ) (EQ RZ RZC)))
(Moves: (Z1) (Z6))

(Stage no: 5)
(Target: ((EQ FT FL) (EQ FL FTC) (EQ LF LTC) (EQ LF LT)))
(Moves: (T6) (X6) (T6T6) (T6X6) (X6X6) (Y6X6) (Z6T6) (T6T6X6) (T6X6X6) (T6Y6X6) (T6Z6T6) (T6T6X6X6) (T6T6Y6X6) (T6T6Z6T6) (X6T6X6X6) (X6T6Y6X6) (X6T6Z6T6) (Y6T6T6) (Y6T6X6) (Y6T6T6X6) (Y6Y6X6) (Z6T6X6X6) (Z6T6Z6T6) (Z6X6X6) (Z6Z6T6))

(Stage no: 6)
(Target: ((EQ FT FX) (EQ FT FXC) (EQ FL FX) (EQ FL FXC) (EQ FTC FX) (EQ FTC FXC) (EQ LX LF) (EQ LX LTC) (EQ LX LT) (EQ LXC LF) (EQ LXC LTC) (EQ LXC LT)))
(Moves: (T6T6X6T6))

(Stage no: 7)
(Target: ((EQ FT FR) (EQ FL FR) (EQ FTC FR) (EQ FR FX) (EQ FR FXC) (EQ RT RF) (EQ RTC RF)))
(Moves: (Y6) (Y6Y6) (Z6Y6) (T6T6Y6T6Y6Y6) (X6X6Z6X6Y6Y6) (X6X6Z6X6Z6Y6) (Z6Z6Y6) (Y6X6X6Z6X6Z6Y6) (Z6T6T6Y6T6Y6Y6))

(Stage no: 8)
(Target: ((EQ FT FYC) (EQ FT FY) (EQ FL FYC) (EQ FL FY) (EQ FTC FYC) (EQ FTC FY) (EQ FR FYC) (EQ FR FY) (EQ FX FYC) (EQ FX FY) (EQ FXC FYC) (EQ FXC FY) (EQ BX BYC) (EQ BX BY) (EQ BXC BYC) (EQ BXC BY) (EQ RT RY) (EQ RT RYC) (EQ RTC RY) (EQ RTC RYC) (EQ RF RY) (EQ RF RYC)))
(Moves: (T6T6Y6T6) (Y6Y6Z6Y6Z6Y6Z6Y6))

(Stage no: 9)
(Target: ((EQ FT FB) (EQ FL FB) (EQ FTC FB) (EQ FR FB) (EQ FX FB) (EQ FXC FB) (EQ FB FYC) (EQ FB FY) (EQ BX BF) (EQ BXC BF) (EQ BF BYC) (EQ BF BY)))
(Moves: (X6X6Z6X6) (Y6T6T6Y6T6Y6) (Y6Z6Y6Y6) (X6X6Z6X6Y6Z6Y6Y6) (Z6Y6Z6Y6Y6) (Z6X6X6Z6X6) (Z6Z6X6X6Z6X6))

(Stage no: 10)
(Target: ((EQ LZ LX) (EQ LZ LXC) (EQ LZ LF) (EQ LZ LTC) (EQ LZ LT) (EQ LZC LX) (EQ LZC LXC) (EQ LZC LF) (EQ LZC LTC) (EQ LZC LT) (EQ BX BZC) (EQ BX BZ) (EQ BXC BZC) (EQ BXC BZ) (EQ BF BZC) (EQ BF BZ) (EQ BYC BZC) (EQ BYC BZ) (EQ BY BZC) (EQ BY BZ) (EQ RZ RT) (EQ RZ RTC) (EQ RZ RF) (EQ RZ RY) (EQ RZ RYC) (EQ RZC RT) (EQ RZC RTC) (EQ RZC RF) (EQ RZC RY) (EQ RZC RYC)))
(Moves: (Z6) (Z6Z6))

(Stage no: 11)
(Target: ((EQ LB LR) (EQ BL BR) (EQ RL RB)))
(Moves: (Y6Z6Y6Y6Z6Y6Z6Y6Y6) (Y6Z6T6T6Y6T6Y6Z6Y6Z6Y6Y6) (Z6Y6T6T6Y6T6Y6Z6X6X6Z6X6) (Y6Z6Y6Y6Z6X6X6Z6X6Y6T6T6Y6T6Y6) (Y6Z6Y6Y6Z6Z6Y6T6T6Y6T6Y6) (Y6Z6T6T6Y6T6Y6Z6Z6Y6T6T6Y6T6Y6) (X6X6Z6X6Y6Z6T6T6Y6T6Y6X6X6Z6X6Y6T6T6Y6T6Y6) (X6X6Z6X6Y6Z6T6T6Y6T6Y6Y6Z6Y6Y6) (Z6Z6Y6Z6Y6Y6X6X6Z6X6Z6Y6Z6Y6Y6) (Z6X6X6Z6X6Y6Z6Y6Y6Z6X6X6Z6X6Y6Z6Y6Y6) (Z6Z6Y6Z6Y6Y6Z6X6X6Z6X6Y6Z6T6T6Y6T6Y6))

(Stage no: 12)
(Target: ((EQ LZ LB) (EQ LZ LR) (EQ LB LZC) (EQ LB LX) (EQ LB LXC) (EQ LB LF) (EQ LB LTC) (EQ LB LT) (EQ LZC LR) (EQ LR LX) (EQ LR LXC) (EQ LR LF) (EQ LR LTC) (EQ LR LT) (EQ BX BL) (EQ BX BR) (EQ BXC BL) (EQ BXC BR) (EQ BF BL) (EQ BF BR) (EQ BYC BL) (EQ BYC BR) (EQ BY BL) (EQ BY BR) (EQ BL BZC) (EQ BL BZ) (EQ BZC BR) (EQ BR BZ) (EQ RZ RL) (EQ RZ RB) (EQ RL RZC) (EQ RL RT) (EQ RL RTC) (EQ RL RF) (EQ RL RY) (EQ RL RYC) (EQ RZC RB) (EQ RB RT) (EQ RB RTC) (EQ RB RF) (EQ RB RY) (EQ RB RYC)))
(Moves: (Y6Z6Y6Y6Z6Y6Z6Y6Y6) (Y6Z6Y6Y6Z6X6X6Z6X6Y6T6T6Y6T6Y6))

(Processor Time: 36 sec.)
