(define (problem casino) 
    (:domain casino)

    (:objects
    prize-1-1 - prize1
    prize-2-1 - prize2
    prize-3-1 - prize3
    prize-1-2 - prize1
    prize-2-2 - prize2
    prize-3-2 - prize3
    prize-1-3 - prize1
    prize-2-3 - prize2
    prize-3-3 - prize3
    prize-1-4 - prize1
    prize-2-4 - prize2
    prize-3-4 - prize3
    loc-0-0 - location
    loc-0-1 - location
    loc-0-2 - location
    loc-0-3 - location
    loc-0-4 - location
    loc-0-5 - location
    loc-0-6 - location
    loc-0-7 - location
    loc-0-8 - location
    loc-0-9 - location
    loc-1-0 - location
    loc-1-1 - location
    loc-1-2 - location
    loc-1-3 - location
    loc-1-4 - location
    loc-1-5 - location
    loc-1-6 - location
    loc-1-7 - location
    loc-1-8 - location
    loc-1-9 - location
    loc-2-0 - location
    loc-2-1 - location
    loc-2-2 - location
    loc-2-3 - location
    loc-2-4 - location
    loc-2-5 - location
    loc-2-6 - location
    loc-2-7 - location
    loc-2-8 - location
    loc-2-9 - location
    loc-3-0 - location
    loc-3-1 - location
    loc-3-2 - location
    loc-3-3 - location
    loc-3-4 - location
    loc-3-5 - location
    loc-3-6 - location
    loc-3-7 - location
    loc-3-8 - location
    loc-3-9 - location
    loc-4-0 - location
    loc-4-1 - location
    loc-4-2 - location
    loc-4-3 - location
    loc-4-4 - location
    loc-4-5 - location
    loc-4-6 - location
    loc-4-7 - location
    loc-4-8 - location
    loc-4-9 - location
    loc-5-0 - location
    loc-5-1 - location
    loc-5-2 - location
    loc-5-3 - location
    loc-5-4 - location
    loc-5-5 - location
    loc-5-6 - location
    loc-5-7 - location
    loc-5-8 - location
    loc-5-9 - location
    loc-6-0 - location
    loc-6-1 - location
    loc-6-2 - location
    loc-6-3 - location
    loc-6-4 - location
    loc-6-5 - location
    loc-6-6 - location
    loc-6-7 - location
    loc-6-8 - location
    loc-6-9 - location
    loc-7-0 - location
    loc-7-1 - location
    loc-7-2 - location
    loc-7-3 - location
    loc-7-4 - location
    loc-7-5 - location
    loc-7-6 - location
    loc-7-7 - location
    loc-7-8 - location
    loc-7-9 - location
    )

    (:init
    (At loc-0-0)
    (IsCasino loc-5-4)
    (GetPrize1 prize-1-1)
    (GetPrize1 prize-1-2)
    (GetPrize1 prize-1-3)
    (GetPrize1 prize-1-4)
    (GetPrize2 prize-2-1)
    (GetPrize2 prize-2-2)
    (GetPrize2 prize-2-3)
    (GetPrize2 prize-2-4)
    (GetPrize3 prize-3-1)
    (GetPrize3 prize-3-2)
    (GetPrize3 prize-3-3)
    (GetPrize3 prize-3-4)
    (MoveTo loc-0-0)
    (MoveTo loc-0-1)
    (MoveTo loc-0-2)
    (MoveTo loc-0-3)
    (MoveTo loc-0-4)
    (MoveTo loc-0-5)
    (MoveTo loc-0-6)
    (MoveTo loc-0-7)
    (MoveTo loc-0-8)
    (MoveTo loc-0-9)
    (MoveTo loc-1-0)
    (MoveTo loc-1-1)
    (MoveTo loc-1-2)
    (MoveTo loc-1-3)
    (MoveTo loc-1-4)
    (MoveTo loc-1-5)
    (MoveTo loc-1-6)
    (MoveTo loc-1-7)
    (MoveTo loc-1-8)
    (MoveTo loc-1-9)
    (MoveTo loc-2-0)
    (MoveTo loc-2-1)
    (MoveTo loc-2-2)
    (MoveTo loc-2-3)
    (MoveTo loc-2-4)
    (MoveTo loc-2-5)
    (MoveTo loc-2-6)
    (MoveTo loc-2-7)
    (MoveTo loc-2-8)
    (MoveTo loc-2-9)
    (MoveTo loc-3-0)
    (MoveTo loc-3-1)
    (MoveTo loc-3-2)
    (MoveTo loc-3-3)
    (MoveTo loc-3-4)
    (MoveTo loc-3-5)
    (MoveTo loc-3-6)
    (MoveTo loc-3-7)
    (MoveTo loc-3-8)
    (MoveTo loc-3-9)
    (MoveTo loc-4-0)
    (MoveTo loc-4-1)
    (MoveTo loc-4-2)
    (MoveTo loc-4-3)
    (MoveTo loc-4-4)
    (MoveTo loc-4-5)
    (MoveTo loc-4-6)
    (MoveTo loc-4-7)
    (MoveTo loc-4-8)
    (MoveTo loc-4-9)
    (MoveTo loc-5-0)
    (MoveTo loc-5-1)
    (MoveTo loc-5-2)
    (MoveTo loc-5-3)
    (MoveTo loc-5-4)
    (MoveTo loc-5-5)
    (MoveTo loc-5-6)
    (MoveTo loc-5-7)
    (MoveTo loc-5-8)
    (MoveTo loc-5-9)
    (MoveTo loc-6-0)
    (MoveTo loc-6-1)
    (MoveTo loc-6-2)
    (MoveTo loc-6-3)
    (MoveTo loc-6-4)
    (MoveTo loc-6-5)
    (MoveTo loc-6-6)
    (MoveTo loc-6-7)
    (MoveTo loc-6-8)
    (MoveTo loc-6-9)
    (MoveTo loc-7-0)
    (MoveTo loc-7-1)
    (MoveTo loc-7-2)
    (MoveTo loc-7-3)
    (MoveTo loc-7-4)
    (MoveTo loc-7-5)
    (MoveTo loc-7-6)
    (MoveTo loc-7-7)
    (MoveTo loc-7-8)
    (MoveTo loc-7-9)
    )

    (:goal (and (HavePrize1 prize-1-1) (HavePrize1 prize-1-2) (HavePrize1 prize-1-3) (HavePrize1 prize-1-4) (HavePrize2 prize-2-1) (HavePrize2 prize-2-2) (HavePrize2 prize-2-3) (HavePrize2 prize-2-4) (HavePrize3 prize-3-1) (HavePrize3 prize-3-2) (HavePrize3 prize-3-3) (HavePrize3 prize-3-4)))
)
    