problemVeryBig3.pddl

(define (problem problem_huge_maze)
(:domain maze)

;map


;    j0
;    :
;    :
;    j1---j2---j3---j4---j5---j6---j7---j8---j9---j10
;    |    |    |    |    |    |    |    |    |    |
;   j11--j12--j13--j14--j15--j16--j17--j18--j19--j20
;    |    |    |    |    |    |    |    |    |    |
;   j21--j22--j23--j24--j25--j26--j27--j28--j29--j30
;    |    |    |    |    |    |    |    |    |    |
;   j31--j32--j33--j34--j35--j36--j37--j38--j39--j40
;    |    |    |    |    |    |    |    |    |    |
;   j41--j42--j43--j44--j45--j46--j47--j48--j49--j50
;    |    |    |    |    |    |    |    |    |    |
;   j51--j52--j53--j54--j55--j56--j57--j58--j59--j60
;    |    |    |    |    |    |    |    |    |    |
;   j61--j62--j63--j64--j65--j66--j67--j68--j69--j70
;    |    |    |    |    |    |    |    |    |    |
;   j71--j72--j73--j74--j75--j76--j77--j78--j79--j80
;    |    |    |    |    |    |    |    |    |    |
;   j81--j82--j83--j84--j85--j86--j87--j78--j89--j90
;    |    |    |    |    |    |    |    |    |    |
;   j91--j92--j93--j94--j95--j96--j97--j97--j99--j100
;                                                 |
;                                                 |
;                                                j101

(:objects
    j0 j1 j2 j3 j4 j5 j6 j7 j8 j9 j10 j11 j12 j13 j14 j15 j16 j17 j18 j19 j20 j21 j22 j23 j24 j25 j26 j27 j28 j29 j30 j31 j32 j33 j34 j35 j36 j37 j38 j39 j40 j41 j42 j43 j44 j45 j46 j47 j48 j49 j50 j51 j52 j53 j54 j55 j56 j57 j58 j59 j60 j61 j62 j63 j64 j65 j66 j67 j68 j69 j70 j71 j72 j73 j74 j75 j76 j77 j78 j79 j80 j81 j82 j83 j84 j85 j86 j87 j88 j89 j90 j91 j92 j93 j94 j95 j96 j97 j98 j99 j100 j101 - Junction
    p - Player
    m1 m2 m3 m4 m5 - Monster
    specialItem - Item
    in - Inventory
    s - Shield
    k1 - Key
    b - Box
    f - Floor
    g1 g2 g3 - Gold
    apple banana carrot - Food
    sword - Weapon
    v - Vendor
)


(:init
    
    (= playerHealth 63)
    (= playerWealth 0)
    (= monstersSlain 0)
    (= inventoryCount 0)
    (= maxInventorySize 5)

    (on p f)
    (on specialItem f)
    (on k1 f)
    (on g1 f)
    (on g2 f)
    (on g3 f)
    (on sword f)
    (on apple f)
    (on banana f)
    (on carrot f)
    (on m1 f)
    (on m2 f)
    (on m3 f)
    (on m4 f)
    (on m5 f)

    ;map
 
    (isLocked j1 j0)
    (isConnected j0 j1)
    (= (distanceBetweenJunctions j0 j1) 1)    (= (distanceBetweenJunctions j1 j0) 1)

    (isConnected j1 j2)    (isConnected j2 j1)
    (= (distanceBetweenJunctions j1 j2 ) 1)    (= (distanceBetweenJunctions j2 j1 ) 1)


    (isConnected j2 j3)    (isConnected j3 j2)
    (= (distanceBetweenJunctions j2 j3 ) 1)    (= (distanceBetweenJunctions j3 j2 ) 1)


    (isConnected j3 j4)    (isConnected j4 j3)
    (= (distanceBetweenJunctions j3 j4 ) 1)    (= (distanceBetweenJunctions j4 j3 ) 1)


    (isConnected j4 j5)    (isConnected j5 j4)
    (= (distanceBetweenJunctions j4 j5 ) 1)    (= (distanceBetweenJunctions j5 j4 ) 1)


    (isConnected j5 j6)    (isConnected j6 j5)
    (= (distanceBetweenJunctions j5 j6 ) 1)    (= (distanceBetweenJunctions j6 j5 ) 1)


    (isConnected j6 j7)    (isConnected j7 j6)
    (= (distanceBetweenJunctions j6 j7 ) 1)    (= (distanceBetweenJunctions j7 j6 ) 1)


    (isConnected j7 j8)    (isConnected j8 j7)
    (= (distanceBetweenJunctions j7 j8 ) 1)    (= (distanceBetweenJunctions j8 j7 ) 1)


    (isConnected j8 j9)    (isConnected j9 j8)
    (= (distanceBetweenJunctions j8 j9 ) 1)    (= (distanceBetweenJunctions j9 j8 ) 1)


    (isConnected j9 j10)    (isConnected j10 j9)
    (= (distanceBetweenJunctions j9 j10 ) 1)    (= (distanceBetweenJunctions j10 j9 ) 1)


    (isConnected j1 j11)    (isConnected j11 j1)
    (= (distanceBetweenJunctions j1 j11 ) 1)    (= (distanceBetweenJunctions j11 j1 ) 1)


    (isConnected j2 j12)    (isConnected j12 j2)
    (= (distanceBetweenJunctions j2 j12 ) 1)    (= (distanceBetweenJunctions j12 j2 ) 1)


    (isConnected j3 j13)    (isConnected j13 j3)
    (= (distanceBetweenJunctions j3 j13 ) 1)    (= (distanceBetweenJunctions j13 j3 ) 1)


    (isConnected j4 j14)    (isConnected j14 j4)
    (= (distanceBetweenJunctions j4 j14 ) 1)    (= (distanceBetweenJunctions j14 j4 ) 1)


    (isConnected j5 j15)    (isConnected j15 j5)
    (= (distanceBetweenJunctions j5 j15 ) 1)    (= (distanceBetweenJunctions j15 j5 ) 1)


    (isConnected j6 j16)    (isConnected j16 j6)
    (= (distanceBetweenJunctions j6 j16 ) 1)    (= (distanceBetweenJunctions j16 j6 ) 1)


    (isConnected j7 j17)    (isConnected j17 j7)
    (= (distanceBetweenJunctions j7 j17 ) 1)    (= (distanceBetweenJunctions j17 j7 ) 1)


    (isConnected j8 j18)    (isConnected j18 j8)
    (= (distanceBetweenJunctions j8 j18 ) 1)    (= (distanceBetweenJunctions j18 j8 ) 1)


    (isConnected j9 j19)    (isConnected j19 j9)
    (= (distanceBetweenJunctions j9 j19 ) 1)    (= (distanceBetweenJunctions j19 j9 ) 1)





    (isConnected j11 j12)    (isConnected j12 j11)
    (= (distanceBetweenJunctions j11 j12 ) 1)    (= (distanceBetweenJunctions j12 j11 ) 1)


    (isConnected j12 j13)    (isConnected j13 j12)
    (= (distanceBetweenJunctions j12 j13 ) 1)    (= (distanceBetweenJunctions j13 j12 ) 1)


    (isConnected j13 j14)    (isConnected j14 j13)
    (= (distanceBetweenJunctions j13 j14 ) 1)    (= (distanceBetweenJunctions j14 j13 ) 1)


    (isConnected j14 j15)    (isConnected j15 j14)
    (= (distanceBetweenJunctions j14 j15 ) 1)    (= (distanceBetweenJunctions j15 j14 ) 1)


    (isConnected j15 j16)    (isConnected j16 j15)
    (= (distanceBetweenJunctions j15 j16 ) 1)    (= (distanceBetweenJunctions j16 j15 ) 1)


    (isConnected j16 j17)    (isConnected j17 j16)
    (= (distanceBetweenJunctions j16 j17 ) 1)    (= (distanceBetweenJunctions j17 j16 ) 1)


    (isConnected j17 j18)    (isConnected j18 j17)
    (= (distanceBetweenJunctions j17 j18 ) 1)    (= (distanceBetweenJunctions j18 j17 ) 1)


    (isConnected j18 j19)    (isConnected j19 j18)
    (= (distanceBetweenJunctions j18 j19 ) 1)    (= (distanceBetweenJunctions j19 j18 ) 1)


    (isConnected j19 j20)    (isConnected j20 j19)
    (= (distanceBetweenJunctions j19 j20 ) 1)    (= (distanceBetweenJunctions j20 j19 ) 1)


    (isConnected j10 j20)    (isConnected j20 j10)
    (= (distanceBetweenJunctions j10 j20 ) 1)    (= (distanceBetweenJunctions j20 j10 ) 1)


    (isConnected j11 j21)    (isConnected j21 j11)
    (= (distanceBetweenJunctions j11 j21 ) 1)    (= (distanceBetweenJunctions j21 j11 ) 1)


    (isConnected j12 j22)    (isConnected j22 j12)
    (= (distanceBetweenJunctions j12 j22 ) 1)    (= (distanceBetweenJunctions j22 j12 ) 1)


    (isConnected j13 j23)    (isConnected j23 j13)
    (= (distanceBetweenJunctions j13 j23 ) 1)    (= (distanceBetweenJunctions j23 j13 ) 1)


    (isConnected j14 j24)    (isConnected j24 j14)
    (= (distanceBetweenJunctions j14 j24 ) 1)    (= (distanceBetweenJunctions j24 j14 ) 1)


    (isConnected j15 j25)    (isConnected j25 j15)
    (= (distanceBetweenJunctions j15 j25 ) 1)    (= (distanceBetweenJunctions j25 j15 ) 1)


    (isConnected j16 j26)    (isConnected j26 j16)
    (= (distanceBetweenJunctions j16 j26 ) 1)    (= (distanceBetweenJunctions j26 j16 ) 1)


    (isConnected j17 j27)    (isConnected j27 j17)
    (= (distanceBetweenJunctions j17 j27 ) 1)    (= (distanceBetweenJunctions j27 j17 ) 1)


    (isConnected j18 j28)    (isConnected j28 j18)
    (= (distanceBetweenJunctions j18 j28 ) 1)    (= (distanceBetweenJunctions j28 j18 ) 1)


    (isConnected j19 j29)    (isConnected j29 j19)
    (= (distanceBetweenJunctions j19 j29 ) 1)    (= (distanceBetweenJunctions j29 j19 ) 1)





    (isConnected j21 j22)    (isConnected j22 j21)
    (= (distanceBetweenJunctions j21 j22 ) 1)    (= (distanceBetweenJunctions j22 j21 ) 1)


    (isConnected j22 j23)    (isConnected j23 j22)
    (= (distanceBetweenJunctions j22 j23 ) 1)    (= (distanceBetweenJunctions j23 j22 ) 1)


    (isConnected j23 j24)    (isConnected j24 j23)
    (= (distanceBetweenJunctions j23 j24 ) 1)    (= (distanceBetweenJunctions j24 j23 ) 1)


    (isConnected j24 j25)    (isConnected j25 j24)
    (= (distanceBetweenJunctions j24 j25 ) 1)    (= (distanceBetweenJunctions j25 j24 ) 1)


    (isConnected j25 j26)    (isConnected j26 j25)
    (= (distanceBetweenJunctions j25 j26 ) 1)    (= (distanceBetweenJunctions j26 j25 ) 1)


    (isConnected j26 j27)    (isConnected j27 j26)
    (= (distanceBetweenJunctions j26 j27 ) 1)    (= (distanceBetweenJunctions j27 j26 ) 1)


    (isConnected j27 j28)    (isConnected j28 j27)
    (= (distanceBetweenJunctions j27 j28 ) 1)    (= (distanceBetweenJunctions j28 j27 ) 1)


    (isConnected j28 j29)    (isConnected j29 j28)
    (= (distanceBetweenJunctions j28 j29 ) 1)    (= (distanceBetweenJunctions j29 j28 ) 1)


    (isConnected j29 j30)    (isConnected j30 j29)
    (= (distanceBetweenJunctions j29 j30 ) 1)    (= (distanceBetweenJunctions j30 j29 ) 1)


    (isConnected j20 j30)    (isConnected j30 j20)
    (= (distanceBetweenJunctions j20 j30 ) 1)    (= (distanceBetweenJunctions j30 j20 ) 1)


    (isConnected j21 j31)    (isConnected j31 j21)
    (= (distanceBetweenJunctions j21 j31 ) 1)    (= (distanceBetweenJunctions j31 j21 ) 1)


    (isConnected j22 j32)    (isConnected j32 j22)
    (= (distanceBetweenJunctions j22 j32 ) 1)    (= (distanceBetweenJunctions j32 j22 ) 1)


    (isConnected j23 j33)    (isConnected j33 j23)
    (= (distanceBetweenJunctions j23 j33 ) 1)    (= (distanceBetweenJunctions j33 j23 ) 1)


    (isConnected j24 j34)    (isConnected j34 j24)
    (= (distanceBetweenJunctions j24 j34 ) 1)    (= (distanceBetweenJunctions j34 j24 ) 1)


    (isConnected j25 j35)    (isConnected j35 j25)
    (= (distanceBetweenJunctions j25 j35 ) 1)    (= (distanceBetweenJunctions j35 j25 ) 1)


    (isConnected j26 j36)    (isConnected j36 j26)
    (= (distanceBetweenJunctions j26 j36 ) 1)    (= (distanceBetweenJunctions j36 j26 ) 1)


    (isConnected j27 j37)    (isConnected j37 j27)
    (= (distanceBetweenJunctions j27 j37 ) 1)    (= (distanceBetweenJunctions j37 j27 ) 1)


    (isConnected j28 j38)    (isConnected j38 j28)
    (= (distanceBetweenJunctions j28 j38 ) 1)    (= (distanceBetweenJunctions j38 j28 ) 1)


    (isConnected j29 j39)    (isConnected j39 j29)
    (= (distanceBetweenJunctions j29 j39 ) 1)    (= (distanceBetweenJunctions j39 j29 ) 1)





    (isConnected j31 j32)    (isConnected j32 j31)
    (= (distanceBetweenJunctions j31 j32 ) 1)    (= (distanceBetweenJunctions j32 j31 ) 1)


    (isConnected j32 j33)    (isConnected j33 j32)
    (= (distanceBetweenJunctions j32 j33 ) 1)    (= (distanceBetweenJunctions j33 j32 ) 1)


    (isConnected j33 j34)    (isConnected j34 j33)
    (= (distanceBetweenJunctions j33 j34 ) 1)    (= (distanceBetweenJunctions j34 j33 ) 1)


    (isConnected j34 j35)    (isConnected j35 j34)
    (= (distanceBetweenJunctions j34 j35 ) 1)    (= (distanceBetweenJunctions j35 j34 ) 1)


    (isConnected j35 j36)    (isConnected j36 j35)
    (= (distanceBetweenJunctions j35 j36 ) 1)    (= (distanceBetweenJunctions j36 j35 ) 1)


    (isConnected j36 j37)    (isConnected j37 j36)
    (= (distanceBetweenJunctions j36 j37 ) 1)    (= (distanceBetweenJunctions j37 j36 ) 1)


    (isConnected j37 j38)    (isConnected j38 j37)
    (= (distanceBetweenJunctions j37 j38 ) 1)    (= (distanceBetweenJunctions j38 j37 ) 1)


    (isConnected j38 j39)    (isConnected j39 j38)
    (= (distanceBetweenJunctions j38 j39 ) 1)    (= (distanceBetweenJunctions j39 j38 ) 1)


    (isConnected j39 j40)    (isConnected j40 j39)
    (= (distanceBetweenJunctions j39 j40 ) 1)    (= (distanceBetweenJunctions j40 j39 ) 1)


    (isConnected j30 j40)    (isConnected j40 j30)
    (= (distanceBetweenJunctions j30 j40 ) 1)    (= (distanceBetweenJunctions j40 j30 ) 1)


    (isConnected j31 j41)    (isConnected j41 j31)
    (= (distanceBetweenJunctions j31 j41 ) 1)    (= (distanceBetweenJunctions j41 j31 ) 1)


    (isConnected j32 j42)    (isConnected j42 j32)
    (= (distanceBetweenJunctions j32 j42 ) 1)    (= (distanceBetweenJunctions j42 j32 ) 1)


    (isConnected j33 j43)    (isConnected j43 j33)
    (= (distanceBetweenJunctions j33 j43 ) 1)    (= (distanceBetweenJunctions j43 j33 ) 1)


    (isConnected j34 j44)    (isConnected j44 j34)
    (= (distanceBetweenJunctions j34 j44 ) 1)    (= (distanceBetweenJunctions j44 j34 ) 1)


    (isConnected j35 j45)    (isConnected j45 j35)
    (= (distanceBetweenJunctions j35 j45 ) 1)    (= (distanceBetweenJunctions j45 j35 ) 1)


    (isConnected j36 j46)    (isConnected j46 j36)
    (= (distanceBetweenJunctions j36 j46 ) 1)    (= (distanceBetweenJunctions j46 j36 ) 1)


    (isConnected j37 j47)    (isConnected j47 j37)
    (= (distanceBetweenJunctions j37 j47 ) 1)    (= (distanceBetweenJunctions j47 j37 ) 1)


    (isConnected j38 j48)    (isConnected j48 j38)
    (= (distanceBetweenJunctions j38 j48 ) 1)    (= (distanceBetweenJunctions j48 j38 ) 1)


    (isConnected j39 j49)    (isConnected j49 j39)
    (= (distanceBetweenJunctions j39 j49 ) 1)    (= (distanceBetweenJunctions j49 j39 ) 1)





    (isConnected j41 j42)    (isConnected j42 j41)
    (= (distanceBetweenJunctions j41 j42 ) 1)    (= (distanceBetweenJunctions j42 j41 ) 1)


    (isConnected j42 j43)    (isConnected j43 j42)
    (= (distanceBetweenJunctions j42 j43 ) 1)    (= (distanceBetweenJunctions j43 j42 ) 1)


    (isConnected j43 j44)    (isConnected j44 j43)
    (= (distanceBetweenJunctions j43 j44 ) 1)    (= (distanceBetweenJunctions j44 j43 ) 1)


    (isConnected j44 j45)    (isConnected j45 j44)
    (= (distanceBetweenJunctions j44 j45 ) 1)    (= (distanceBetweenJunctions j45 j44 ) 1)


    (isConnected j45 j46)    (isConnected j46 j45)
    (= (distanceBetweenJunctions j45 j46 ) 1)    (= (distanceBetweenJunctions j46 j45 ) 1)


    (isConnected j46 j47)    (isConnected j47 j46)
    (= (distanceBetweenJunctions j46 j47 ) 1)    (= (distanceBetweenJunctions j47 j46 ) 1)


    (isConnected j47 j48)    (isConnected j48 j47)
    (= (distanceBetweenJunctions j47 j48 ) 1)    (= (distanceBetweenJunctions j48 j47 ) 1)


    (isConnected j48 j49)    (isConnected j49 j48)
    (= (distanceBetweenJunctions j48 j49 ) 1)    (= (distanceBetweenJunctions j49 j48 ) 1)


    (isConnected j49 j50)    (isConnected j50 j49)
    (= (distanceBetweenJunctions j49 j50 ) 1)    (= (distanceBetweenJunctions j50 j49 ) 1)


    (isConnected j40 j50)    (isConnected j50 j40)
    (= (distanceBetweenJunctions j40 j50 ) 1)    (= (distanceBetweenJunctions j50 j40 ) 1)


    (isConnected j41 j51)    (isConnected j51 j41)
    (= (distanceBetweenJunctions j41 j51 ) 1)    (= (distanceBetweenJunctions j51 j41 ) 1)


    (isConnected j42 j52)    (isConnected j52 j42)
    (= (distanceBetweenJunctions j42 j52 ) 1)    (= (distanceBetweenJunctions j52 j42 ) 1)


    (isConnected j43 j53)    (isConnected j53 j43)
    (= (distanceBetweenJunctions j43 j53 ) 1)    (= (distanceBetweenJunctions j53 j43 ) 1)


    (isConnected j44 j54)    (isConnected j54 j44)
    (= (distanceBetweenJunctions j44 j54 ) 1)    (= (distanceBetweenJunctions j54 j44 ) 1)


    (isConnected j45 j55)    (isConnected j55 j45)
    (= (distanceBetweenJunctions j45 j55 ) 1)    (= (distanceBetweenJunctions j55 j45 ) 1)


    (isConnected j46 j56)    (isConnected j56 j46)
    (= (distanceBetweenJunctions j46 j56 ) 1)    (= (distanceBetweenJunctions j56 j46 ) 1)


    (isConnected j47 j57)    (isConnected j57 j47)
    (= (distanceBetweenJunctions j47 j57 ) 1)    (= (distanceBetweenJunctions j57 j47 ) 1)


    (isConnected j48 j58)    (isConnected j58 j48)
    (= (distanceBetweenJunctions j48 j58 ) 1)    (= (distanceBetweenJunctions j58 j48 ) 1)


    (isConnected j49 j59)    (isConnected j59 j49)
    (= (distanceBetweenJunctions j49 j59 ) 1)    (= (distanceBetweenJunctions j59 j49 ) 1)





    (isConnected j51 j52)    (isConnected j52 j51)
    (= (distanceBetweenJunctions j51 j52 ) 1)    (= (distanceBetweenJunctions j52 j51 ) 1)


    (isConnected j52 j53)    (isConnected j53 j52)
    (= (distanceBetweenJunctions j52 j53 ) 1)    (= (distanceBetweenJunctions j53 j52 ) 1)


    (isConnected j53 j54)    (isConnected j54 j53)
    (= (distanceBetweenJunctions j53 j54 ) 1)    (= (distanceBetweenJunctions j54 j53 ) 1)


    (isConnected j54 j55)    (isConnected j55 j54)
    (= (distanceBetweenJunctions j54 j55 ) 1)    (= (distanceBetweenJunctions j55 j54 ) 1)


    (isConnected j55 j56)    (isConnected j56 j55)
    (= (distanceBetweenJunctions j55 j56 ) 1)    (= (distanceBetweenJunctions j56 j55 ) 1)


    (isConnected j56 j57)    (isConnected j57 j56)
    (= (distanceBetweenJunctions j56 j57 ) 1)    (= (distanceBetweenJunctions j57 j56 ) 1)


    (isConnected j57 j58)    (isConnected j58 j57)
    (= (distanceBetweenJunctions j57 j58 ) 1)    (= (distanceBetweenJunctions j58 j57 ) 1)


    (isConnected j58 j59)    (isConnected j59 j58)
    (= (distanceBetweenJunctions j58 j59 ) 1)    (= (distanceBetweenJunctions j59 j58 ) 1)


    (isConnected j59 j60)    (isConnected j60 j59)
    (= (distanceBetweenJunctions j59 j60 ) 1)    (= (distanceBetweenJunctions j60 j59 ) 1)


    (isConnected j50 j60)    (isConnected j60 j50)
    (= (distanceBetweenJunctions j50 j60 ) 1)    (= (distanceBetweenJunctions j60 j50 ) 1)


    (isConnected j51 j61)    (isConnected j61 j51)
    (= (distanceBetweenJunctions j51 j61 ) 1)    (= (distanceBetweenJunctions j61 j51 ) 1)


    (isConnected j52 j62)    (isConnected j62 j52)
    (= (distanceBetweenJunctions j52 j62 ) 1)    (= (distanceBetweenJunctions j62 j52 ) 1)


    (isConnected j53 j63)    (isConnected j63 j53)
    (= (distanceBetweenJunctions j53 j63 ) 1)    (= (distanceBetweenJunctions j63 j53 ) 1)


    (isConnected j54 j64)    (isConnected j64 j54)
    (= (distanceBetweenJunctions j54 j64 ) 1)    (= (distanceBetweenJunctions j64 j54 ) 1)


    (isConnected j55 j65)    (isConnected j65 j55)
    (= (distanceBetweenJunctions j55 j65 ) 1)    (= (distanceBetweenJunctions j65 j55 ) 1)


    (isConnected j56 j66)    (isConnected j66 j56)
    (= (distanceBetweenJunctions j56 j66 ) 1)    (= (distanceBetweenJunctions j66 j56 ) 1)


    (isConnected j57 j67)    (isConnected j67 j57)
    (= (distanceBetweenJunctions j57 j67 ) 1)    (= (distanceBetweenJunctions j67 j57 ) 1)


    (isConnected j58 j68)    (isConnected j68 j58)
    (= (distanceBetweenJunctions j58 j68 ) 1)    (= (distanceBetweenJunctions j68 j58 ) 1)


    (isConnected j59 j69)    (isConnected j69 j59)
    (= (distanceBetweenJunctions j59 j69 ) 1)    (= (distanceBetweenJunctions j69 j59 ) 1)





    (isConnected j61 j62)    (isConnected j62 j61)
    (= (distanceBetweenJunctions j61 j62 ) 1)    (= (distanceBetweenJunctions j62 j61 ) 1)


    (isConnected j62 j63)    (isConnected j63 j62)
    (= (distanceBetweenJunctions j62 j63 ) 1)    (= (distanceBetweenJunctions j63 j62 ) 1)


    (isConnected j63 j64)    (isConnected j64 j63)
    (= (distanceBetweenJunctions j63 j64 ) 1)    (= (distanceBetweenJunctions j64 j63 ) 1)


    (isConnected j64 j65)    (isConnected j65 j64)
    (= (distanceBetweenJunctions j64 j65 ) 1)    (= (distanceBetweenJunctions j65 j64 ) 1)


    (isConnected j65 j66)    (isConnected j66 j65)
    (= (distanceBetweenJunctions j65 j66 ) 1)    ( = (distanceBetweenJunctions j66 j65 ) 1)


    (isConnected j66 j67)    (isConnected j67 j66)
    (= (distanceBetweenJunctions j66 j67 ) 1)    (= (distanceBetweenJunctions j67 j66 ) 1)


    (isConnected j67 j68)    (isConnected j68 j67)
    (= (distanceBetweenJunctions j67 j68 ) 1)    (= (distanceBetweenJunctions j68 j67 ) 1)


    (isConnected j68 j69)    (isConnected j69 j68)
    (= (distanceBetweenJunctions j68 j69 ) 1)    (= (distanceBetweenJunctions j69 j68 ) 1)


    (isConnected j69 j70)    (isConnected j70 j69)
    (= (distanceBetweenJunctions j69 j70 ) 1)    (= (distanceBetweenJunctions j70 j69 ) 1)


    (isConnected j60 j70)    (isConnected j70 j60)
    (= (distanceBetweenJunctions j60 j70 ) 1)    (= (distanceBetweenJunctions j70 j60 ) 1)


    (isConnected j61 j71)    (isConnected j71 j61)
    (= (distanceBetweenJunctions j61 j71 ) 1)    (= (distanceBetweenJunctions j71 j61 ) 1)


    (isConnected j62 j72)    (isConnected j72 j62)
    (= (distanceBetweenJunctions j62 j72 ) 1)    (= (distanceBetweenJunctions j72 j62 ) 1)


    (isConnected j63 j73)    (isConnected j73 j63)
    (= (distanceBetweenJunctions j63 j73 ) 1)    (= (distanceBetweenJunctions j73 j63 ) 1)


    (isConnected j64 j74)    (isConnected j74 j64)
    (= (distanceBetweenJunctions j64 j74 ) 1)    (= (distanceBetweenJunctions j74 j64 ) 1)


    (isConnected j65 j75)    (isConnected j75 j65)
    (= (distanceBetweenJunctions j65 j75 ) 1)    (= (distanceBetweenJunctions j75 j65 ) 1)


    (isConnected j66 j76)    (isConnected j76 j66)
    (= (distanceBetweenJunctions j66 j76 ) 1)    (= (distanceBetweenJunctions j76 j66 ) 1)


    (isConnected j67 j77)    (isConnected j77 j67)
    (= (distanceBetweenJunctions j67 j77 ) 1)    (= (distanceBetweenJunctions j77 j67 ) 1)


    (isConnected j68 j78)    (isConnected j78 j68)
    (= (distanceBetweenJunctions j68 j78 ) 1)    (= (distanceBetweenJunctions j78 j68 ) 1)


    (isConnected j69 j79)    (isConnected j79 j69)
    (= (distanceBetweenJunctions j69 j79 ) 1)    (= (distanceBetweenJunctions j79 j69 ) 1)





    (isConnected j71 j72)    (isConnected j72 j71)
    (= (distanceBetweenJunctions j71 j72 ) 1)    (= (distanceBetweenJunctions j72 j71 ) 1)


    (isConnected j72 j73)    (isConnected j73 j72)
    (= (distanceBetweenJunctions j72 j73 ) 1)    (= (distanceBetweenJunctions j73 j72 ) 1)


    (isConnected j73 j74)    (isConnected j74 j73)
    (= (distanceBetweenJunctions j73 j74 ) 1)    (= (distanceBetweenJunctions j74 j73 ) 1)


    (isConnected j74 j75)    (isConnected j75 j74)
    (= (distanceBetweenJunctions j74 j75 ) 1)    (= (distanceBetweenJunctions j75 j74 ) 1)


    (isConnected j75 j76)    (isConnected j76 j75)
    (= (distanceBetweenJunctions j75 j76 ) 1)    (= (distanceBetweenJunctions j76 j75 ) 1)


    (isConnected j76 j77)    (isConnected j77 j76)
    (= (distanceBetweenJunctions j76 j77 ) 1)    (= (distanceBetweenJunctions j77 j76 ) 1)


    (isConnected j77 j78)    (isConnected j78 j77)
    (= (distanceBetweenJunctions j77 j78 ) 1)    (= (distanceBetweenJunctions j78 j77 ) 1)


    (isConnected j78 j79)    (isConnected j79 j78)
    (= (distanceBetweenJunctions j78 j79 ) 1)    (= (distanceBetweenJunctions j79 j78 ) 1)


    (isConnected j79 j80)    (isConnected j80 j79)
    (= (distanceBetweenJunctions j79 j80 ) 1)    (= (distanceBetweenJunctions j80 j79 ) 1)


    (isConnected j70 j80)    (isConnected j80 j70)
    (= (distanceBetweenJunctions j70 j80 ) 1)    (= (distanceBetweenJunctions j80 j70 ) 1)


    (isConnected j71 j81)    (isConnected j81 j71)
    (= (distanceBetweenJunctions j71 j81 ) 1)    (= (distanceBetweenJunctions j81 j71 ) 1)


    (isConnected j72 j82)    (isConnected j82 j72)
    (= (distanceBetweenJunctions j72 j82 ) 1)    (= (distanceBetweenJunctions j82 j72 ) 1)


    (isConnected j73 j83)    (isConnected j83 j73)
    (= (distanceBetweenJunctions j73 j83 ) 1)    (= (distanceBetweenJunctions j83 j73 ) 1)


    (isConnected j74 j84)    (isConnected j84 j74)
    (= (distanceBetweenJunctions j74 j84 ) 1)    (= (distanceBetweenJunctions j84 j74 ) 1)


    (isConnected j75 j85)    (isConnected j85 j75)
    (= (distanceBetweenJunctions j75 j85 ) 1)    (= (distanceBetweenJunctions j85 j75 ) 1)


    (isConnected j76 j86)    (isConnected j86 j76)
    (= (distanceBetweenJunctions j76 j86 ) 1)    (= (distanceBetweenJunctions j86 j76 ) 1)


    (isConnected j77 j87)    (isConnected j87 j77)
    (= (distanceBetweenJunctions j77 j87 ) 1)    (= (distanceBetweenJunctions j87 j77 ) 1)


    (isConnected j78 j88)    (isConnected j88 j78)
    (= (distanceBetweenJunctions j78 j88 ) 1)    (= (distanceBetweenJunctions j88 j78 ) 1)


    (isConnected j79 j89)    (isConnected j89 j79)
    (= (distanceBetweenJunctions j79 j89 ) 1)    (= (distanceBetweenJunctions j89 j79 ) 1)





    (isConnected j81 j82)    (isConnected j82 j81)
    (= (distanceBetweenJunctions j81 j82 ) 1)    (= (distanceBetweenJunctions j82 j81 ) 1)


    (isConnected j82 j83)    (isConnected j83 j82)
    (= (distanceBetweenJunctions j82 j83 ) 1)    (= (distanceBetweenJunctions j83 j82 ) 1)


    (isConnected j83 j84)    (isConnected j84 j83)
    (= (distanceBetweenJunctions j83 j84 ) 1)    (= (distanceBetweenJunctions j84 j83 ) 1)


    (isConnected j84 j85)    (isConnected j85 j84)
    (= (distanceBetweenJunctions j84 j85 ) 1)    (= (distanceBetweenJunctions j85 j84 ) 1)


    (isConnected j85 j86)    (isConnected j86 j85)
    (= (distanceBetweenJunctions j85 j86 ) 1)    (= (distanceBetweenJunctions j86 j85 ) 1)


    (isConnected j86 j87)    (isConnected j87 j86)
    (= (distanceBetweenJunctions j86 j87 ) 1)    (= (distanceBetweenJunctions j87 j86 ) 1)


    (isConnected j87 j88)    (isConnected j88 j87)
    (= (distanceBetweenJunctions j87 j88 ) 1)    (= (distanceBetweenJunctions j88 j87 ) 1)


    (isConnected j88 j89)    (isConnected j89 j88)
    (= (distanceBetweenJunctions j88 j89 ) 1)    (= (distanceBetweenJunctions j89 j88 ) 1)


    (isConnected j89 j90)    (isConnected j90 j89)
    (= (distanceBetweenJunctions j89 j90 ) 1)    (= (distanceBetweenJunctions j90 j89 ) 1)


    (isConnected j80 j90)    (isConnected j90 j80)
    (= (distanceBetweenJunctions j80 j90 ) 1)    (= (distanceBetweenJunctions j90 j80 ) 1)


    (isConnected j81 j91)    (isConnected j91 j81)
    (= (distanceBetweenJunctions j81 j91 ) 1)    (= (distanceBetweenJunctions j91 j81 ) 1)


    (isConnected j82 j92)    (isConnected j92 j82)
    (= (distanceBetweenJunctions j82 j92 ) 1)    (= (distanceBetweenJunctions j92 j82 ) 1)


    (isConnected j83 j93)    (isConnected j93 j83)
    (= (distanceBetweenJunctions j83 j93 ) 1)    (= (distanceBetweenJunctions j93 j83 ) 1)


    (isConnected j84 j94)    (isConnected j94 j84)
    (= (distanceBetweenJunctions j84 j94 ) 1)    (= (distanceBetweenJunctions j94 j84 ) 1)


    (isConnected j85 j95)    (isConnected j95 j85)
    (= (distanceBetweenJunctions j85 j95 ) 1)    (= (distanceBetweenJunctions j95 j85 ) 1)


    (isConnected j86 j96)    (isConnected j96 j86)
    (= (distanceBetweenJunctions j86 j96 ) 1)    (= (distanceBetweenJunctions j96 j86 ) 1)


    (isConnected j87 j97)    (isConnected j97 j87)
    (= (distanceBetweenJunctions j87 j97 ) 1)    (= (distanceBetweenJunctions j97 j87 ) 1)


    (isConnected j88 j98)    (isConnected j98 j88)
    (= (distanceBetweenJunctions j88 j98 ) 1)    (= (distanceBetweenJunctions j98 j88 ) 1)


    (isConnected j89 j99)    (isConnected j99 j89)
    (= (distanceBetweenJunctions j89 j99 ) 1)    (= (distanceBetweenJunctions j99 j89 ) 1)





    (isConnected j91 j92)    (isConnected j92 j91)
    (= (distanceBetweenJunctions j91 j92 ) 1)    (= (distanceBetweenJunctions j92 j91 ) 1)


    (isConnected j92 j93)    (isConnected j93 j92)
    (= (distanceBetweenJunctions j92 j93 ) 1)    (= (distanceBetweenJunctions j93 j92 ) 1)


    (isConnected j93 j94)    (isConnected j94 j93)
    (= (distanceBetweenJunctions j93 j94 ) 1)    (= (distanceBetweenJunctions j94 j93 ) 1)


    (isConnected j94 j95)    (isConnected j95 j94)
    (= (distanceBetweenJunctions j94 j95 ) 1)    (= (distanceBetweenJunctions j95 j94 ) 1)


    (isConnected j95 j96)    (isConnected j96 j95)
    (= (distanceBetweenJunctions j95 j96 ) 1)    (= (distanceBetweenJunctions j96 j95 ) 1)


    (isConnected j96 j97)    (isConnected j97 j96)
    (= (distanceBetweenJunctions j96 j97 ) 1)    (= (distanceBetweenJunctions j97 j96 ) 1)


    (isConnected j97 j98)    (isConnected j98 j97)
    (= (distanceBetweenJunctions j97 j98 ) 1)    (= (distanceBetweenJunctions j98 j97 ) 1)


    (isConnected j98 j99)    (isConnected j99 j98)
    (= (distanceBetweenJunctions j98 j99 ) 1)    (= (distanceBetweenJunctions j99 j98 ) 1)


    (isConnected j99 j100)    (isConnected j100 j99)
    (= (distanceBetweenJunctions j99 j100 ) 1)    (= (distanceBetweenJunctions j100 j99 ) 1)


    (isConnected j90 j100)    (isConnected j100 j90)
    (= (distanceBetweenJunctions j90 j100 ) 1)    (= (distanceBetweenJunctions j100 j90 ) 1)


    (isConnected j100 j101)
    (isConnected j101 j100)
    (= (distanceBetweenJunctions j100 j101) 1)    (= (distanceBetweenJunctions j101 j100) 1)





    (= (weaponDamage sword) 1)
    (atLocation sword j2)

    ;food
    (atLocation apple j5)
    (= (foodValue apple) 3)

    (atLocation banana j13)
    (= (foodValue banana) 5)

    (atLocation carrot j19)
    (= (foodValue carrot) 5)

    (atLocation k1 j101)

    (atLocation specialItem j0)
    (atLocation p j1)

    (atLocation g1 j8)
    (atLocation g2 j12)
    (atLocation g3 j21)
    
    
)

;the player must retrieve the key from j101, then take
;the item from j0 to j101
(:goal (and
    (atLocation p j101)
    (atLocation specialItem j101)
))

)