


(define (problem logistics-c42-s4-p160-a15)
(:domain logistics)
(:objects a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 
          c0 c1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12 c13 c14 c15 c16 c17 c18 c19 c20 c21 c22 c23 c24 c25 c26 c27 c28 c29 c30 c31 c32 c33 c34 c35 c36 c37 c38 c39 c40 c41 
          t0 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17 t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 
          l00 l01 l02 l03 l10 l11 l12 l13 l20 l21 l22 l23 l30 l31 l32 l33 l40 l41 l42 l43 l50 l51 l52 l53 l60 l61 l62 l63 l70 l71 l72 l73 l80 l81 l82 l83 l90 l91 l92 l93 l100 l101 l102 l103 l110 l111 l112 l113 l120 l121 l122 l123 l130 l131 l132 l133 l140 l141 l142 l143 l150 l151 l152 l153 l160 l161 l162 l163 l170 l171 l172 l173 l180 l181 l182 l183 l190 l191 l192 l193 l200 l201 l202 l203 l210 l211 l212 l213 l220 l221 l222 l223 l230 l231 l232 l233 l240 l241 l242 l243 l250 l251 l252 l253 l260 l261 l262 l263 l270 l271 l272 l273 l280 l281 l282 l283 l290 l291 l292 l293 l300 l301 l302 l303 l310 l311 l312 l313 l320 l321 l322 l323 l330 l331 l332 l333 l340 l341 l342 l343 l350 l351 l352 l353 l360 l361 l362 l363 l370 l371 l372 l373 l380 l381 l382 l383 l390 l391 l392 l393 l400 l401 l402 l403 l410 l411 l412 l413 
          p0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 
)
(:init
(airplane a0)
(airplane a1)
(airplane a2)
(airplane a3)
(airplane a4)
(airplane a5)
(airplane a6)
(airplane a7)
(airplane a8)
(airplane a9)
(airplane a10)
(airplane a11)
(airplane a12)
(airplane a13)
(airplane a14)
(city c0)
(city c1)
(city c2)
(city c3)
(city c4)
(city c5)
(city c6)
(city c7)
(city c8)
(city c9)
(city c10)
(city c11)
(city c12)
(city c13)
(city c14)
(city c15)
(city c16)
(city c17)
(city c18)
(city c19)
(city c20)
(city c21)
(city c22)
(city c23)
(city c24)
(city c25)
(city c26)
(city c27)
(city c28)
(city c29)
(city c30)
(city c31)
(city c32)
(city c33)
(city c34)
(city c35)
(city c36)
(city c37)
(city c38)
(city c39)
(city c40)
(city c41)
(truck t0)
(truck t1)
(truck t2)
(truck t3)
(truck t4)
(truck t5)
(truck t6)
(truck t7)
(truck t8)
(truck t9)
(truck t10)
(truck t11)
(truck t12)
(truck t13)
(truck t14)
(truck t15)
(truck t16)
(truck t17)
(truck t18)
(truck t19)
(truck t20)
(truck t21)
(truck t22)
(truck t23)
(truck t24)
(truck t25)
(truck t26)
(truck t27)
(truck t28)
(truck t29)
(truck t30)
(truck t31)
(truck t32)
(truck t33)
(truck t34)
(truck t35)
(truck t36)
(truck t37)
(truck t38)
(truck t39)
(truck t40)
(truck t41)
(location l00)
(in-city  l00 c0)
(location l01)
(in-city  l01 c0)
(location l02)
(in-city  l02 c0)
(location l03)
(in-city  l03 c0)
(location l10)
(in-city  l10 c1)
(location l11)
(in-city  l11 c1)
(location l12)
(in-city  l12 c1)
(location l13)
(in-city  l13 c1)
(location l20)
(in-city  l20 c2)
(location l21)
(in-city  l21 c2)
(location l22)
(in-city  l22 c2)
(location l23)
(in-city  l23 c2)
(location l30)
(in-city  l30 c3)
(location l31)
(in-city  l31 c3)
(location l32)
(in-city  l32 c3)
(location l33)
(in-city  l33 c3)
(location l40)
(in-city  l40 c4)
(location l41)
(in-city  l41 c4)
(location l42)
(in-city  l42 c4)
(location l43)
(in-city  l43 c4)
(location l50)
(in-city  l50 c5)
(location l51)
(in-city  l51 c5)
(location l52)
(in-city  l52 c5)
(location l53)
(in-city  l53 c5)
(location l60)
(in-city  l60 c6)
(location l61)
(in-city  l61 c6)
(location l62)
(in-city  l62 c6)
(location l63)
(in-city  l63 c6)
(location l70)
(in-city  l70 c7)
(location l71)
(in-city  l71 c7)
(location l72)
(in-city  l72 c7)
(location l73)
(in-city  l73 c7)
(location l80)
(in-city  l80 c8)
(location l81)
(in-city  l81 c8)
(location l82)
(in-city  l82 c8)
(location l83)
(in-city  l83 c8)
(location l90)
(in-city  l90 c9)
(location l91)
(in-city  l91 c9)
(location l92)
(in-city  l92 c9)
(location l93)
(in-city  l93 c9)
(location l100)
(in-city  l100 c10)
(location l101)
(in-city  l101 c10)
(location l102)
(in-city  l102 c10)
(location l103)
(in-city  l103 c10)
(location l110)
(in-city  l110 c11)
(location l111)
(in-city  l111 c11)
(location l112)
(in-city  l112 c11)
(location l113)
(in-city  l113 c11)
(location l120)
(in-city  l120 c12)
(location l121)
(in-city  l121 c12)
(location l122)
(in-city  l122 c12)
(location l123)
(in-city  l123 c12)
(location l130)
(in-city  l130 c13)
(location l131)
(in-city  l131 c13)
(location l132)
(in-city  l132 c13)
(location l133)
(in-city  l133 c13)
(location l140)
(in-city  l140 c14)
(location l141)
(in-city  l141 c14)
(location l142)
(in-city  l142 c14)
(location l143)
(in-city  l143 c14)
(location l150)
(in-city  l150 c15)
(location l151)
(in-city  l151 c15)
(location l152)
(in-city  l152 c15)
(location l153)
(in-city  l153 c15)
(location l160)
(in-city  l160 c16)
(location l161)
(in-city  l161 c16)
(location l162)
(in-city  l162 c16)
(location l163)
(in-city  l163 c16)
(location l170)
(in-city  l170 c17)
(location l171)
(in-city  l171 c17)
(location l172)
(in-city  l172 c17)
(location l173)
(in-city  l173 c17)
(location l180)
(in-city  l180 c18)
(location l181)
(in-city  l181 c18)
(location l182)
(in-city  l182 c18)
(location l183)
(in-city  l183 c18)
(location l190)
(in-city  l190 c19)
(location l191)
(in-city  l191 c19)
(location l192)
(in-city  l192 c19)
(location l193)
(in-city  l193 c19)
(location l200)
(in-city  l200 c20)
(location l201)
(in-city  l201 c20)
(location l202)
(in-city  l202 c20)
(location l203)
(in-city  l203 c20)
(location l210)
(in-city  l210 c21)
(location l211)
(in-city  l211 c21)
(location l212)
(in-city  l212 c21)
(location l213)
(in-city  l213 c21)
(location l220)
(in-city  l220 c22)
(location l221)
(in-city  l221 c22)
(location l222)
(in-city  l222 c22)
(location l223)
(in-city  l223 c22)
(location l230)
(in-city  l230 c23)
(location l231)
(in-city  l231 c23)
(location l232)
(in-city  l232 c23)
(location l233)
(in-city  l233 c23)
(location l240)
(in-city  l240 c24)
(location l241)
(in-city  l241 c24)
(location l242)
(in-city  l242 c24)
(location l243)
(in-city  l243 c24)
(location l250)
(in-city  l250 c25)
(location l251)
(in-city  l251 c25)
(location l252)
(in-city  l252 c25)
(location l253)
(in-city  l253 c25)
(location l260)
(in-city  l260 c26)
(location l261)
(in-city  l261 c26)
(location l262)
(in-city  l262 c26)
(location l263)
(in-city  l263 c26)
(location l270)
(in-city  l270 c27)
(location l271)
(in-city  l271 c27)
(location l272)
(in-city  l272 c27)
(location l273)
(in-city  l273 c27)
(location l280)
(in-city  l280 c28)
(location l281)
(in-city  l281 c28)
(location l282)
(in-city  l282 c28)
(location l283)
(in-city  l283 c28)
(location l290)
(in-city  l290 c29)
(location l291)
(in-city  l291 c29)
(location l292)
(in-city  l292 c29)
(location l293)
(in-city  l293 c29)
(location l300)
(in-city  l300 c30)
(location l301)
(in-city  l301 c30)
(location l302)
(in-city  l302 c30)
(location l303)
(in-city  l303 c30)
(location l310)
(in-city  l310 c31)
(location l311)
(in-city  l311 c31)
(location l312)
(in-city  l312 c31)
(location l313)
(in-city  l313 c31)
(location l320)
(in-city  l320 c32)
(location l321)
(in-city  l321 c32)
(location l322)
(in-city  l322 c32)
(location l323)
(in-city  l323 c32)
(location l330)
(in-city  l330 c33)
(location l331)
(in-city  l331 c33)
(location l332)
(in-city  l332 c33)
(location l333)
(in-city  l333 c33)
(location l340)
(in-city  l340 c34)
(location l341)
(in-city  l341 c34)
(location l342)
(in-city  l342 c34)
(location l343)
(in-city  l343 c34)
(location l350)
(in-city  l350 c35)
(location l351)
(in-city  l351 c35)
(location l352)
(in-city  l352 c35)
(location l353)
(in-city  l353 c35)
(location l360)
(in-city  l360 c36)
(location l361)
(in-city  l361 c36)
(location l362)
(in-city  l362 c36)
(location l363)
(in-city  l363 c36)
(location l370)
(in-city  l370 c37)
(location l371)
(in-city  l371 c37)
(location l372)
(in-city  l372 c37)
(location l373)
(in-city  l373 c37)
(location l380)
(in-city  l380 c38)
(location l381)
(in-city  l381 c38)
(location l382)
(in-city  l382 c38)
(location l383)
(in-city  l383 c38)
(location l390)
(in-city  l390 c39)
(location l391)
(in-city  l391 c39)
(location l392)
(in-city  l392 c39)
(location l393)
(in-city  l393 c39)
(location l400)
(in-city  l400 c40)
(location l401)
(in-city  l401 c40)
(location l402)
(in-city  l402 c40)
(location l403)
(in-city  l403 c40)
(location l410)
(in-city  l410 c41)
(location l411)
(in-city  l411 c41)
(location l412)
(in-city  l412 c41)
(location l413)
(in-city  l413 c41)
(airport l00)
(airport l10)
(airport l20)
(airport l30)
(airport l40)
(airport l50)
(airport l60)
(airport l70)
(airport l80)
(airport l90)
(airport l100)
(airport l110)
(airport l120)
(airport l130)
(airport l140)
(airport l150)
(airport l160)
(airport l170)
(airport l180)
(airport l190)
(airport l200)
(airport l210)
(airport l220)
(airport l230)
(airport l240)
(airport l250)
(airport l260)
(airport l270)
(airport l280)
(airport l290)
(airport l300)
(airport l310)
(airport l320)
(airport l330)
(airport l340)
(airport l350)
(airport l360)
(airport l370)
(airport l380)
(airport l390)
(airport l400)
(airport l410)
(package p0)
(package p1)
(package p2)
(package p3)
(package p4)
(package p5)
(package p6)
(package p7)
(package p8)
(package p9)
(package p10)
(package p11)
(package p12)
(package p13)
(package p14)
(package p15)
(package p16)
(package p17)
(package p18)
(package p19)
(package p20)
(package p21)
(package p22)
(package p23)
(package p24)
(package p25)
(package p26)
(package p27)
(package p28)
(package p29)
(package p30)
(package p31)
(package p32)
(package p33)
(package p34)
(package p35)
(package p36)
(package p37)
(package p38)
(package p39)
(package p40)
(package p41)
(package p42)
(package p43)
(package p44)
(package p45)
(package p46)
(package p47)
(package p48)
(package p49)
(package p50)
(package p51)
(package p52)
(package p53)
(package p54)
(package p55)
(package p56)
(package p57)
(package p58)
(package p59)
(package p60)
(package p61)
(package p62)
(package p63)
(package p64)
(package p65)
(package p66)
(package p67)
(package p68)
(package p69)
(package p70)
(package p71)
(package p72)
(package p73)
(package p74)
(package p75)
(package p76)
(package p77)
(package p78)
(package p79)
(package p80)
(package p81)
(package p82)
(package p83)
(package p84)
(package p85)
(package p86)
(package p87)
(package p88)
(package p89)
(package p90)
(package p91)
(package p92)
(package p93)
(package p94)
(package p95)
(package p96)
(package p97)
(package p98)
(package p99)
(package p100)
(package p101)
(package p102)
(package p103)
(package p104)
(package p105)
(package p106)
(package p107)
(package p108)
(package p109)
(package p110)
(package p111)
(package p112)
(package p113)
(package p114)
(package p115)
(package p116)
(package p117)
(package p118)
(package p119)
(package p120)
(package p121)
(package p122)
(package p123)
(package p124)
(package p125)
(package p126)
(package p127)
(package p128)
(package p129)
(package p130)
(package p131)
(package p132)
(package p133)
(package p134)
(package p135)
(package p136)
(package p137)
(package p138)
(package p139)
(package p140)
(package p141)
(package p142)
(package p143)
(package p144)
(package p145)
(package p146)
(package p147)
(package p148)
(package p149)
(package p150)
(package p151)
(package p152)
(package p153)
(package p154)
(package p155)
(package p156)
(package p157)
(package p158)
(package p159)
(at t0 l00)
(at t1 l10)
(at t2 l22)
(at t3 l32)
(at t4 l40)
(at t5 l50)
(at t6 l60)
(at t7 l71)
(at t8 l83)
(at t9 l93)
(at t10 l101)
(at t11 l112)
(at t12 l120)
(at t13 l132)
(at t14 l142)
(at t15 l152)
(at t16 l160)
(at t17 l170)
(at t18 l180)
(at t19 l190)
(at t20 l202)
(at t21 l211)
(at t22 l221)
(at t23 l232)
(at t24 l242)
(at t25 l253)
(at t26 l262)
(at t27 l272)
(at t28 l282)
(at t29 l290)
(at t30 l300)
(at t31 l312)
(at t32 l320)
(at t33 l333)
(at t34 l341)
(at t35 l351)
(at t36 l363)
(at t37 l371)
(at t38 l382)
(at t39 l393)
(at t40 l400)
(at t41 l410)
(at p0 l390)
(at p1 l223)
(at p2 l282)
(at p3 l242)
(at p4 l52)
(at p5 l110)
(at p6 l162)
(at p7 l02)
(at p8 l262)
(at p9 l200)
(at p10 l52)
(at p11 l332)
(at p12 l53)
(at p13 l392)
(at p14 l403)
(at p15 l123)
(at p16 l210)
(at p17 l191)
(at p18 l03)
(at p19 l161)
(at p20 l413)
(at p21 l381)
(at p22 l292)
(at p23 l251)
(at p24 l41)
(at p25 l361)
(at p26 l231)
(at p27 l73)
(at p28 l122)
(at p29 l192)
(at p30 l53)
(at p31 l20)
(at p32 l191)
(at p33 l301)
(at p34 l182)
(at p35 l231)
(at p36 l271)
(at p37 l303)
(at p38 l131)
(at p39 l263)
(at p40 l142)
(at p41 l231)
(at p42 l40)
(at p43 l200)
(at p44 l311)
(at p45 l250)
(at p46 l241)
(at p47 l153)
(at p48 l23)
(at p49 l192)
(at p50 l50)
(at p51 l372)
(at p52 l171)
(at p53 l30)
(at p54 l342)
(at p55 l10)
(at p56 l60)
(at p57 l390)
(at p58 l92)
(at p59 l250)
(at p60 l110)
(at p61 l300)
(at p62 l331)
(at p63 l353)
(at p64 l60)
(at p65 l131)
(at p66 l100)
(at p67 l401)
(at p68 l271)
(at p69 l93)
(at p70 l311)
(at p71 l210)
(at p72 l310)
(at p73 l42)
(at p74 l321)
(at p75 l362)
(at p76 l353)
(at p77 l362)
(at p78 l261)
(at p79 l171)
(at p80 l402)
(at p81 l402)
(at p82 l342)
(at p83 l303)
(at p84 l381)
(at p85 l343)
(at p86 l61)
(at p87 l190)
(at p88 l280)
(at p89 l360)
(at p90 l91)
(at p91 l163)
(at p92 l100)
(at p93 l270)
(at p94 l363)
(at p95 l230)
(at p96 l310)
(at p97 l400)
(at p98 l142)
(at p99 l392)
(at p100 l242)
(at p101 l342)
(at p102 l11)
(at p103 l241)
(at p104 l311)
(at p105 l23)
(at p106 l40)
(at p107 l402)
(at p108 l253)
(at p109 l63)
(at p110 l260)
(at p111 l90)
(at p112 l61)
(at p113 l362)
(at p114 l323)
(at p115 l270)
(at p116 l213)
(at p117 l01)
(at p118 l261)
(at p119 l62)
(at p120 l00)
(at p121 l90)
(at p122 l233)
(at p123 l162)
(at p124 l320)
(at p125 l211)
(at p126 l60)
(at p127 l310)
(at p128 l351)
(at p129 l291)
(at p130 l140)
(at p131 l352)
(at p132 l310)
(at p133 l113)
(at p134 l171)
(at p135 l253)
(at p136 l222)
(at p137 l173)
(at p138 l411)
(at p139 l30)
(at p140 l92)
(at p141 l32)
(at p142 l122)
(at p143 l243)
(at p144 l131)
(at p145 l253)
(at p146 l232)
(at p147 l170)
(at p148 l100)
(at p149 l243)
(at p150 l21)
(at p151 l400)
(at p152 l381)
(at p153 l231)
(at p154 l20)
(at p155 l230)
(at p156 l62)
(at p157 l240)
(at p158 l140)
(at p159 l173)
(at a0 l100)
(at a1 l410)
(at a2 l110)
(at a3 l240)
(at a4 l190)
(at a5 l220)
(at a6 l180)
(at a7 l330)
(at a8 l210)
(at a9 l200)
(at a10 l280)
(at a11 l240)
(at a12 l410)
(at a13 l190)
(at a14 l180)
)
(:goal
(and
(at p0 l140)
(at p1 l113)
(at p2 l170)
(at p3 l61)
(at p4 l130)
(at p5 l93)
(at p6 l313)
(at p7 l371)
(at p8 l212)
(at p9 l213)
(at p10 l400)
(at p11 l310)
(at p12 l251)
(at p13 l203)
(at p14 l143)
(at p15 l230)
(at p16 l382)
(at p17 l213)
(at p18 l183)
(at p19 l383)
(at p20 l91)
(at p21 l21)
(at p22 l111)
(at p23 l242)
(at p24 l111)
(at p25 l91)
(at p26 l21)
(at p27 l131)
(at p28 l81)
(at p29 l200)
(at p30 l293)
(at p31 l81)
(at p32 l330)
(at p33 l340)
(at p34 l110)
(at p35 l373)
(at p36 l342)
(at p37 l183)
(at p38 l352)
(at p39 l333)
(at p40 l22)
(at p41 l142)
(at p42 l392)
(at p43 l292)
(at p44 l173)
(at p45 l280)
(at p46 l73)
(at p47 l230)
(at p48 l211)
(at p49 l42)
(at p50 l20)
(at p51 l90)
(at p52 l361)
(at p53 l371)
(at p54 l280)
(at p55 l320)
(at p56 l261)
(at p57 l322)
(at p58 l291)
(at p59 l262)
(at p60 l242)
(at p61 l33)
(at p62 l30)
(at p63 l280)
(at p64 l00)
(at p65 l110)
(at p66 l260)
(at p67 l362)
(at p68 l43)
(at p69 l62)
(at p70 l130)
(at p71 l161)
(at p72 l370)
(at p73 l170)
(at p74 l233)
(at p75 l251)
(at p76 l102)
(at p77 l353)
(at p78 l121)
(at p79 l320)
(at p80 l53)
(at p81 l102)
(at p82 l190)
(at p83 l81)
(at p84 l310)
(at p85 l112)
(at p86 l71)
(at p87 l402)
(at p88 l313)
(at p89 l252)
(at p90 l112)
(at p91 l161)
(at p92 l341)
(at p93 l302)
(at p94 l260)
(at p95 l133)
(at p96 l213)
(at p97 l213)
(at p98 l242)
(at p99 l203)
(at p100 l00)
(at p101 l143)
(at p102 l132)
(at p103 l83)
(at p104 l211)
(at p105 l130)
(at p106 l371)
(at p107 l93)
(at p108 l362)
(at p109 l270)
(at p110 l180)
(at p111 l102)
(at p112 l181)
(at p113 l350)
(at p114 l171)
(at p115 l92)
(at p116 l411)
(at p117 l233)
(at p118 l313)
(at p119 l141)
(at p120 l163)
(at p121 l413)
(at p122 l133)
(at p123 l363)
(at p124 l70)
(at p125 l283)
(at p126 l160)
(at p127 l210)
(at p128 l232)
(at p129 l321)
(at p130 l240)
(at p131 l151)
(at p132 l210)
(at p133 l341)
(at p134 l242)
(at p135 l200)
(at p136 l323)
(at p137 l63)
(at p138 l262)
(at p139 l83)
(at p140 l202)
(at p141 l153)
(at p142 l280)
(at p143 l270)
(at p144 l70)
(at p145 l73)
(at p146 l160)
(at p147 l101)
(at p148 l141)
(at p149 l40)
(at p150 l50)
(at p151 l331)
(at p152 l401)
(at p153 l382)
(at p154 l373)
(at p155 l142)
(at p156 l391)
(at p157 l90)
(at p158 l190)
(at p159 l340)
)
)
)


