(define (problem p40)
  (:domain cooperate_sequential_gripper)

  (:objects
        robot1 robot2 robot3 - gripper
        room10 room6 room1 room15 room13 room9 room4 room2 room8 room3 room7 room5 room11 room14 room12 - room
        object1 object2 object3 object4 object5 object6 object7 - object
  )

  (:init
        
        (at-robby robot1 room10)
        (room-occupied room10)
        (at-robby robot2 room6)
        (room-occupied room6)
        (at-robby robot3 room1)
        (room-occupied room1)
        (not (room-occupied room15))
        (not (room-occupied room13))
        (not (room-occupied room9))
        (not (room-occupied room4))
        (not (room-occupied room2))
        (not (room-occupied room8))
        (not (room-occupied room3))
        (not (room-occupied room7))
        (not (room-occupied room5))
        (not (room-occupied room11))
        (not (room-occupied room14))
        (not (room-occupied room12))
        (at object1 room15)
        (at object2 room13)
        (at object3 room14)
        (at object4 room9)
        (at object5 room1)
        (at object6 room11)
        (at object7 room4)
        (can-activate robot2 object1)
        (can-handle robot2 object1)
        (can-activate robot2 object2)
        (can-handle robot2 object2)
        (can-activate robot2 object3)
        (can-handle robot2 object3)
        (can-activate robot3 object4)
        (can-handle robot3 object4)
        (can-activate robot3 object5)
        (can-handle robot3 object5)
        (can-activate robot2 object6)
        (can-handle robot2 object6)
        (can-activate robot3 object7)
        (can-handle robot3 object7)
        (free robot1)
        (free robot2)
        (free robot3)
  )

  (:goal
    (and
      (at object1 room8)
      (at object2 room7)
      (at object3 room8)
      (at object4 room1)
      (at object5 room12)
      (at object6 room12)
      (at object7 room8)
      (at-robby robot1 room8)
    )
  )
)