


(define (problem logistics-c38-s3-p140-a13)
(:domain logistics)
(:objects a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 
          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 
          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 
          l00 l01 l02 l10 l11 l12 l20 l21 l22 l30 l31 l32 l40 l41 l42 l50 l51 l52 l60 l61 l62 l70 l71 l72 l80 l81 l82 l90 l91 l92 l100 l101 l102 l110 l111 l112 l120 l121 l122 l130 l131 l132 l140 l141 l142 l150 l151 l152 l160 l161 l162 l170 l171 l172 l180 l181 l182 l190 l191 l192 l200 l201 l202 l210 l211 l212 l220 l221 l222 l230 l231 l232 l240 l241 l242 l250 l251 l252 l260 l261 l262 l270 l271 l272 l280 l281 l282 l290 l291 l292 l300 l301 l302 l310 l311 l312 l320 l321 l322 l330 l331 l332 l340 l341 l342 l350 l351 l352 l360 l361 l362 l370 l371 l372 
          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 
)
(: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)
(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)
(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)
(location l00)
(in-city  l00 c0)
(location l01)
(in-city  l01 c0)
(location l02)
(in-city  l02 c0)
(location l10)
(in-city  l10 c1)
(location l11)
(in-city  l11 c1)
(location l12)
(in-city  l12 c1)
(location l20)
(in-city  l20 c2)
(location l21)
(in-city  l21 c2)
(location l22)
(in-city  l22 c2)
(location l30)
(in-city  l30 c3)
(location l31)
(in-city  l31 c3)
(location l32)
(in-city  l32 c3)
(location l40)
(in-city  l40 c4)
(location l41)
(in-city  l41 c4)
(location l42)
(in-city  l42 c4)
(location l50)
(in-city  l50 c5)
(location l51)
(in-city  l51 c5)
(location l52)
(in-city  l52 c5)
(location l60)
(in-city  l60 c6)
(location l61)
(in-city  l61 c6)
(location l62)
(in-city  l62 c6)
(location l70)
(in-city  l70 c7)
(location l71)
(in-city  l71 c7)
(location l72)
(in-city  l72 c7)
(location l80)
(in-city  l80 c8)
(location l81)
(in-city  l81 c8)
(location l82)
(in-city  l82 c8)
(location l90)
(in-city  l90 c9)
(location l91)
(in-city  l91 c9)
(location l92)
(in-city  l92 c9)
(location l100)
(in-city  l100 c10)
(location l101)
(in-city  l101 c10)
(location l102)
(in-city  l102 c10)
(location l110)
(in-city  l110 c11)
(location l111)
(in-city  l111 c11)
(location l112)
(in-city  l112 c11)
(location l120)
(in-city  l120 c12)
(location l121)
(in-city  l121 c12)
(location l122)
(in-city  l122 c12)
(location l130)
(in-city  l130 c13)
(location l131)
(in-city  l131 c13)
(location l132)
(in-city  l132 c13)
(location l140)
(in-city  l140 c14)
(location l141)
(in-city  l141 c14)
(location l142)
(in-city  l142 c14)
(location l150)
(in-city  l150 c15)
(location l151)
(in-city  l151 c15)
(location l152)
(in-city  l152 c15)
(location l160)
(in-city  l160 c16)
(location l161)
(in-city  l161 c16)
(location l162)
(in-city  l162 c16)
(location l170)
(in-city  l170 c17)
(location l171)
(in-city  l171 c17)
(location l172)
(in-city  l172 c17)
(location l180)
(in-city  l180 c18)
(location l181)
(in-city  l181 c18)
(location l182)
(in-city  l182 c18)
(location l190)
(in-city  l190 c19)
(location l191)
(in-city  l191 c19)
(location l192)
(in-city  l192 c19)
(location l200)
(in-city  l200 c20)
(location l201)
(in-city  l201 c20)
(location l202)
(in-city  l202 c20)
(location l210)
(in-city  l210 c21)
(location l211)
(in-city  l211 c21)
(location l212)
(in-city  l212 c21)
(location l220)
(in-city  l220 c22)
(location l221)
(in-city  l221 c22)
(location l222)
(in-city  l222 c22)
(location l230)
(in-city  l230 c23)
(location l231)
(in-city  l231 c23)
(location l232)
(in-city  l232 c23)
(location l240)
(in-city  l240 c24)
(location l241)
(in-city  l241 c24)
(location l242)
(in-city  l242 c24)
(location l250)
(in-city  l250 c25)
(location l251)
(in-city  l251 c25)
(location l252)
(in-city  l252 c25)
(location l260)
(in-city  l260 c26)
(location l261)
(in-city  l261 c26)
(location l262)
(in-city  l262 c26)
(location l270)
(in-city  l270 c27)
(location l271)
(in-city  l271 c27)
(location l272)
(in-city  l272 c27)
(location l280)
(in-city  l280 c28)
(location l281)
(in-city  l281 c28)
(location l282)
(in-city  l282 c28)
(location l290)
(in-city  l290 c29)
(location l291)
(in-city  l291 c29)
(location l292)
(in-city  l292 c29)
(location l300)
(in-city  l300 c30)
(location l301)
(in-city  l301 c30)
(location l302)
(in-city  l302 c30)
(location l310)
(in-city  l310 c31)
(location l311)
(in-city  l311 c31)
(location l312)
(in-city  l312 c31)
(location l320)
(in-city  l320 c32)
(location l321)
(in-city  l321 c32)
(location l322)
(in-city  l322 c32)
(location l330)
(in-city  l330 c33)
(location l331)
(in-city  l331 c33)
(location l332)
(in-city  l332 c33)
(location l340)
(in-city  l340 c34)
(location l341)
(in-city  l341 c34)
(location l342)
(in-city  l342 c34)
(location l350)
(in-city  l350 c35)
(location l351)
(in-city  l351 c35)
(location l352)
(in-city  l352 c35)
(location l360)
(in-city  l360 c36)
(location l361)
(in-city  l361 c36)
(location l362)
(in-city  l362 c36)
(location l370)
(in-city  l370 c37)
(location l371)
(in-city  l371 c37)
(location l372)
(in-city  l372 c37)
(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)
(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)
(at t0 l00)
(at t1 l11)
(at t2 l22)
(at t3 l32)
(at t4 l41)
(at t5 l52)
(at t6 l61)
(at t7 l72)
(at t8 l80)
(at t9 l90)
(at t10 l100)
(at t11 l111)
(at t12 l121)
(at t13 l131)
(at t14 l141)
(at t15 l151)
(at t16 l162)
(at t17 l170)
(at t18 l180)
(at t19 l190)
(at t20 l201)
(at t21 l210)
(at t22 l220)
(at t23 l231)
(at t24 l240)
(at t25 l252)
(at t26 l262)
(at t27 l271)
(at t28 l280)
(at t29 l290)
(at t30 l302)
(at t31 l311)
(at t32 l321)
(at t33 l331)
(at t34 l340)
(at t35 l350)
(at t36 l361)
(at t37 l370)
(at p0 l201)
(at p1 l102)
(at p2 l142)
(at p3 l132)
(at p4 l230)
(at p5 l182)
(at p6 l52)
(at p7 l360)
(at p8 l190)
(at p9 l30)
(at p10 l240)
(at p11 l371)
(at p12 l181)
(at p13 l140)
(at p14 l261)
(at p15 l260)
(at p16 l211)
(at p17 l361)
(at p18 l121)
(at p19 l90)
(at p20 l171)
(at p21 l240)
(at p22 l251)
(at p23 l132)
(at p24 l310)
(at p25 l312)
(at p26 l12)
(at p27 l41)
(at p28 l92)
(at p29 l300)
(at p30 l240)
(at p31 l02)
(at p32 l111)
(at p33 l221)
(at p34 l271)
(at p35 l301)
(at p36 l372)
(at p37 l230)
(at p38 l170)
(at p39 l251)
(at p40 l241)
(at p41 l70)
(at p42 l40)
(at p43 l231)
(at p44 l241)
(at p45 l282)
(at p46 l62)
(at p47 l192)
(at p48 l212)
(at p49 l342)
(at p50 l120)
(at p51 l110)
(at p52 l201)
(at p53 l300)
(at p54 l272)
(at p55 l51)
(at p56 l290)
(at p57 l10)
(at p58 l171)
(at p59 l92)
(at p60 l120)
(at p61 l150)
(at p62 l220)
(at p63 l131)
(at p64 l311)
(at p65 l322)
(at p66 l131)
(at p67 l111)
(at p68 l172)
(at p69 l282)
(at p70 l140)
(at p71 l361)
(at p72 l230)
(at p73 l162)
(at p74 l181)
(at p75 l61)
(at p76 l190)
(at p77 l272)
(at p78 l270)
(at p79 l31)
(at p80 l280)
(at p81 l42)
(at p82 l342)
(at p83 l101)
(at p84 l282)
(at p85 l360)
(at p86 l111)
(at p87 l251)
(at p88 l111)
(at p89 l140)
(at p90 l71)
(at p91 l170)
(at p92 l360)
(at p93 l80)
(at p94 l32)
(at p95 l240)
(at p96 l240)
(at p97 l302)
(at p98 l370)
(at p99 l122)
(at p100 l181)
(at p101 l90)
(at p102 l222)
(at p103 l30)
(at p104 l161)
(at p105 l192)
(at p106 l321)
(at p107 l122)
(at p108 l211)
(at p109 l350)
(at p110 l101)
(at p111 l122)
(at p112 l282)
(at p113 l331)
(at p114 l221)
(at p115 l331)
(at p116 l111)
(at p117 l90)
(at p118 l171)
(at p119 l71)
(at p120 l242)
(at p121 l342)
(at p122 l32)
(at p123 l271)
(at p124 l241)
(at p125 l41)
(at p126 l20)
(at p127 l252)
(at p128 l370)
(at p129 l131)
(at p130 l222)
(at p131 l180)
(at p132 l72)
(at p133 l71)
(at p134 l122)
(at p135 l351)
(at p136 l352)
(at p137 l331)
(at p138 l341)
(at p139 l342)
(at a0 l80)
(at a1 l230)
(at a2 l300)
(at a3 l290)
(at a4 l60)
(at a5 l250)
(at a6 l60)
(at a7 l90)
(at a8 l60)
(at a9 l140)
(at a10 l260)
(at a11 l90)
(at a12 l230)
)
(:goal
(and
(at p0 l192)
(at p1 l270)
(at p2 l112)
(at p3 l70)
(at p4 l290)
(at p5 l270)
(at p6 l11)
(at p7 l40)
(at p8 l291)
(at p9 l100)
(at p10 l200)
(at p11 l341)
(at p12 l321)
(at p13 l272)
(at p14 l80)
(at p15 l210)
(at p16 l171)
(at p17 l40)
(at p18 l30)
(at p19 l342)
(at p20 l30)
(at p21 l22)
(at p22 l240)
(at p23 l120)
(at p24 l342)
(at p25 l141)
(at p26 l232)
(at p27 l50)
(at p28 l180)
(at p29 l191)
(at p30 l332)
(at p31 l91)
(at p32 l131)
(at p33 l190)
(at p34 l180)
(at p35 l260)
(at p36 l161)
(at p37 l40)
(at p38 l131)
(at p39 l132)
(at p40 l331)
(at p41 l191)
(at p42 l150)
(at p43 l80)
(at p44 l342)
(at p45 l152)
(at p46 l302)
(at p47 l41)
(at p48 l150)
(at p49 l370)
(at p50 l171)
(at p51 l330)
(at p52 l320)
(at p53 l300)
(at p54 l310)
(at p55 l330)
(at p56 l261)
(at p57 l10)
(at p58 l332)
(at p59 l311)
(at p60 l150)
(at p61 l212)
(at p62 l332)
(at p63 l62)
(at p64 l52)
(at p65 l00)
(at p66 l242)
(at p67 l332)
(at p68 l102)
(at p69 l270)
(at p70 l251)
(at p71 l240)
(at p72 l150)
(at p73 l182)
(at p74 l292)
(at p75 l190)
(at p76 l362)
(at p77 l70)
(at p78 l220)
(at p79 l371)
(at p80 l122)
(at p81 l50)
(at p82 l112)
(at p83 l330)
(at p84 l202)
(at p85 l30)
(at p86 l232)
(at p87 l222)
(at p88 l251)
(at p89 l50)
(at p90 l70)
(at p91 l160)
(at p92 l51)
(at p93 l162)
(at p94 l300)
(at p95 l101)
(at p96 l80)
(at p97 l350)
(at p98 l310)
(at p99 l190)
(at p100 l310)
(at p101 l220)
(at p102 l220)
(at p103 l101)
(at p104 l20)
(at p105 l262)
(at p106 l21)
(at p107 l310)
(at p108 l221)
(at p109 l122)
(at p110 l181)
(at p111 l290)
(at p112 l152)
(at p113 l20)
(at p114 l130)
(at p115 l232)
(at p116 l00)
(at p117 l02)
(at p118 l290)
(at p119 l321)
(at p120 l40)
(at p121 l182)
(at p122 l201)
(at p123 l301)
(at p124 l152)
(at p125 l292)
(at p126 l210)
(at p127 l171)
(at p128 l251)
(at p129 l81)
(at p130 l31)
(at p131 l221)
(at p132 l161)
(at p133 l31)
(at p134 l272)
(at p135 l321)
(at p136 l350)
(at p137 l161)
(at p138 l182)
(at p139 l310)
)
)
)


