(define (problem p01)
(:domain depots)
(:objects
        depot0 depot1 - Depot
        distributor0 distributor1 distributor2 - Distributor
        truck0 truck1 truck2 truck3 - Truck
        pallet0 pallet1 pallet2 pallet3 pallet4 - Pallet
        crate0 crate1 crate2 crate3 crate4 crate5 crate6 - Crate
        hoist0 hoist1 hoist2 hoist3 hoist4 hoist5 - Hoist)
(:init
        (at pallet0 depot0)
        (clear crate4)
        (at pallet1 depot1)
        (clear crate6)
        (at pallet2 distributor0)
        (clear crate5)
        (at pallet3 distributor1)
        (clear crate2)
        (at pallet4 distributor2)
        (clear crate1)
        (at truck0 depot0)
        (at truck1 distributor1)
        (at truck2 distributor2)
        (at truck3 depot0)
        (at hoist0 depot0)
        (available hoist0)
        (at hoist1 depot1)
        (available hoist1)
        (at hoist2 distributor0)
        (available hoist2)
        (at hoist3 distributor1)
        (available hoist3)
        (at hoist4 distributor2)
        (available hoist4)
        (at hoist5 distributor1)
        (available hoist5)
        (at crate0 distributor2)
        (on crate0 pallet4)
        (at crate1 distributor2)
        (on crate1 crate0)
        (at crate2 distributor1)
        (on crate2 pallet3)
        (at crate3 depot0)
        (on crate3 pallet0)
        (at crate4 depot0)
        (on crate4 crate3)
        (at crate5 distributor0)
        (on crate5 pallet2)
        (at crate6 depot1)
        (on crate6 pallet1)
)

(:goal (and
                (on crate1 pallet2)
                (on crate2 crate4)
                (on crate4 pallet1)
                (on crate6 pallet4)
        )
))