(define (problem p07)
  (:domain cooperate_sequential_gripper)

  (:objects
        robot1 robot2 robot3 robot4 robot5 - gripper
        room2 room24 room8 room19 room9 room1 room7 room12 room4 room16 room23 room11 room6 room26 room13 room25 room10 room18 room5 room15 room3 room21 room17 room20 room22 room14 - room
        object1 object2 object3 object4 - object
  )

  (:init
        
        (at-robby robot1 room2)
        (room-occupied room2)
        (at-robby robot2 room24)
        (room-occupied room24)
        (at-robby robot3 room8)
        (room-occupied room8)
        (at-robby robot4 room19)
        (room-occupied room19)
        (at-robby robot5 room9)
        (room-occupied room9)
        (not (room-occupied room1))
        (not (room-occupied room7))
        (not (room-occupied room12))
        (not (room-occupied room4))
        (not (room-occupied room16))
        (not (room-occupied room23))
        (not (room-occupied room11))
        (not (room-occupied room6))
        (not (room-occupied room26))
        (not (room-occupied room13))
        (not (room-occupied room25))
        (not (room-occupied room10))
        (not (room-occupied room18))
        (not (room-occupied room5))
        (not (room-occupied room15))
        (not (room-occupied room3))
        (not (room-occupied room21))
        (not (room-occupied room17))
        (not (room-occupied room20))
        (not (room-occupied room22))
        (not (room-occupied room14))
        (at object1 room10)
        (at object2 room17)
        (at object3 room9)
        (at object4 room26)
        (can-activate robot5 object1)
        (can-handle robot5 object1)
        (can-activate robot4 object2)
        (can-handle robot4 object2)
        (can-activate robot3 object3)
        (can-handle robot3 object3)
        (can-activate robot4 object4)
        (can-handle robot4 object4)
        (free robot1)
        (free robot2)
        (free robot3)
        (free robot4)
        (free robot5)
  )

  (:goal
    (and
      (at object1 room10)
      (at object2 room23)
      (at object3 room14)
      (at object4 room18)
      (at-robby robot3 room18)
    )
  )
)