(define (problem depot-4-6-7-10-10-10) (:domain depots)
(:objects
	depot0 depot1 depot2 depot3 - Depot
	distributor0 distributor1 distributor2 distributor3 distributor4 distributor5 - Distributor
	truck0 truck1 truck2 truck3 truck4 truck5 truck6 - Truck
	pallet0 pallet1 pallet2 pallet3 pallet4 pallet5 pallet6 pallet7 pallet8 pallet9 - Pallet
	crate0 crate1 crate2 crate3 crate4 crate5 crate6 crate7 crate8 crate9 - Crate
	hoist0 hoist1 hoist2 hoist3 hoist4 hoist5 hoist6 hoist7 hoist8 hoist9 - Hoist)
(:init
	(at pallet0 depot0)
	(clear crate4)
	(at pallet1 depot1)
	(clear pallet1)
	(at pallet2 depot2)
	(clear crate0)
	(at pallet3 depot3)
	(clear crate8)
	(at pallet4 distributor0)
	(clear pallet4)
	(at pallet5 distributor1)
	(clear pallet5)
	(at pallet6 distributor2)
	(clear crate3)
	(at pallet7 distributor3)
	(clear pallet7)
	(at pallet8 distributor4)
	(clear crate7)
	(at pallet9 distributor5)
	(clear crate9)
	(at truck0 distributor2)
	(at truck1 distributor3)
	(at truck2 distributor0)
	(at truck3 depot1)
	(at truck4 depot2)
	(at truck5 distributor5)
	(at truck6 depot0)
	(at hoist0 depot0)
	(available hoist0)
	(at hoist1 depot1)
	(available hoist1)
	(at hoist2 depot2)
	(available hoist2)
	(at hoist3 depot3)
	(available hoist3)
	(at hoist4 distributor0)
	(available hoist4)
	(at hoist5 distributor1)
	(available hoist5)
	(at hoist6 distributor2)
	(available hoist6)
	(at hoist7 distributor3)
	(available hoist7)
	(at hoist8 distributor4)
	(available hoist8)
	(at hoist9 distributor5)
	(available hoist9)
	(at crate0 depot2)
	(on crate0 pallet2)
	(at crate1 distributor4)
	(on crate1 pallet8)
	(at crate2 depot0)
	(on crate2 pallet0)
	(at crate3 distributor2)
	(on crate3 pallet6)
	(at crate4 depot0)
	(on crate4 crate2)
	(at crate5 distributor4)
	(on crate5 crate1)
	(at crate6 distributor4)
	(on crate6 crate5)
	(at crate7 distributor4)
	(on crate7 crate6)
	(at crate8 depot3)
	(on crate8 pallet3)
	(at crate9 distributor5)
	(on crate9 pallet9)
)

(:goal (and
		(on crate0 crate6)
		(on crate1 pallet8)
		(on crate2 crate7)
		(on crate3 crate1)
		(on crate4 pallet2)
		(on crate5 crate2)
		(on crate6 pallet1)
		(on crate7 crate4)
		(on crate9 pallet7)
	)
))
