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

(There are 12 groups)
(selection is ((ne f1 f2) (ne b1 b2)))
(There are 9 groups)
(selection is ((ne f1 f3) (ne f2 f3) (ne b1 b3) (ne b2 b3)))
(There are 7 groups)
(selection is ((ne f1 f4) (ne f2 f4) (ne f3 f4) (ne b1 b4) (ne b2 b4) (ne b3 b4)))
(There are 6 groups)
(selection is ((ne r1 r2) (ne l1 l2)))
(There are 3 groups)
(selection is ((ne r1 r3) (ne r2 r3) (ne l1 l3) (ne l2 l3)))
(Problem: 0 stage: 1 refined into 6 subproblems)

(Problem: 0 Instant Instanity)
(Goal is: ((ne f1 f2) (ne f1 f3) (ne f1 f4) (ne f2 f3) (ne f2 f4) (ne f3 f4) (ne r1 r2) (ne r1 r3) (ne r1 r4) (ne r2 r3) (ne r2 r4) (ne r3 r4) (ne b1 b2) (ne b1 b3) (ne b1 b4) (ne b2 b3) (ne b2 b4) (ne b3 b4) (ne l1 l2) (ne l1 l3) (ne l1 l4) (ne l2 l3) (ne l2 l4) (ne l3 l4)))

(Strategy is:)
(Stage no: 1)
(Target: ((ne f1 f2) (ne b1 b2)))
(Moves: (orl1) (orl2) (otd1) (otd2))

(Stage no: 2)
(Target: ((ne f1 f3) (ne f2 f3) (ne b1 b3) (ne b2 b3)))
(Moves: (orl3) (otd3))

(Stage no: 3)
(Target: ((ne f1 f4) (ne f2 f4) (ne f3 f4) (ne b1 b4) (ne b2 b4) (ne b3 b4)))
(Moves: (orl4) (otd4))

(Stage no: 4)
(Target: ((ne r1 r2) (ne l1 l2)))
(Moves: (ofb1) (ofb2))

(Stage no: 5)
(Target: ((ne r1 r3) (ne r2 r3) (ne l1 l3) (ne l2 l3)))
(Moves: (ofb3))

(Stage no: 6)
(Target: ((ne r1 r4) (ne r2 r4) (ne r3 r4) (ne l1 l4) (ne l2 l4) (ne l3 l4)))
(Moves: (ofb4))

(Processor Time: 4 sec.)
(0 macros are generated)

(Problem: 0 Instant Instanity)
(Goal is: ((ne f1 f2) (ne f1 f3) (ne f1 f4) (ne f2 f3) (ne f2 f4) (ne f3 f4) (ne r1 r2) (ne r1 r3) (ne r1 r4) (ne r2 r3) (ne r2 r4) (ne r3 r4) (ne b1 b2) (ne b1 b3) (ne b1 b4) (ne b2 b3) (ne b2 b4) (ne b3 b4) (ne l1 l2) (ne l1 l3) (ne l1 l4) (ne l2 l3) (ne l2 l4) (ne l3 l4)))

(Strategy is:)
(Stage no: 1)
(Target: ((ne f1 f2) (ne b1 b2)))
(Moves: (orl1) (orl2) (otd1) (otd2))

(Stage no: 2)
(Target: ((ne f1 f3) (ne f2 f3) (ne b1 b3) (ne b2 b3)))
(Moves: (orl3) (otd3))

(Stage no: 3)
(Target: ((ne f1 f4) (ne f2 f4) (ne f3 f4) (ne b1 b4) (ne b2 b4) (ne b3 b4)))
(Moves: (orl4) (otd4))

(Stage no: 4)
(Target: ((ne r1 r2) (ne l1 l2)))
(Moves: (ofb1) (ofb2))

(Stage no: 5)
(Target: ((ne r1 r3) (ne r2 r3) (ne l1 l3) (ne l2 l3)))
(Moves: (ofb3))

(Stage no: 6)
(Target: ((ne r1 r4) (ne r2 r4) (ne r3 r4) (ne l1 l4) (ne l2 l4) (ne l3 l4)))
(Moves: (ofb4))

(Processor Time: 5 sec.)
