(define (problem p01)
  (:domain cooperate_sequential_gripper)

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

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

  (:goal
    (and
      (at object1 room5)
      (at object2 room8)
      (at object3 room8)
      (at object4 room4)
      (at object5 room7)
      (at object6 room8)
      (at object7 room5)
      (at object8 room4)
      (at-robby robot2 room4)
    )
  )
)