;;; rumin-topo -- complete validated solution, 101 actions.
;;; SUCCESS-P T; GOAL-CHECKED-P T; GOAL-SATISFIED-P T; solution validators accepted
;;; To re-validate: (stage rumin-topo), then evaluate this form separately.
(validate-solution :verbose
  (1 (start-recorder > agent1 starts the recorder))
  (2 (move > agent1* moves via ((walk location3 nil location2))))
  (3 (pickup-tray > agent1* picks up tray1* at location2 from location2))
  (4 (move > agent1 moves via ((walk location3 nil location2) (stairs location2 (staircase1) location4) (walk location4 nil location13))))
  (5 (pickup-connector > agent1 picks up connector1 at location13))
  (6 (move > agent1 moves via ((walk location13 nil location4))))
  (7 (connect-connector > agent1 connects connector1 on tray1* to (connector1* transmitter1) at location2))
  (8 (move > agent1 moves via ((stairs location4 (staircase1) location2))))
  (9 (pickup-tray > agent1 picks up tray1 at location2 from location2))
  (10 (move > agent1 moves via ((stairs location2 (staircase1) location4) (walk location4 nil location13) (stairs location13 (staircase2) location17) (walk location17 (gate1) location1))))
  (11 (move > agent1* moves via ((stairs location2 (staircase1) location4) (walk location4 nil location13) (stairs location13 (staircase2) location17))))
  (12 (move > agent1 moves via ((walk location1 (gate2) location6))))
  (13 (put-tray > agent1 puts tray1 on plate1 at location6))
  (14 (move > agent1 moves via ((walk location6 (gate3) location7))))
  (15 (pickup-box > agent1 picks up box1 at location7 from location7))
  (16 (move > agent1 moves via ((walk location7 (gate3) location6) (walk location6 (gate2) location1))))
  (17 (move > agent1 moves via ((walk location1 nil location11) (walk location11 nil location8))))
  (18 (put-box > agent1 puts box1 on ground at location8))
  (19 (move > agent1 moves via ((walk location8 nil location11) (walk location11 nil location1) (walk location1 (gate2) location6))))
  (20 (pickup-tray > agent1 picks up tray1 at location6 from location6))
  (21 (move > agent1 moves via ((walk location6 (gate2) location1) (walk location1 nil location11) (walk location11 nil location8))))
  (22 (move > agent1 moves via ((jump (location8 ground) nil (location8 box1)))))
  (23 (move > agent1 moves via ((jump (location8 box1) (edge4) (location9 ground)))))
  (24 (put-tray > agent1 puts tray1 on plate2 at location9))
  (25 (move > agent1 moves via ((stairs location9 (gate4 staircase3) location10))))
  (26 (pickup-connector > agent1 picks up connector2 at location10))
  (27 (move > agent1 moves via ((stairs location10 (gate4 staircase3) location9) (jump location9 (edge4) location8))))
  (28 (move > agent1* moves via ((stairs location17 (staircase2) location13) (walk location13 nil location4) (stairs location4 (staircase1) location2))))
  (29 (move > agent1 moves via ((walk location8 nil location11) (walk location11 nil location1) (walk location1 (gate1) location17))))
  (30 (connect-connector > agent1 connects connector2 on ground to (connector1 receiver1) at location17))
  (31 (move > agent1 moves via ((walk location17 (gate1) location1) (walk location1 nil location11) (walk location11 nil location8))))
  (32 (pickup-box > agent1 picks up box1 at location8 from location8))
  (33 (move > agent1 moves via ((walk location8 nil location11) (walk location11 nil location1) (walk location1 (gate1) location17) (stairs location17 (staircase2) location13) (walk location13 nil location4) (stairs location4 (staircase1) location2))))
  (34 (put-box > agent1 puts box1 on ground at location2))
  (35 (move > agent1 moves via ((stairs location2 (staircase1) location4))))
  (36 (pickup-connector > agent1 picks up connector1 at location4))
  (37 (connect-connector > agent1 connects connector1 on box1 to (connector2 transmitter1) at location2))
  (38 (put-tray > agent1* puts tray1* on ground at location2))
  (39 (move > agent1* moves via ((walk location2 nil location3))))
  (40 (stop-recorder > agent1* stops the recorder))
  (41 (move > agent1 moves via ((stairs location4 (staircase1) location2) (walk location2 nil location3))))
  (42 (start-recorder > agent1 starts the recorder))
  (43 (move > agent1 moves via ((walk location3 nil location2) (stairs location2 (staircase1) location4))))
  (44 (pickup-connector > agent1 picks up connector1 at location4))
  (45 (put-connector > agent1 puts connector1 on ground without pairings at location4))
  (46 (move > agent1 moves via ((stairs location4 (staircase1) location2))))
  (47 (pickup-box > agent1 picks up box1 at location2 from location2))
  (48 (move > agent1 moves via ((stairs location2 (staircase1) location4) (walk location4 nil location13) (stairs location13 (staircase2) location17) (walk location17 (gate1) location1) (walk location1 nil location11) (walk location11 nil location8))))
  (49 (put-box > agent1 puts box1 on ground at location8))
  (50 (move > agent1 moves via ((jump (location8 ground) nil (location8 box1)))))
  (51 (move > agent1 moves via ((jump (location8 box1) (edge4) (location9 ground)))))
  (52 (pickup-tray > agent1 picks up tray1 at location9 from location9))
  (53 (move > agent1 moves via ((jump location9 (edge4) location8) (walk location8 nil location11) (walk location11 nil location12))))
  (54 (put-tray > agent1 puts tray1 on plate3 at location12))
  (55 (move > agent1 moves via ((walk location12 nil location11) (walk location11 nil location8))))
  (56 (pickup-box > agent1 picks up box1 at location8 from location8))
  (57 (move > agent1 moves via ((walk location8 nil location11) (walk location11 nil location1) (walk location1 (gate1) location17) (stairs location17 (staircase2) location13) (walk location13 nil location4) (stairs location4 (staircase1) location2))))
  (58 (put-box > agent1 puts box1 on ground at location2))
  (59 (move > agent1 moves via ((stairs location2 (staircase1) location4))))
  (60 (pickup-connector > agent1 picks up connector1 at location4))
  (61 (connect-connector > agent1 connects connector1 on box1 to (connector2 transmitter1) at location2))
  (62 (stop-recorder > agent1* stops the recorder))
  (63 (move > agent1 moves via ((stairs location4 (staircase1) location2) (walk location2 nil location3))))
  (64 (start-recorder > agent1 starts the recorder))
  (65 (move > agent1 moves via ((walk location3 nil location2) (stairs location2 (staircase1) location4))))
  (66 (pickup-connector > agent1 picks up connector1 at location4))
  (67 (put-connector > agent1 puts connector1 on ground without pairings at location4))
  (68 (move > agent1 moves via ((stairs location4 (staircase1) location2))))
  (69 (pickup-box > agent1 picks up box1 at location2 from location2))
  (70 (move > agent1 moves via ((stairs location2 (staircase1) location4) (walk location4 nil location13) (stairs location13 (staircase2) location17) (walk location17 (gate1) location1) (walk location1 nil location11) (walk location11 nil location8))))
  (71 (put-box > agent1 puts box1 on ground at location8))
  (72 (move > agent1 moves via ((walk location8 nil location11) (walk location11 nil location1) (walk location1 (gate1) location17))))
  (73 (pickup-connector > agent1 picks up connector2 at location17))
  (74 (move > agent1 moves via ((walk location17 (gate1) location1) (walk location1 nil location11))))
  (75 (connect-connector > agent1 connects connector2 on ground to (receiver2) at location11))
  (76 (move > agent1 moves via ((walk location11 nil location1) (walk location1 (gate1) location17) (stairs location17 (staircase2) location13) (walk location13 nil location4))))
  (77 (pickup-connector > agent1 picks up connector1 at location4))
  (78 (move > agent1 moves via ((walk location4 nil location13) (stairs location13 (staircase2) location17) (walk location17 (gate1) location1) (walk location1 nil location11) (walk location11 nil location8))))
  (79 (move > agent1 moves via ((jump (location8 ground) nil (location8 box1)))))
  (80 (move > agent1 moves via ((jump (location8 box1) (edge4) (location9 ground)))))
  (81 (connect-connector > agent1 connects connector1 on plate2 to (connector1* connector2) at location9))
  (82 (move > agent1* moves via ((walk location3 nil location2))))
  (83 (pickup-connector > agent1* picks up connector1* at location2))
  (84 (connect-connector > agent1* connects connector1* on box1* to (transmitter2) at location2))
  (85 (pickup-connector > agent1 picks up connector1 at location9))
  (86 (connect-connector > agent1 connects connector1 on plate2 to (connector1* connector2) at location9))
  (87 (move > agent1 moves via ((jump location9 (edge4) location8))))
  (88 (pickup-box > agent1 picks up box1 at location8 from location8))
  (89 (move > agent1 moves via ((walk location8 nil location11) (walk location11 (gate5) location14))))
  (90 (put-box > agent1 puts box1 on ground at location14))
  (91 (move > agent1 moves via ((walk location14 (gate5) location11) (walk location11 nil location12))))
  (92 (pickup-tray > agent1 picks up tray1 at location12 from location12))
  (93 (move > agent1 moves via ((walk location12 nil location11) (walk location11 (gate5) location14))))
  (94 (move > agent1 moves via ((jump (location14 ground) nil (location14 box1)))))
  (95 (put-tray > agent1 puts tray1 on ground at location5))
  (96 (move > agent1 moves via ((jump (location14 box1) nil (location14 ground)))))
  (97 (move > agent1 moves via ((ladder location14 (ladder2) location5))))
  (98 (pickup-tray > agent1 picks up tray1 at location5 from location5))
  (99 (move > agent1 moves via ((walk location5 nil location15))))
  (100 (put-tray > agent1 puts tray1 on plate4 at location15))
  (101 (move > agent1 moves via ((walk location15 (gate6) location16)))))

