(define (problem p23)
  (:domain cooperate_sequential_gripper)

  (:objects
        robot1 robot2 robot3 robot4 robot5 robot6 robot7 - gripper
        room7 room5 room2 room3 room1 room4 room6 room8 - room
        object1 object2 object3 object4 object5 object6 object7 object8 object9 object10 - object
  )

  (:init
        
        (at-robby robot1 room7)
        (room-occupied room7)
        (at-robby robot2 room5)
        (room-occupied room5)
        (at-robby robot3 room2)
        (room-occupied room2)
        (at-robby robot4 room3)
        (room-occupied room3)
        (at-robby robot5 room1)
        (room-occupied room1)
        (at-robby robot6 room4)
        (room-occupied room4)
        (at-robby robot7 room6)
        (room-occupied room6)
        (not (room-occupied room8))
        (at object1 room4)
        (at object2 room4)
        (at object3 room2)
        (at object4 room4)
        (at object5 room4)
        (at object6 room7)
        (at object7 room5)
        (at object8 room6)
        (at object9 room2)
        (at object10 room5)
        (can-activate robot6 object1)
        (can-handle robot6 object1)
        (can-activate robot4 object2)
        (can-handle robot4 object2)
        (can-activate robot4 object3)
        (can-handle robot4 object3)
        (can-activate robot2 object4)
        (can-handle robot2 object4)
        (can-activate robot7 object5)
        (can-handle robot7 object5)
        (can-activate robot5 object6)
        (can-handle robot5 object6)
        (can-activate robot1 object7)
        (can-handle robot1 object7)
        (can-activate robot6 object8)
        (can-handle robot6 object8)
        (can-activate robot3 object9)
        (can-handle robot3 object9)
        (can-activate robot2 object10)
        (can-handle robot2 object10)
        (free robot1)
        (free robot2)
        (free robot3)
        (free robot4)
        (free robot5)
        (free robot6)
        (free robot7)
  )

  (:goal
    (and
      (at object1 room7)
      (at object2 room4)
      (at object3 room4)
      (at object4 room2)
      (at object5 room1)
      (at object6 room8)
      (at object7 room1)
      (at object8 room7)
      (at object9 room7)
      (at object10 room1)
      (at-robby robot3 room4)
    )
  )
)