


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


