(define (domain openstacks-sequencedstrips-nonADL-nonNegated) (:requirements :typing :action-costs) (:types order product count) (:constants 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 - product o1 o2 o3 o4 o5 o6 o7 o8 o9 o10 o11 o12 o13 o14 o15 o16 o17 o18 o19 o20 o21 o22 o23 o24 o25 o26 o27 o28 o29 o30 o31 o32 o33 o34 o35 o36 o37 o38 o39 o40 o41 o42 o43 o44 o45 o46 o47 o48 o49 o50 o51 o52 o53 o54 o55 o56 o57 o58 o59 o60 o61 o62 o63 o64 o65 o66 o67 o68 o69 o70 o71 o72 o73 o74 o75 o76 o77 o78 o79 o80 - order ) (:predicates (includes ?o - order ?p - product) (waiting ?o - order) (started ?o - order) (shipped ?o - order) (made ?p - product) (not-made ?p - product) (stacks-avail ?s - count) (next-count ?s ?ns - count) ) (:functions (total-cost) - number ) (:action open-new-stack :parameters (?open ?new-open - count) :precondition (and (stacks-avail ?open)(next-count ?open ?new-open)) :effect (and (not (stacks-avail ?open))(stacks-avail ?new-open) (increase (total-cost) 1)) ) (:action start-order :parameters (?o - order ?avail ?new-avail - count) :precondition (and (waiting ?o)(stacks-avail ?avail)(next-count ?new-avail ?avail)) :effect (and (not (waiting ?o))(started ?o)(not (stacks-avail ?avail))(stacks-avail ?new-avail)) ) (:action make-product-p1 :parameters () :precondition (and (not-made p1)(started o79)) :effect (and (not (not-made p1)) (made p1)) ) (:action make-product-p2 :parameters () :precondition (and (not-made p2)(started o44)) :effect (and (not (not-made p2)) (made p2)) ) (:action make-product-p3 :parameters () :precondition (and (not-made p3)(started o55)) :effect (and (not (not-made p3)) (made p3)) ) (:action make-product-p4 :parameters () :precondition (and (not-made p4)(started o17)(started o67)) :effect (and (not (not-made p4)) (made p4)) ) (:action make-product-p5 :parameters () :precondition (and (not-made p5)(started o79)) :effect (and (not (not-made p5)) (made p5)) ) (:action make-product-p6 :parameters () :precondition (and (not-made p6)(started o11)(started o60)) :effect (and (not (not-made p6)) (made p6)) ) (:action make-product-p7 :parameters () :precondition (and (not-made p7)(started o51)(started o65)) :effect (and (not (not-made p7)) (made p7)) ) (:action make-product-p8 :parameters () :precondition (and (not-made p8)(started o1)(started o16)(started o42)) :effect (and (not (not-made p8)) (made p8)) ) (:action make-product-p9 :parameters () :precondition (and (not-made p9)(started o20)(started o75)(started o80)) :effect (and (not (not-made p9)) (made p9)) ) (:action make-product-p10 :parameters () :precondition (and (not-made p10)(started o46)(started o73)) :effect (and (not (not-made p10)) (made p10)) ) (:action make-product-p11 :parameters () :precondition (and (not-made p11)(started o1)(started o4)(started o6)(started o18)(started o30)) :effect (and (not (not-made p11)) (made p11)) ) (:action make-product-p12 :parameters () :precondition (and (not-made p12)(started o7)(started o43)(started o67)) :effect (and (not (not-made p12)) (made p12)) ) (:action make-product-p13 :parameters () :precondition (and (not-made p13)(started o18)(started o39)(started o51)) :effect (and (not (not-made p13)) (made p13)) ) (:action make-product-p14 :parameters () :precondition (and (not-made p14)(started o41)) :effect (and (not (not-made p14)) (made p14)) ) (:action make-product-p15 :parameters () :precondition (and (not-made p15)(started o6)(started o18)(started o75)(started o78)(started o80)) :effect (and (not (not-made p15)) (made p15)) ) (:action make-product-p16 :parameters () :precondition (and (not-made p16)(started o68)) :effect (and (not (not-made p16)) (made p16)) ) (:action make-product-p17 :parameters () :precondition (and (not-made p17)(started o1)(started o16)(started o44)) :effect (and (not (not-made p17)) (made p17)) ) (:action make-product-p18 :parameters () :precondition (and (not-made p18)(started o69)) :effect (and (not (not-made p18)) (made p18)) ) (:action make-product-p19 :parameters () :precondition (and (not-made p19)(started o38)(started o44)(started o75)(started o79)) :effect (and (not (not-made p19)) (made p19)) ) (:action make-product-p20 :parameters () :precondition (and (not-made p20)(started o6)(started o24)(started o57)) :effect (and (not (not-made p20)) (made p20)) ) (:action make-product-p21 :parameters () :precondition (and (not-made p21)(started o7)(started o22)(started o44)) :effect (and (not (not-made p21)) (made p21)) ) (:action make-product-p22 :parameters () :precondition (and (not-made p22)(started o20)(started o48)) :effect (and (not (not-made p22)) (made p22)) ) (:action make-product-p23 :parameters () :precondition (and (not-made p23)(started o4)(started o11)(started o33)) :effect (and (not (not-made p23)) (made p23)) ) (:action make-product-p24 :parameters () :precondition (and (not-made p24)(started o11)(started o25)(started o39)(started o67)) :effect (and (not (not-made p24)) (made p24)) ) (:action make-product-p25 :parameters () :precondition (and (not-made p25)(started o16)(started o26)(started o39)(started o52)(started o70)(started o78)) :effect (and (not (not-made p25)) (made p25)) ) (:action make-product-p26 :parameters () :precondition (and (not-made p26)(started o43)(started o59)(started o62)) :effect (and (not (not-made p26)) (made p26)) ) (:action make-product-p27 :parameters () :precondition (and (not-made p27)(started o8)(started o47)(started o62)(started o67)) :effect (and (not (not-made p27)) (made p27)) ) (:action make-product-p28 :parameters () :precondition (and (not-made p28)(started o4)(started o28)(started o77)) :effect (and (not (not-made p28)) (made p28)) ) (:action make-product-p29 :parameters () :precondition (and (not-made p29)(started o39)(started o57)) :effect (and (not (not-made p29)) (made p29)) ) (:action make-product-p30 :parameters () :precondition (and (not-made p30)(started o42)(started o76)) :effect (and (not (not-made p30)) (made p30)) ) (:action make-product-p31 :parameters () :precondition (and (not-made p31)(started o13)(started o21)(started o48)(started o73)) :effect (and (not (not-made p31)) (made p31)) ) (:action make-product-p32 :parameters () :precondition (and (not-made p32)(started o79)) :effect (and (not (not-made p32)) (made p32)) ) (:action make-product-p33 :parameters () :precondition (and (not-made p33)(started o20)(started o25)(started o59)) :effect (and (not (not-made p33)) (made p33)) ) (:action make-product-p34 :parameters () :precondition (and (not-made p34)(started o28)(started o31)(started o35)) :effect (and (not (not-made p34)) (made p34)) ) (:action make-product-p35 :parameters () :precondition (and (not-made p35)(started o19)(started o45)(started o78)) :effect (and (not (not-made p35)) (made p35)) ) (:action make-product-p36 :parameters () :precondition (and (not-made p36)(started o12)(started o25)(started o26)(started o35)) :effect (and (not (not-made p36)) (made p36)) ) (:action make-product-p37 :parameters () :precondition (and (not-made p37)(started o52)(started o54)) :effect (and (not (not-made p37)) (made p37)) ) (:action make-product-p38 :parameters () :precondition (and (not-made p38)(started o26)(started o34)(started o38)(started o57)(started o64)(started o78)) :effect (and (not (not-made p38)) (made p38)) ) (:action make-product-p39 :parameters () :precondition (and (not-made p39)(started o32)(started o48)(started o62)) :effect (and (not (not-made p39)) (made p39)) ) (:action make-product-p40 :parameters () :precondition (and (not-made p40)(started o24)) :effect (and (not (not-made p40)) (made p40)) ) (:action make-product-p41 :parameters () :precondition (and (not-made p41)(started o14)(started o38)) :effect (and (not (not-made p41)) (made p41)) ) (:action make-product-p42 :parameters () :precondition (and (not-made p42)(started o24)) :effect (and (not (not-made p42)) (made p42)) ) (:action make-product-p43 :parameters () :precondition (and (not-made p43)(started o31)(started o58)(started o63)) :effect (and (not (not-made p43)) (made p43)) ) (:action make-product-p44 :parameters () :precondition (and (not-made p44)(started o31)(started o79)) :effect (and (not (not-made p44)) (made p44)) ) (:action make-product-p45 :parameters () :precondition (and (not-made p45)(started o6)(started o19)(started o38)(started o48)) :effect (and (not (not-made p45)) (made p45)) ) (:action make-product-p46 :parameters () :precondition (and (not-made p46)(started o5)(started o19)(started o35)) :effect (and (not (not-made p46)) (made p46)) ) (:action make-product-p47 :parameters () :precondition (and (not-made p47)(started o35)(started o53)(started o67)) :effect (and (not (not-made p47)) (made p47)) ) (:action make-product-p48 :parameters () :precondition (and (not-made p48)(started o15)) :effect (and (not (not-made p48)) (made p48)) ) (:action make-product-p49 :parameters () :precondition (and (not-made p49)(started o64)) :effect (and (not (not-made p49)) (made p49)) ) (:action make-product-p50 :parameters () :precondition (and (not-made p50)(started o3)(started o27)) :effect (and (not (not-made p50)) (made p50)) ) (:action make-product-p51 :parameters () :precondition (and (not-made p51)(started o14)(started o36)(started o50)) :effect (and (not (not-made p51)) (made p51)) ) (:action make-product-p52 :parameters () :precondition (and (not-made p52)(started o5)(started o53)(started o74)) :effect (and (not (not-made p52)) (made p52)) ) (:action make-product-p53 :parameters () :precondition (and (not-made p53)(started o12)(started o14)(started o46)(started o74)) :effect (and (not (not-made p53)) (made p53)) ) (:action make-product-p54 :parameters () :precondition (and (not-made p54)(started o16)(started o32)(started o35)(started o36)(started o54)(started o79)) :effect (and (not (not-made p54)) (made p54)) ) (:action make-product-p55 :parameters () :precondition (and (not-made p55)(started o23)(started o27)(started o74)) :effect (and (not (not-made p55)) (made p55)) ) (:action make-product-p56 :parameters () :precondition (and (not-made p56)(started o22)(started o32)(started o49)) :effect (and (not (not-made p56)) (made p56)) ) (:action make-product-p57 :parameters () :precondition (and (not-made p57)(started o23)(started o32)) :effect (and (not (not-made p57)) (made p57)) ) (:action make-product-p58 :parameters () :precondition (and (not-made p58)(started o57)) :effect (and (not (not-made p58)) (made p58)) ) (:action make-product-p59 :parameters () :precondition (and (not-made p59)(started o7)(started o8)) :effect (and (not (not-made p59)) (made p59)) ) (:action make-product-p60 :parameters () :precondition (and (not-made p60)(started o9)) :effect (and (not (not-made p60)) (made p60)) ) (:action make-product-p61 :parameters () :precondition (and (not-made p61)(started o26)(started o36)(started o37)(started o52)(started o72)) :effect (and (not (not-made p61)) (made p61)) ) (:action make-product-p62 :parameters () :precondition (and (not-made p62)(started o15)) :effect (and (not (not-made p62)) (made p62)) ) (:action make-product-p63 :parameters () :precondition (and (not-made p63)(started o46)(started o66)) :effect (and (not (not-made p63)) (made p63)) ) (:action make-product-p64 :parameters () :precondition (and (not-made p64)(started o14)(started o20)(started o40)(started o53)(started o56)(started o63)(started o68)(started o71)) :effect (and (not (not-made p64)) (made p64)) ) (:action make-product-p65 :parameters () :precondition (and (not-made p65)(started o66)) :effect (and (not (not-made p65)) (made p65)) ) (:action make-product-p66 :parameters () :precondition (and (not-made p66)(started o2)) :effect (and (not (not-made p66)) (made p66)) ) (:action make-product-p67 :parameters () :precondition (and (not-made p67)(started o10)(started o66)) :effect (and (not (not-made p67)) (made p67)) ) (:action make-product-p68 :parameters () :precondition (and (not-made p68)(started o29)(started o58)) :effect (and (not (not-made p68)) (made p68)) ) (:action make-product-p69 :parameters () :precondition (and (not-made p69)(started o31)(started o68)) :effect (and (not (not-made p69)) (made p69)) ) (:action make-product-p70 :parameters () :precondition (and (not-made p70)(started o8)(started o71)) :effect (and (not (not-made p70)) (made p70)) ) (:action make-product-p71 :parameters () :precondition (and (not-made p71)(started o2)(started o31)(started o58)(started o61)) :effect (and (not (not-made p71)) (made p71)) ) (:action make-product-p72 :parameters () :precondition (and (not-made p72)(started o73)) :effect (and (not (not-made p72)) (made p72)) ) (:action make-product-p73 :parameters () :precondition (and (not-made p73)(started o38)) :effect (and (not (not-made p73)) (made p73)) ) (:action make-product-p74 :parameters () :precondition (and (not-made p74)(started o28)) :effect (and (not (not-made p74)) (made p74)) ) (:action make-product-p75 :parameters () :precondition (and (not-made p75)(started o62)) :effect (and (not (not-made p75)) (made p75)) ) (:action make-product-p76 :parameters () :precondition (and (not-made p76)(started o53)) :effect (and (not (not-made p76)) (made p76)) ) (:action make-product-p77 :parameters () :precondition (and (not-made p77)(started o69)) :effect (and (not (not-made p77)) (made p77)) ) (:action make-product-p78 :parameters () :precondition (and (not-made p78)(started o23)(started o50)) :effect (and (not (not-made p78)) (made p78)) ) (:action make-product-p79 :parameters () :precondition (and (not-made p79)(started o52)(started o55)) :effect (and (not (not-made p79)) (made p79)) ) (:action make-product-p80 :parameters () :precondition (and (not-made p80)(started o64)(started o68)) :effect (and (not (not-made p80)) (made p80)) ) (:action ship-order-o1 :parameters (?avail ?new-avail - count) :precondition (and (started o1)(made p8)(made p11)(made p17)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o1))(shipped o1)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o2 :parameters (?avail ?new-avail - count) :precondition (and (started o2)(made p66)(made p71)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o2))(shipped o2)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o3 :parameters (?avail ?new-avail - count) :precondition (and (started o3)(made p50)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o3))(shipped o3)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o4 :parameters (?avail ?new-avail - count) :precondition (and (started o4)(made p11)(made p23)(made p28)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o4))(shipped o4)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o5 :parameters (?avail ?new-avail - count) :precondition (and (started o5)(made p46)(made p52)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o5))(shipped o5)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o6 :parameters (?avail ?new-avail - count) :precondition (and (started o6)(made p11)(made p15)(made p20)(made p45)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o6))(shipped o6)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o7 :parameters (?avail ?new-avail - count) :precondition (and (started o7)(made p12)(made p21)(made p59)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o7))(shipped o7)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o8 :parameters (?avail ?new-avail - count) :precondition (and (started o8)(made p27)(made p59)(made p70)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o8))(shipped o8)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o9 :parameters (?avail ?new-avail - count) :precondition (and (started o9)(made p60)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o9))(shipped o9)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o10 :parameters (?avail ?new-avail - count) :precondition (and (started o10)(made p67)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o10))(shipped o10)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o11 :parameters (?avail ?new-avail - count) :precondition (and (started o11)(made p6)(made p23)(made p24)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o11))(shipped o11)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o12 :parameters (?avail ?new-avail - count) :precondition (and (started o12)(made p36)(made p53)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o12))(shipped o12)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o13 :parameters (?avail ?new-avail - count) :precondition (and (started o13)(made p31)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o13))(shipped o13)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o14 :parameters (?avail ?new-avail - count) :precondition (and (started o14)(made p41)(made p51)(made p53)(made p64)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o14))(shipped o14)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o15 :parameters (?avail ?new-avail - count) :precondition (and (started o15)(made p48)(made p62)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o15))(shipped o15)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o16 :parameters (?avail ?new-avail - count) :precondition (and (started o16)(made p8)(made p17)(made p25)(made p54)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o16))(shipped o16)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o17 :parameters (?avail ?new-avail - count) :precondition (and (started o17)(made p4)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o17))(shipped o17)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o18 :parameters (?avail ?new-avail - count) :precondition (and (started o18)(made p11)(made p13)(made p15)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o18))(shipped o18)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o19 :parameters (?avail ?new-avail - count) :precondition (and (started o19)(made p35)(made p45)(made p46)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o19))(shipped o19)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o20 :parameters (?avail ?new-avail - count) :precondition (and (started o20)(made p9)(made p22)(made p33)(made p64)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o20))(shipped o20)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o21 :parameters (?avail ?new-avail - count) :precondition (and (started o21)(made p31)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o21))(shipped o21)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o22 :parameters (?avail ?new-avail - count) :precondition (and (started o22)(made p21)(made p56)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o22))(shipped o22)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o23 :parameters (?avail ?new-avail - count) :precondition (and (started o23)(made p55)(made p57)(made p78)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o23))(shipped o23)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o24 :parameters (?avail ?new-avail - count) :precondition (and (started o24)(made p20)(made p40)(made p42)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o24))(shipped o24)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o25 :parameters (?avail ?new-avail - count) :precondition (and (started o25)(made p24)(made p33)(made p36)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o25))(shipped o25)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o26 :parameters (?avail ?new-avail - count) :precondition (and (started o26)(made p25)(made p36)(made p38)(made p61)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o26))(shipped o26)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o27 :parameters (?avail ?new-avail - count) :precondition (and (started o27)(made p50)(made p55)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o27))(shipped o27)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o28 :parameters (?avail ?new-avail - count) :precondition (and (started o28)(made p28)(made p34)(made p74)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o28))(shipped o28)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o29 :parameters (?avail ?new-avail - count) :precondition (and (started o29)(made p68)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o29))(shipped o29)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o30 :parameters (?avail ?new-avail - count) :precondition (and (started o30)(made p11)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o30))(shipped o30)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o31 :parameters (?avail ?new-avail - count) :precondition (and (started o31)(made p34)(made p43)(made p44)(made p69)(made p71)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o31))(shipped o31)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o32 :parameters (?avail ?new-avail - count) :precondition (and (started o32)(made p39)(made p54)(made p56)(made p57)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o32))(shipped o32)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o33 :parameters (?avail ?new-avail - count) :precondition (and (started o33)(made p23)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o33))(shipped o33)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o34 :parameters (?avail ?new-avail - count) :precondition (and (started o34)(made p38)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o34))(shipped o34)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o35 :parameters (?avail ?new-avail - count) :precondition (and (started o35)(made p34)(made p36)(made p46)(made p47)(made p54)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o35))(shipped o35)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o36 :parameters (?avail ?new-avail - count) :precondition (and (started o36)(made p51)(made p54)(made p61)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o36))(shipped o36)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o37 :parameters (?avail ?new-avail - count) :precondition (and (started o37)(made p61)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o37))(shipped o37)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o38 :parameters (?avail ?new-avail - count) :precondition (and (started o38)(made p19)(made p38)(made p41)(made p45)(made p73)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o38))(shipped o38)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o39 :parameters (?avail ?new-avail - count) :precondition (and (started o39)(made p13)(made p24)(made p25)(made p29)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o39))(shipped o39)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o40 :parameters (?avail ?new-avail - count) :precondition (and (started o40)(made p64)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o40))(shipped o40)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o41 :parameters (?avail ?new-avail - count) :precondition (and (started o41)(made p14)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o41))(shipped o41)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o42 :parameters (?avail ?new-avail - count) :precondition (and (started o42)(made p8)(made p30)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o42))(shipped o42)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o43 :parameters (?avail ?new-avail - count) :precondition (and (started o43)(made p12)(made p26)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o43))(shipped o43)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o44 :parameters (?avail ?new-avail - count) :precondition (and (started o44)(made p2)(made p17)(made p19)(made p21)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o44))(shipped o44)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o45 :parameters (?avail ?new-avail - count) :precondition (and (started o45)(made p35)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o45))(shipped o45)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o46 :parameters (?avail ?new-avail - count) :precondition (and (started o46)(made p10)(made p53)(made p63)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o46))(shipped o46)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o47 :parameters (?avail ?new-avail - count) :precondition (and (started o47)(made p27)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o47))(shipped o47)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o48 :parameters (?avail ?new-avail - count) :precondition (and (started o48)(made p22)(made p31)(made p39)(made p45)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o48))(shipped o48)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o49 :parameters (?avail ?new-avail - count) :precondition (and (started o49)(made p56)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o49))(shipped o49)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o50 :parameters (?avail ?new-avail - count) :precondition (and (started o50)(made p51)(made p78)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o50))(shipped o50)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o51 :parameters (?avail ?new-avail - count) :precondition (and (started o51)(made p7)(made p13)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o51))(shipped o51)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o52 :parameters (?avail ?new-avail - count) :precondition (and (started o52)(made p25)(made p37)(made p61)(made p79)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o52))(shipped o52)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o53 :parameters (?avail ?new-avail - count) :precondition (and (started o53)(made p47)(made p52)(made p64)(made p76)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o53))(shipped o53)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o54 :parameters (?avail ?new-avail - count) :precondition (and (started o54)(made p37)(made p54)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o54))(shipped o54)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o55 :parameters (?avail ?new-avail - count) :precondition (and (started o55)(made p3)(made p79)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o55))(shipped o55)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o56 :parameters (?avail ?new-avail - count) :precondition (and (started o56)(made p64)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o56))(shipped o56)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o57 :parameters (?avail ?new-avail - count) :precondition (and (started o57)(made p20)(made p29)(made p38)(made p58)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o57))(shipped o57)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o58 :parameters (?avail ?new-avail - count) :precondition (and (started o58)(made p43)(made p68)(made p71)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o58))(shipped o58)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o59 :parameters (?avail ?new-avail - count) :precondition (and (started o59)(made p26)(made p33)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o59))(shipped o59)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o60 :parameters (?avail ?new-avail - count) :precondition (and (started o60)(made p6)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o60))(shipped o60)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o61 :parameters (?avail ?new-avail - count) :precondition (and (started o61)(made p71)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o61))(shipped o61)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o62 :parameters (?avail ?new-avail - count) :precondition (and (started o62)(made p26)(made p27)(made p39)(made p75)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o62))(shipped o62)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o63 :parameters (?avail ?new-avail - count) :precondition (and (started o63)(made p43)(made p64)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o63))(shipped o63)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o64 :parameters (?avail ?new-avail - count) :precondition (and (started o64)(made p38)(made p49)(made p80)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o64))(shipped o64)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o65 :parameters (?avail ?new-avail - count) :precondition (and (started o65)(made p7)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o65))(shipped o65)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o66 :parameters (?avail ?new-avail - count) :precondition (and (started o66)(made p63)(made p65)(made p67)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o66))(shipped o66)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o67 :parameters (?avail ?new-avail - count) :precondition (and (started o67)(made p4)(made p12)(made p24)(made p27)(made p47)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o67))(shipped o67)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o68 :parameters (?avail ?new-avail - count) :precondition (and (started o68)(made p16)(made p64)(made p69)(made p80)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o68))(shipped o68)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o69 :parameters (?avail ?new-avail - count) :precondition (and (started o69)(made p18)(made p77)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o69))(shipped o69)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o70 :parameters (?avail ?new-avail - count) :precondition (and (started o70)(made p25)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o70))(shipped o70)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o71 :parameters (?avail ?new-avail - count) :precondition (and (started o71)(made p64)(made p70)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o71))(shipped o71)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o72 :parameters (?avail ?new-avail - count) :precondition (and (started o72)(made p61)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o72))(shipped o72)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o73 :parameters (?avail ?new-avail - count) :precondition (and (started o73)(made p10)(made p31)(made p72)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o73))(shipped o73)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o74 :parameters (?avail ?new-avail - count) :precondition (and (started o74)(made p52)(made p53)(made p55)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o74))(shipped o74)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o75 :parameters (?avail ?new-avail - count) :precondition (and (started o75)(made p9)(made p15)(made p19)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o75))(shipped o75)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o76 :parameters (?avail ?new-avail - count) :precondition (and (started o76)(made p30)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o76))(shipped o76)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o77 :parameters (?avail ?new-avail - count) :precondition (and (started o77)(made p28)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o77))(shipped o77)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o78 :parameters (?avail ?new-avail - count) :precondition (and (started o78)(made p15)(made p25)(made p35)(made p38)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o78))(shipped o78)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o79 :parameters (?avail ?new-avail - count) :precondition (and (started o79)(made p1)(made p5)(made p19)(made p32)(made p44)(made p54)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o79))(shipped o79)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o80 :parameters (?avail ?new-avail - count) :precondition (and (started o80)(made p9)(made p15)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o80))(shipped o80)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) )