Final state:
  Time: 101.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER2)
    (COLOR CONNECTOR1* RED)
    (COLOR CONNECTOR1 RED)
    (COLOR CONNECTOR2 RED)
    (DEPRESSED PLATE3)
    (DEPRESSED PLATE2)
    (DEPRESSED PLATE4)
    (HAS-LOCATION AGENT1 LOCATION16)
    (HAS-LOCATION TRAY1 LOCATION15)
    (HAS-LOCATION AGENT1* LOCATION2)
    (HAS-LOCATION BOX1* LOCATION2)
    (HAS-LOCATION CONNECTOR2* LOCATION17)
    (HAS-LOCATION TRAY1* LOCATION12)
    (HAS-LOCATION CONNECTOR2 LOCATION11)
    (HAS-LOCATION CONNECTOR1* LOCATION2)
    (HAS-LOCATION CONNECTOR1 LOCATION9)
    (HAS-LOCATION BOX1 LOCATION14)
    (ON TRAY1* PLATE3)
    (ON CONNECTOR1* BOX1*)
    (ON CONNECTOR1 PLATE2)
    (ON TRAY1 PLATE4)
    (OPEN GATE2)
    (OPEN GATE4)
    (OPEN GATE5)
    (OPEN GATE6)
    (PAIRED CONNECTOR2* RECEIVER1)
    (PAIRED CONNECTOR2 RECEIVER2)
    (PAIRED CONNECTOR1* TRANSMITTER2)
    (PAIRED CONNECTOR1 CONNECTOR1*)
    (PAIRED CONNECTOR1 CONNECTOR2)
    (RECORDER-CYCLES-USED 3)
    (RECORDING-DEPRESSED PLATE3)
    (RECORDING-IN-PROGRESS)
    (RECORDING-OPEN GATE2)

