(define (problem holes-07_05)
  (:domain holes)
  (:objects p1 p2 p3 p4 p5 p6 p7
	    h1 h2 h3 h4 h5)
  (:init 
   (out p1)
   (out p2)
   (out p3)
   (out p4)
   (out p5)
   (out p6)
   (out p7)
   (empty h1)
   (empty h2)
   (empty h3)
   (empty h4)
   (empty h5)
  )
  (:goal (and (placed p1)
	      (placed p2)
	      (placed p3)
	      (placed p4)
	      (placed p5)
	      (placed p6)
	      (placed p7)))
  )