(define (problem p42)
  (:domain cooperate_sequential_gripper)

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

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

  (:goal
    (and
      (at object1 room7)
      (at object2 room3)
      (at object3 room2)
      (at object4 room8)
      (at object5 room4)
      (at object6 room2)
      (at object7 room2)
      (at object8 room2)
      (at object9 room1)
      (at object10 room6)
      (at object11 room4)
      (at object12 room2)
      (at object13 room1)
      (at object14 room4)
      (at object15 room3)
      (at-robby robot4 room1)
    )
  )
)