


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


