(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 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 - 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 o81 o82 o83 o84 o85 o86 o87 o88 o89 o90 o91 o92 o93 o94 o95 o96 o97 o98 o99 o100 o101 o102 o103 o104 o105 o106 o107 o108 o109 o110 o111 o112 o113 o114 o115 o116 o117 o118 o119 o120 o121 o122 o123 o124 o125 o126 o127 o128 o129 o130 - 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) ) (: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 o25)(started o32)(started o34)(started o85)(started o91)(started o95)(started o123)) :effect (and (not (not-made p1)) (made p1)) ) (:action make-product-p2 :parameters () :precondition (and (not-made p2)(started o13)(started o21)(started o43)(started o48)(started o61)(started o104)(started o120)) :effect (and (not (not-made p2)) (made p2)) ) (:action make-product-p3 :parameters () :precondition (and (not-made p3)(started o1)(started o2)(started o3)(started o62)(started o66)(started o68)(started o85)(started o87)(started o90)(started o94)(started o114)(started o127)) :effect (and (not (not-made p3)) (made p3)) ) (:action make-product-p4 :parameters () :precondition (and (not-made p4)(started o10)(started o14)(started o35)(started o49)(started o58)(started o68)(started o82)(started o109)) :effect (and (not (not-made p4)) (made p4)) ) (:action make-product-p5 :parameters () :precondition (and (not-made p5)(started o44)(started o87)(started o95)(started o100)(started o121)(started o122)) :effect (and (not (not-made p5)) (made p5)) ) (:action make-product-p6 :parameters () :precondition (and (not-made p6)(started o8)(started o16)(started o34)(started o49)(started o69)(started o83)(started o96)(started o97)) :effect (and (not (not-made p6)) (made p6)) ) (:action make-product-p7 :parameters () :precondition (and (not-made p7)(started o11)(started o18)(started o34)(started o44)(started o51)(started o52)(started o61)(started o79)(started o111)(started o123)) :effect (and (not (not-made p7)) (made p7)) ) (:action make-product-p8 :parameters () :precondition (and (not-made p8)(started o15)(started o26)(started o32)(started o36)(started o48)(started o52)(started o62)(started o83)(started o85)(started o101)(started o107)(started o113)) :effect (and (not (not-made p8)) (made p8)) ) (:action make-product-p9 :parameters () :precondition (and (not-made p9)(started o19)(started o20)(started o64)(started o65)(started o67)(started o78)(started o90)(started o99)(started o114)) :effect (and (not (not-made p9)) (made p9)) ) (:action make-product-p10 :parameters () :precondition (and (not-made p10)(started o24)(started o50)(started o56)(started o93)(started o95)(started o99)(started o127)) :effect (and (not (not-made p10)) (made p10)) ) (:action make-product-p11 :parameters () :precondition (and (not-made p11)(started o27)(started o28)(started o55)(started o92)(started o97)(started o113)(started o114)(started o115)) :effect (and (not (not-made p11)) (made p11)) ) (:action make-product-p12 :parameters () :precondition (and (not-made p12)(started o26)(started o29)(started o34)(started o62)(started o73)(started o79)(started o88)(started o96)(started o107)(started o111)(started o118)) :effect (and (not (not-made p12)) (made p12)) ) (:action make-product-p13 :parameters () :precondition (and (not-made p13)(started o35)(started o64)(started o73)(started o113)) :effect (and (not (not-made p13)) (made p13)) ) (:action make-product-p14 :parameters () :precondition (and (not-made p14)(started o18)(started o29)(started o30)(started o75)(started o76)(started o87)(started o102)(started o108)(started o128)) :effect (and (not (not-made p14)) (made p14)) ) (:action make-product-p15 :parameters () :precondition (and (not-made p15)(started o12)(started o39)(started o46)(started o49)(started o54)(started o55)(started o60)(started o64)(started o67)(started o68)(started o87)) :effect (and (not (not-made p15)) (made p15)) ) (:action make-product-p16 :parameters () :precondition (and (not-made p16)(started o35)(started o67)(started o77)(started o90)) :effect (and (not (not-made p16)) (made p16)) ) (:action make-product-p17 :parameters () :precondition (and (not-made p17)(started o122)(started o123)) :effect (and (not (not-made p17)) (made p17)) ) (:action make-product-p18 :parameters () :precondition (and (not-made p18)(started o18)(started o31)(started o85)(started o94)(started o95)(started o97)(started o120)) :effect (and (not (not-made p18)) (made p18)) ) (:action make-product-p19 :parameters () :precondition (and (not-made p19)(started o38)(started o42)(started o47)(started o55)(started o62)(started o72)(started o79)(started o100)(started o104)(started o105)(started o111)(started o123)(started o128)) :effect (and (not (not-made p19)) (made p19)) ) (:action make-product-p20 :parameters () :precondition (and (not-made p20)(started o11)(started o30)(started o73)(started o75)(started o78)(started o80)(started o83)(started o85)(started o97)(started o107)) :effect (and (not (not-made p20)) (made p20)) ) (:action make-product-p21 :parameters () :precondition (and (not-made p21)(started o1)(started o7)(started o12)(started o68)(started o99)) :effect (and (not (not-made p21)) (made p21)) ) (:action make-product-p22 :parameters () :precondition (and (not-made p22)(started o12)(started o27)(started o30)(started o36)(started o39)(started o42)(started o98)(started o126)) :effect (and (not (not-made p22)) (made p22)) ) (:action make-product-p23 :parameters () :precondition (and (not-made p23)(started o11)(started o70)(started o83)(started o102)) :effect (and (not (not-made p23)) (made p23)) ) (:action make-product-p24 :parameters () :precondition (and (not-made p24)(started o21)(started o61)(started o69)(started o90)(started o96)(started o100)) :effect (and (not (not-made p24)) (made p24)) ) (:action make-product-p25 :parameters () :precondition (and (not-made p25)(started o17)(started o20)(started o46)(started o49)(started o54)(started o63)(started o98)(started o103)(started o118)) :effect (and (not (not-made p25)) (made p25)) ) (:action make-product-p26 :parameters () :precondition (and (not-made p26)(started o17)(started o20)(started o21)(started o27)(started o30)(started o42)(started o61)(started o63)(started o93)(started o105)) :effect (and (not (not-made p26)) (made p26)) ) (:action make-product-p27 :parameters () :precondition (and (not-made p27)(started o3)(started o10)(started o11)(started o17)(started o28)(started o36)(started o53)(started o58)(started o61)(started o64)(started o84)(started o89)(started o100)(started o102)(started o114)(started o128)) :effect (and (not (not-made p27)) (made p27)) ) (:action make-product-p28 :parameters () :precondition (and (not-made p28)(started o8)(started o39)(started o51)(started o60)(started o71)(started o76)(started o127)) :effect (and (not (not-made p28)) (made p28)) ) (:action make-product-p29 :parameters () :precondition (and (not-made p29)(started o4)(started o7)(started o65)(started o90)(started o124)) :effect (and (not (not-made p29)) (made p29)) ) (:action make-product-p30 :parameters () :precondition (and (not-made p30)(started o50)(started o115)) :effect (and (not (not-made p30)) (made p30)) ) (:action make-product-p31 :parameters () :precondition (and (not-made p31)(started o15)(started o45)(started o86)(started o96)(started o123)(started o124)) :effect (and (not (not-made p31)) (made p31)) ) (:action make-product-p32 :parameters () :precondition (and (not-made p32)(started o11)(started o31)(started o39)(started o41)(started o56)(started o62)(started o74)(started o84)) :effect (and (not (not-made p32)) (made p32)) ) (:action make-product-p33 :parameters () :precondition (and (not-made p33)(started o3)(started o19)(started o27)(started o34)(started o39)(started o54)(started o62)(started o68)(started o78)(started o102)(started o108)(started o112)(started o114)) :effect (and (not (not-made p33)) (made p33)) ) (:action make-product-p34 :parameters () :precondition (and (not-made p34)(started o18)(started o43)(started o61)(started o97)(started o98)(started o116)(started o121)) :effect (and (not (not-made p34)) (made p34)) ) (:action make-product-p35 :parameters () :precondition (and (not-made p35)(started o11)(started o15)(started o22)(started o32)(started o45)(started o61)(started o72)(started o88)(started o92)(started o97)(started o121)) :effect (and (not (not-made p35)) (made p35)) ) (:action make-product-p36 :parameters () :precondition (and (not-made p36)(started o27)(started o43)(started o59)(started o72)(started o91)(started o112)) :effect (and (not (not-made p36)) (made p36)) ) (:action make-product-p37 :parameters () :precondition (and (not-made p37)(started o5)(started o24)(started o26)(started o27)(started o29)(started o42)(started o54)(started o60)(started o77)(started o89)(started o107)(started o112)) :effect (and (not (not-made p37)) (made p37)) ) (:action make-product-p38 :parameters () :precondition (and (not-made p38)(started o1)(started o15)(started o23)(started o86)(started o91)(started o122)(started o126)) :effect (and (not (not-made p38)) (made p38)) ) (:action make-product-p39 :parameters () :precondition (and (not-made p39)(started o39)(started o71)(started o104)(started o108)(started o115)) :effect (and (not (not-made p39)) (made p39)) ) (:action make-product-p40 :parameters () :precondition (and (not-made p40)(started o16)(started o26)(started o72)(started o85)(started o93)(started o120)(started o122)(started o123)) :effect (and (not (not-made p40)) (made p40)) ) (:action make-product-p41 :parameters () :precondition (and (not-made p41)(started o21)(started o30)(started o51)(started o69)(started o83)(started o88)(started o107)(started o123)(started o126)) :effect (and (not (not-made p41)) (made p41)) ) (:action make-product-p42 :parameters () :precondition (and (not-made p42)(started o8)(started o9)(started o13)(started o55)(started o61)(started o71)(started o93)(started o100)(started o116)(started o123)) :effect (and (not (not-made p42)) (made p42)) ) (:action make-product-p43 :parameters () :precondition (and (not-made p43)(started o18)(started o24)(started o28)(started o47)(started o87)(started o89)(started o112)(started o113)) :effect (and (not (not-made p43)) (made p43)) ) (:action make-product-p44 :parameters () :precondition (and (not-made p44)(started o9)(started o10)(started o19)(started o24)(started o49)(started o63)(started o64)(started o68)(started o71)(started o81)(started o85)(started o95)(started o98)(started o102)(started o112)) :effect (and (not (not-made p44)) (made p44)) ) (:action make-product-p45 :parameters () :precondition (and (not-made p45)(started o9)(started o13)(started o16)(started o39)(started o42)(started o48)(started o63)(started o65)(started o66)(started o71)(started o74)(started o79)(started o81)(started o125)) :effect (and (not (not-made p45)) (made p45)) ) (:action make-product-p46 :parameters () :precondition (and (not-made p46)(started o16)(started o43)(started o86)) :effect (and (not (not-made p46)) (made p46)) ) (:action make-product-p47 :parameters () :precondition (and (not-made p47)(started o15)(started o35)(started o86)(started o91)(started o100)(started o116)) :effect (and (not (not-made p47)) (made p47)) ) (:action make-product-p48 :parameters () :precondition (and (not-made p48)(started o5)(started o11)(started o15)(started o34)(started o59)(started o65)(started o100)) :effect (and (not (not-made p48)) (made p48)) ) (:action make-product-p49 :parameters () :precondition (and (not-made p49)(started o8)(started o15)(started o20)(started o101)) :effect (and (not (not-made p49)) (made p49)) ) (:action make-product-p50 :parameters () :precondition (and (not-made p50)(started o6)(started o11)(started o22)(started o25)(started o40)(started o52)(started o55)(started o59)(started o69)(started o70)(started o95)(started o107)(started o121)(started o126)(started o127)) :effect (and (not (not-made p50)) (made p50)) ) (:action make-product-p51 :parameters () :precondition (and (not-made p51)(started o12)(started o22)(started o26)(started o34)(started o47)(started o52)(started o59)(started o70)(started o72)(started o83)(started o92)(started o95)(started o101)(started o123)) :effect (and (not (not-made p51)) (made p51)) ) (:action make-product-p52 :parameters () :precondition (and (not-made p52)(started o2)(started o10)(started o60)(started o91)(started o93)(started o103)(started o115)) :effect (and (not (not-made p52)) (made p52)) ) (:action make-product-p53 :parameters () :precondition (and (not-made p53)(started o2)(started o7)(started o12)(started o45)(started o53)(started o65)(started o77)(started o99)(started o103)(started o119)) :effect (and (not (not-made p53)) (made p53)) ) (:action make-product-p54 :parameters () :precondition (and (not-made p54)(started o19)(started o35)(started o94)(started o98)(started o119)(started o125)(started o127)) :effect (and (not (not-made p54)) (made p54)) ) (:action make-product-p55 :parameters () :precondition (and (not-made p55)(started o5)(started o18)(started o39)(started o51)(started o87)(started o102)(started o108)(started o127)) :effect (and (not (not-made p55)) (made p55)) ) (:action make-product-p56 :parameters () :precondition (and (not-made p56)(started o3)(started o12)(started o19)(started o25)(started o60)(started o82)(started o127)) :effect (and (not (not-made p56)) (made p56)) ) (:action make-product-p57 :parameters () :precondition (and (not-made p57)(started o17)(started o30)(started o35)(started o41)(started o67)(started o88)(started o108)(started o115)(started o119)) :effect (and (not (not-made p57)) (made p57)) ) (:action make-product-p58 :parameters () :precondition (and (not-made p58)(started o5)(started o33)(started o42)(started o60)(started o66)(started o94)(started o97)(started o98)(started o114)(started o115)) :effect (and (not (not-made p58)) (made p58)) ) (:action make-product-p59 :parameters () :precondition (and (not-made p59)(started o20)(started o36)(started o87)(started o94)(started o97)(started o116)) :effect (and (not (not-made p59)) (made p59)) ) (:action make-product-p60 :parameters () :precondition (and (not-made p60)(started o22)(started o40)(started o118)) :effect (and (not (not-made p60)) (made p60)) ) (:action make-product-p61 :parameters () :precondition (and (not-made p61)(started o29)(started o40)(started o75)(started o76)(started o85)(started o86)(started o122)) :effect (and (not (not-made p61)) (made p61)) ) (:action make-product-p62 :parameters () :precondition (and (not-made p62)(started o43)(started o70)(started o84)(started o114)) :effect (and (not (not-made p62)) (made p62)) ) (:action make-product-p63 :parameters () :precondition (and (not-made p63)(started o18)(started o26)(started o27)(started o36)(started o40)(started o61)(started o63)(started o74)(started o93)(started o100)(started o115)) :effect (and (not (not-made p63)) (made p63)) ) (:action make-product-p64 :parameters () :precondition (and (not-made p64)(started o33)(started o38)(started o81)(started o115)) :effect (and (not (not-made p64)) (made p64)) ) (:action make-product-p65 :parameters () :precondition (and (not-made p65)(started o7)(started o17)) :effect (and (not (not-made p65)) (made p65)) ) (:action make-product-p66 :parameters () :precondition (and (not-made p66)(started o12)(started o28)(started o31)(started o35)(started o50)(started o64)(started o102)) :effect (and (not (not-made p66)) (made p66)) ) (:action make-product-p67 :parameters () :precondition (and (not-made p67)(started o15)(started o16)(started o43)(started o61)(started o69)(started o75)(started o88)(started o91)(started o96)(started o113)(started o126)) :effect (and (not (not-made p67)) (made p67)) ) (:action make-product-p68 :parameters () :precondition (and (not-made p68)(started o20)(started o24)(started o39)(started o61)(started o85)(started o87)(started o93)(started o95)(started o116)(started o120)(started o124)) :effect (and (not (not-made p68)) (made p68)) ) (:action make-product-p69 :parameters () :precondition (and (not-made p69)(started o45)(started o51)(started o52)(started o61)(started o62)(started o69)(started o72)(started o107)(started o116)(started o118)(started o129)) :effect (and (not (not-made p69)) (made p69)) ) (:action make-product-p70 :parameters () :precondition (and (not-made p70)(started o5)(started o74)(started o89)(started o113)(started o127)) :effect (and (not (not-made p70)) (made p70)) ) (:action make-product-p71 :parameters () :precondition (and (not-made p71)(started o1)(started o2)(started o17)(started o18)(started o50)(started o57)(started o98)(started o102)(started o103)(started o109)(started o118)) :effect (and (not (not-made p71)) (made p71)) ) (:action make-product-p72 :parameters () :precondition (and (not-made p72)(started o26)(started o47)(started o54)(started o86)(started o116)(started o118)(started o129)) :effect (and (not (not-made p72)) (made p72)) ) (:action make-product-p73 :parameters () :precondition (and (not-made p73)(started o54)(started o66)(started o76)(started o82)(started o94)(started o95)(started o97)(started o98)(started o121)(started o123)(started o130)) :effect (and (not (not-made p73)) (made p73)) ) (:action make-product-p74 :parameters () :precondition (and (not-made p74)(started o19)(started o48)(started o56)(started o57)(started o64)(started o82)) :effect (and (not (not-made p74)) (made p74)) ) (:action make-product-p75 :parameters () :precondition (and (not-made p75)(started o25)(started o47)(started o92)(started o96)(started o121)(started o122)(started o126)) :effect (and (not (not-made p75)) (made p75)) ) (:action make-product-p76 :parameters () :precondition (and (not-made p76)(started o3)(started o7)(started o12)(started o14)(started o42)(started o49)(started o67)(started o114)(started o124)) :effect (and (not (not-made p76)) (made p76)) ) (:action make-product-p77 :parameters () :precondition (and (not-made p77)(started o38)(started o39)(started o128)) :effect (and (not (not-made p77)) (made p77)) ) (:action make-product-p78 :parameters () :precondition (and (not-made p78)(started o11)(started o14)(started o19)(started o27)(started o50)(started o55)(started o57)(started o63)(started o79)(started o81)(started o97)(started o109)(started o111)(started o127)) :effect (and (not (not-made p78)) (made p78)) ) (:action make-product-p79 :parameters () :precondition (and (not-made p79)(started o11)(started o24)(started o43)(started o48)(started o92)(started o101)(started o110)(started o130)) :effect (and (not (not-made p79)) (made p79)) ) (:action make-product-p80 :parameters () :precondition (and (not-made p80)(started o24)(started o49)(started o61)(started o78)(started o81)(started o89)(started o90)(started o94)(started o127)(started o128)) :effect (and (not (not-made p80)) (made p80)) ) (:action make-product-p81 :parameters () :precondition (and (not-made p81)(started o25)(started o55)(started o66)(started o77)(started o107)(started o111)(started o118)) :effect (and (not (not-made p81)) (made p81)) ) (:action make-product-p82 :parameters () :precondition (and (not-made p82)(started o10)(started o31)(started o53)(started o82)(started o98)(started o102)(started o103)(started o106)(started o125)) :effect (and (not (not-made p82)) (made p82)) ) (:action make-product-p83 :parameters () :precondition (and (not-made p83)(started o42)(started o63)(started o65)(started o67)(started o82)(started o124)) :effect (and (not (not-made p83)) (made p83)) ) (:action make-product-p84 :parameters () :precondition (and (not-made p84)(started o10)(started o12)(started o65)(started o125)) :effect (and (not (not-made p84)) (made p84)) ) (:action make-product-p85 :parameters () :precondition (and (not-made p85)(started o39)(started o41)(started o102)(started o109)(started o122)(started o125)(started o128)) :effect (and (not (not-made p85)) (made p85)) ) (:action make-product-p86 :parameters () :precondition (and (not-made p86)(started o11)(started o21)(started o45)(started o47)(started o51)(started o73)(started o84)(started o112)(started o126)) :effect (and (not (not-made p86)) (made p86)) ) (:action make-product-p87 :parameters () :precondition (and (not-made p87)(started o37)(started o58)(started o65)(started o87)(started o88)(started o102)) :effect (and (not (not-made p87)) (made p87)) ) (:action make-product-p88 :parameters () :precondition (and (not-made p88)(started o57)(started o63)(started o80)(started o110)) :effect (and (not (not-made p88)) (made p88)) ) (:action make-product-p89 :parameters () :precondition (and (not-made p89)(started o2)(started o35)) :effect (and (not (not-made p89)) (made p89)) ) (:action make-product-p90 :parameters () :precondition (and (not-made p90)(started o25)(started o32)(started o43)(started o96)(started o130)) :effect (and (not (not-made p90)) (made p90)) ) (:action make-product-p91 :parameters () :precondition (and (not-made p91)(started o15)(started o21)(started o31)(started o34)(started o36)(started o62)(started o95)(started o104)(started o108)) :effect (and (not (not-made p91)) (made p91)) ) (:action make-product-p92 :parameters () :precondition (and (not-made p92)(started o3)(started o31)(started o56)(started o66)(started o94)(started o101)(started o114)(started o115)(started o119)) :effect (and (not (not-made p92)) (made p92)) ) (:action make-product-p93 :parameters () :precondition (and (not-made p93)(started o8)(started o43)(started o54)(started o72)(started o75)(started o76)(started o85)(started o88)(started o111)(started o116)(started o126)) :effect (and (not (not-made p93)) (made p93)) ) (:action make-product-p94 :parameters () :precondition (and (not-made p94)(started o5)(started o29)(started o40)(started o51)(started o73)(started o83)(started o84)(started o87)) :effect (and (not (not-made p94)) (made p94)) ) (:action make-product-p95 :parameters () :precondition (and (not-made p95)(started o13)(started o28)(started o35)(started o48)(started o57)(started o63)(started o87)(started o103)(started o125)(started o128)) :effect (and (not (not-made p95)) (made p95)) ) (:action make-product-p96 :parameters () :precondition (and (not-made p96)(started o7)(started o15)(started o18)(started o48)(started o82)) :effect (and (not (not-made p96)) (made p96)) ) (:action make-product-p97 :parameters () :precondition (and (not-made p97)(started o17)(started o19)(started o41)(started o46)(started o48)(started o54)(started o63)(started o70)(started o90)(started o108)(started o127)(started o128)) :effect (and (not (not-made p97)) (made p97)) ) (:action make-product-p98 :parameters () :precondition (and (not-made p98)(started o44)(started o45)(started o73)(started o83)(started o96)(started o97)(started o107)(started o125)) :effect (and (not (not-made p98)) (made p98)) ) (:action make-product-p99 :parameters () :precondition (and (not-made p99)(started o7)(started o10)(started o38)(started o57)(started o65)(started o109)(started o117)) :effect (and (not (not-made p99)) (made p99)) ) (:action make-product-p100 :parameters () :precondition (and (not-made p100)(started o45)(started o47)(started o51)(started o52)(started o74)(started o91)(started o93)(started o123)(started o130)) :effect (and (not (not-made p100)) (made p100)) ) (:action make-product-p101 :parameters () :precondition (and (not-made p101)(started o21)(started o73)(started o74)(started o83)(started o97)(started o102)(started o118)(started o127)) :effect (and (not (not-made p101)) (made p101)) ) (:action make-product-p102 :parameters () :precondition (and (not-made p102)(started o63)(started o108)) :effect (and (not (not-made p102)) (made p102)) ) (:action make-product-p103 :parameters () :precondition (and (not-made p103)(started o11)(started o15)(started o16)(started o21)(started o85)(started o86)(started o126)(started o130)) :effect (and (not (not-made p103)) (made p103)) ) (:action make-product-p104 :parameters () :precondition (and (not-made p104)(started o6)(started o17)(started o27)(started o30)(started o48)(started o49)(started o50)(started o60)(started o64)(started o68)(started o84)(started o109)(started o119)) :effect (and (not (not-made p104)) (made p104)) ) (:action make-product-p105 :parameters () :precondition (and (not-made p105)(started o39)(started o47)(started o54)(started o83)(started o90)(started o98)(started o125)) :effect (and (not (not-made p105)) (made p105)) ) (:action make-product-p106 :parameters () :precondition (and (not-made p106)(started o22)(started o25)(started o43)(started o54)(started o70)(started o75)(started o88)(started o105)) :effect (and (not (not-made p106)) (made p106)) ) (:action make-product-p107 :parameters () :precondition (and (not-made p107)(started o5)(started o56)(started o80)(started o107)) :effect (and (not (not-made p107)) (made p107)) ) (:action make-product-p108 :parameters () :precondition (and (not-made p108)(started o50)(started o61)(started o67)(started o77)(started o119)) :effect (and (not (not-made p108)) (made p108)) ) (:action make-product-p109 :parameters () :precondition (and (not-made p109)(started o19)(started o35)(started o66)(started o78)(started o88)(started o93)(started o94)(started o97)(started o98)(started o104)) :effect (and (not (not-made p109)) (made p109)) ) (:action make-product-p110 :parameters () :precondition (and (not-made p110)(started o21)(started o80)(started o96)) :effect (and (not (not-made p110)) (made p110)) ) (:action make-product-p111 :parameters () :precondition (and (not-made p111)(started o24)(started o46)(started o49)(started o65)(started o67)(started o71)(started o104)(started o111)) :effect (and (not (not-made p111)) (made p111)) ) (:action make-product-p112 :parameters () :precondition (and (not-made p112)(started o13)(started o28)(started o29)(started o39)(started o41)(started o47)(started o62)(started o93)(started o97)) :effect (and (not (not-made p112)) (made p112)) ) (:action make-product-p113 :parameters () :precondition (and (not-made p113)(started o5)(started o20)(started o22)(started o28)(started o30)(started o66)(started o73)(started o87)(started o91)(started o103)(started o111)(started o119)) :effect (and (not (not-made p113)) (made p113)) ) (:action make-product-p114 :parameters () :precondition (and (not-made p114)(started o5)(started o18)(started o20)(started o43)(started o61)(started o73)(started o75)(started o95)(started o105)(started o107)(started o108)(started o120)) :effect (and (not (not-made p114)) (made p114)) ) (:action make-product-p115 :parameters () :precondition (and (not-made p115)(started o1)(started o9)(started o15)(started o23)(started o32)(started o45)(started o73)(started o91)(started o111)) :effect (and (not (not-made p115)) (made p115)) ) (:action make-product-p116 :parameters () :precondition (and (not-made p116)(started o21)(started o22)(started o37)(started o45)(started o48)(started o52)(started o55)(started o85)(started o112)(started o116)(started o120)(started o121)(started o126)) :effect (and (not (not-made p116)) (made p116)) ) (:action make-product-p117 :parameters () :precondition (and (not-made p117)(started o2)(started o10)(started o14)(started o53)(started o90)) :effect (and (not (not-made p117)) (made p117)) ) (:action make-product-p118 :parameters () :precondition (and (not-made p118)(started o22)(started o30)(started o40)(started o43)(started o51)(started o116)) :effect (and (not (not-made p118)) (made p118)) ) (:action make-product-p119 :parameters () :precondition (and (not-made p119)(started o10)(started o125)) :effect (and (not (not-made p119)) (made p119)) ) (:action make-product-p120 :parameters () :precondition (and (not-made p120)(started o11)(started o49)(started o73)(started o74)(started o76)(started o83)(started o94)(started o112)(started o123)) :effect (and (not (not-made p120)) (made p120)) ) (:action make-product-p121 :parameters () :precondition (and (not-made p121)(started o6)(started o12)(started o48)(started o53)(started o82)(started o89)(started o93)(started o111)(started o113)(started o128)) :effect (and (not (not-made p121)) (made p121)) ) (:action make-product-p122 :parameters () :precondition (and (not-made p122)(started o1)(started o14)(started o17)(started o24)(started o28)(started o43)(started o46)(started o63)(started o99)(started o129)) :effect (and (not (not-made p122)) (made p122)) ) (:action make-product-p123 :parameters () :precondition (and (not-made p123)(started o2)(started o3)(started o4)(started o31)(started o77)(started o78)(started o82)(started o109)(started o110)) :effect (and (not (not-made p123)) (made p123)) ) (:action make-product-p124 :parameters () :precondition (and (not-made p124)(started o5)(started o38)(started o56)(started o81)(started o124)) :effect (and (not (not-made p124)) (made p124)) ) (:action make-product-p125 :parameters () :precondition (and (not-made p125)(started o3)(started o14)(started o60)) :effect (and (not (not-made p125)) (made p125)) ) (:action make-product-p126 :parameters () :precondition (and (not-made p126)(started o4)(started o7)(started o9)(started o19)(started o26)(started o30)(started o33)(started o102)(started o107)) :effect (and (not (not-made p126)) (made p126)) ) (:action make-product-p127 :parameters () :precondition (and (not-made p127)(started o5)(started o9)(started o30)(started o31)(started o46)(started o58)(started o78)(started o79)(started o93)(started o105)(started o113)(started o128)) :effect (and (not (not-made p127)) (made p127)) ) (:action make-product-p128 :parameters () :precondition (and (not-made p128)(started o39)(started o45)(started o47)(started o100)(started o120)(started o130)) :effect (and (not (not-made p128)) (made p128)) ) (:action make-product-p129 :parameters () :precondition (and (not-made p129)(started o15)(started o17)(started o25)(started o43)(started o122)(started o123)) :effect (and (not (not-made p129)) (made p129)) ) (:action make-product-p130 :parameters () :precondition (and (not-made p130)(started o14)(started o38)(started o53)(started o64)(started o82)(started o89)(started o109)(started o117)(started o124)) :effect (and (not (not-made p130)) (made p130)) ) (:action ship-order-o1 :parameters (?avail ?new-avail - count) :precondition (and (started o1)(made p3)(made p21)(made p38)(made p71)(made p115)(made p122)(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 p3)(made p52)(made p53)(made p71)(made p89)(made p117)(made p123)(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 p3)(made p27)(made p33)(made p56)(made p76)(made p92)(made p123)(made p125)(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 p29)(made p123)(made p126)(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 p37)(made p48)(made p55)(made p58)(made p70)(made p94)(made p107)(made p113)(made p114)(made p124)(made p127)(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 p50)(made p104)(made p121)(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 p21)(made p29)(made p53)(made p65)(made p76)(made p96)(made p99)(made p126)(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 p6)(made p28)(made p42)(made p49)(made p93)(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 p42)(made p44)(made p45)(made p115)(made p126)(made p127)(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 p4)(made p27)(made p44)(made p52)(made p82)(made p84)(made p99)(made p117)(made p119)(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 p7)(made p20)(made p23)(made p27)(made p32)(made p35)(made p48)(made p50)(made p78)(made p79)(made p86)(made p103)(made p120)(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 p15)(made p21)(made p22)(made p51)(made p53)(made p56)(made p66)(made p76)(made p84)(made p121)(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 p2)(made p42)(made p45)(made p95)(made p112)(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 p4)(made p76)(made p78)(made p117)(made p122)(made p125)(made p130)(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 p8)(made p31)(made p35)(made p38)(made p47)(made p48)(made p49)(made p67)(made p91)(made p96)(made p103)(made p115)(made p129)(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 p6)(made p40)(made p45)(made p46)(made p67)(made p103)(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 p25)(made p26)(made p27)(made p57)(made p65)(made p71)(made p97)(made p104)(made p122)(made p129)(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 p7)(made p14)(made p18)(made p34)(made p43)(made p55)(made p63)(made p71)(made p96)(made p114)(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 p9)(made p33)(made p44)(made p54)(made p56)(made p74)(made p78)(made p97)(made p109)(made p126)(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 p25)(made p26)(made p49)(made p59)(made p68)(made p113)(made p114)(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 p2)(made p24)(made p26)(made p41)(made p86)(made p91)(made p101)(made p103)(made p110)(made p116)(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 p35)(made p50)(made p51)(made p60)(made p106)(made p113)(made p116)(made p118)(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 p38)(made p115)(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 p10)(made p37)(made p43)(made p44)(made p68)(made p79)(made p80)(made p111)(made p122)(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 p1)(made p50)(made p56)(made p75)(made p81)(made p90)(made p106)(made p129)(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 p8)(made p12)(made p37)(made p40)(made p51)(made p63)(made p72)(made p126)(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 p11)(made p22)(made p26)(made p33)(made p36)(made p37)(made p63)(made p78)(made p104)(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 p11)(made p27)(made p43)(made p66)(made p95)(made p112)(made p113)(made p122)(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 p12)(made p14)(made p37)(made p61)(made p94)(made p112)(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 p14)(made p20)(made p22)(made p26)(made p41)(made p57)(made p104)(made p113)(made p118)(made p126)(made p127)(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 p18)(made p32)(made p66)(made p82)(made p91)(made p92)(made p123)(made p127)(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 p1)(made p8)(made p35)(made p90)(made p115)(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 p58)(made p64)(made p126)(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 p1)(made p6)(made p7)(made p12)(made p33)(made p48)(made p51)(made p91)(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 p4)(made p13)(made p16)(made p47)(made p54)(made p57)(made p66)(made p89)(made p95)(made p109)(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 p8)(made p22)(made p27)(made p59)(made p63)(made p91)(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 p87)(made p116)(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 p64)(made p77)(made p99)(made p124)(made p130)(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 p15)(made p22)(made p28)(made p32)(made p33)(made p39)(made p45)(made p55)(made p68)(made p77)(made p85)(made p105)(made p112)(made p128)(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 p50)(made p60)(made p61)(made p63)(made p94)(made p118)(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 p32)(made p57)(made p85)(made p97)(made p112)(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 p19)(made p22)(made p26)(made p37)(made p45)(made p58)(made p76)(made p83)(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 p2)(made p34)(made p36)(made p46)(made p62)(made p67)(made p79)(made p90)(made p93)(made p106)(made p114)(made p118)(made p122)(made p129)(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 p5)(made p7)(made p98)(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 p31)(made p35)(made p53)(made p69)(made p86)(made p98)(made p100)(made p115)(made p116)(made p128)(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 p15)(made p25)(made p97)(made p111)(made p122)(made p127)(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 p19)(made p43)(made p51)(made p72)(made p75)(made p86)(made p100)(made p105)(made p112)(made p128)(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 p2)(made p8)(made p45)(made p74)(made p79)(made p95)(made p96)(made p97)(made p104)(made p116)(made p121)(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 p4)(made p6)(made p15)(made p25)(made p44)(made p76)(made p80)(made p104)(made p111)(made p120)(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 p10)(made p30)(made p66)(made p71)(made p78)(made p104)(made p108)(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 p28)(made p41)(made p55)(made p69)(made p86)(made p94)(made p100)(made p118)(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 p7)(made p8)(made p50)(made p51)(made p69)(made p100)(made p116)(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 p27)(made p53)(made p82)(made p117)(made p121)(made p130)(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 p15)(made p25)(made p33)(made p37)(made p72)(made p73)(made p93)(made p97)(made p105)(made p106)(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 p11)(made p15)(made p19)(made p42)(made p50)(made p78)(made p81)(made p116)(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 p10)(made p32)(made p74)(made p92)(made p107)(made p124)(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 p71)(made p74)(made p78)(made p88)(made p95)(made p99)(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 p4)(made p27)(made p87)(made p127)(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 p36)(made p48)(made p50)(made p51)(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 p15)(made p28)(made p37)(made p52)(made p56)(made p58)(made p104)(made p125)(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 p2)(made p7)(made p24)(made p26)(made p27)(made p34)(made p35)(made p42)(made p63)(made p67)(made p68)(made p69)(made p80)(made p108)(made p114)(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 p3)(made p8)(made p12)(made p19)(made p32)(made p33)(made p69)(made p91)(made p112)(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 p25)(made p26)(made p44)(made p45)(made p63)(made p78)(made p83)(made p88)(made p95)(made p97)(made p102)(made p122)(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 p9)(made p13)(made p15)(made p27)(made p44)(made p66)(made p74)(made p104)(made p130)(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 p9)(made p29)(made p45)(made p48)(made p53)(made p83)(made p84)(made p87)(made p99)(made p111)(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 p3)(made p45)(made p58)(made p73)(made p81)(made p92)(made p109)(made p113)(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 p9)(made p15)(made p16)(made p57)(made p76)(made p83)(made p108)(made p111)(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 p3)(made p4)(made p15)(made p21)(made p33)(made p44)(made p104)(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 p6)(made p24)(made p41)(made p50)(made p67)(made p69)(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 p23)(made p50)(made p51)(made p62)(made p97)(made p106)(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 p28)(made p39)(made p42)(made p44)(made p45)(made p111)(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 p19)(made p35)(made p36)(made p40)(made p51)(made p69)(made p93)(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 p12)(made p13)(made p20)(made p86)(made p94)(made p98)(made p101)(made p113)(made p114)(made p115)(made p120)(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 p32)(made p45)(made p63)(made p70)(made p100)(made p101)(made p120)(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 p14)(made p20)(made p61)(made p67)(made p93)(made p106)(made p114)(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 p14)(made p28)(made p61)(made p73)(made p93)(made p120)(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 p16)(made p37)(made p53)(made p81)(made p108)(made p123)(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 p9)(made p20)(made p33)(made p80)(made p109)(made p123)(made p127)(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 p7)(made p12)(made p19)(made p45)(made p78)(made p127)(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 p20)(made p88)(made p107)(made p110)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o80))(shipped o80)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o81 :parameters (?avail ?new-avail - count) :precondition (and (started o81)(made p44)(made p45)(made p64)(made p78)(made p80)(made p124)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o81))(shipped o81)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o82 :parameters (?avail ?new-avail - count) :precondition (and (started o82)(made p4)(made p56)(made p73)(made p74)(made p82)(made p83)(made p96)(made p121)(made p123)(made p130)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o82))(shipped o82)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o83 :parameters (?avail ?new-avail - count) :precondition (and (started o83)(made p6)(made p8)(made p20)(made p23)(made p41)(made p51)(made p94)(made p98)(made p101)(made p105)(made p120)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o83))(shipped o83)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o84 :parameters (?avail ?new-avail - count) :precondition (and (started o84)(made p27)(made p32)(made p62)(made p86)(made p94)(made p104)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o84))(shipped o84)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o85 :parameters (?avail ?new-avail - count) :precondition (and (started o85)(made p1)(made p3)(made p8)(made p18)(made p20)(made p40)(made p44)(made p61)(made p68)(made p93)(made p103)(made p116)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o85))(shipped o85)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o86 :parameters (?avail ?new-avail - count) :precondition (and (started o86)(made p31)(made p38)(made p46)(made p47)(made p61)(made p72)(made p103)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o86))(shipped o86)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o87 :parameters (?avail ?new-avail - count) :precondition (and (started o87)(made p3)(made p5)(made p14)(made p15)(made p43)(made p55)(made p59)(made p68)(made p87)(made p94)(made p95)(made p113)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o87))(shipped o87)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o88 :parameters (?avail ?new-avail - count) :precondition (and (started o88)(made p12)(made p35)(made p41)(made p57)(made p67)(made p87)(made p93)(made p106)(made p109)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o88))(shipped o88)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o89 :parameters (?avail ?new-avail - count) :precondition (and (started o89)(made p27)(made p37)(made p43)(made p70)(made p80)(made p121)(made p130)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o89))(shipped o89)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o90 :parameters (?avail ?new-avail - count) :precondition (and (started o90)(made p3)(made p9)(made p16)(made p24)(made p29)(made p80)(made p97)(made p105)(made p117)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o90))(shipped o90)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o91 :parameters (?avail ?new-avail - count) :precondition (and (started o91)(made p1)(made p36)(made p38)(made p47)(made p52)(made p67)(made p100)(made p113)(made p115)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o91))(shipped o91)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o92 :parameters (?avail ?new-avail - count) :precondition (and (started o92)(made p11)(made p35)(made p51)(made p75)(made p79)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o92))(shipped o92)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o93 :parameters (?avail ?new-avail - count) :precondition (and (started o93)(made p10)(made p26)(made p40)(made p42)(made p52)(made p63)(made p68)(made p100)(made p109)(made p112)(made p121)(made p127)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o93))(shipped o93)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o94 :parameters (?avail ?new-avail - count) :precondition (and (started o94)(made p3)(made p18)(made p54)(made p58)(made p59)(made p73)(made p80)(made p92)(made p109)(made p120)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o94))(shipped o94)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o95 :parameters (?avail ?new-avail - count) :precondition (and (started o95)(made p1)(made p5)(made p10)(made p18)(made p44)(made p50)(made p51)(made p68)(made p73)(made p91)(made p114)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o95))(shipped o95)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o96 :parameters (?avail ?new-avail - count) :precondition (and (started o96)(made p6)(made p12)(made p24)(made p31)(made p67)(made p75)(made p90)(made p98)(made p110)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o96))(shipped o96)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o97 :parameters (?avail ?new-avail - count) :precondition (and (started o97)(made p6)(made p11)(made p18)(made p20)(made p34)(made p35)(made p58)(made p59)(made p73)(made p78)(made p98)(made p101)(made p109)(made p112)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o97))(shipped o97)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o98 :parameters (?avail ?new-avail - count) :precondition (and (started o98)(made p22)(made p25)(made p34)(made p44)(made p54)(made p58)(made p71)(made p73)(made p82)(made p105)(made p109)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o98))(shipped o98)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o99 :parameters (?avail ?new-avail - count) :precondition (and (started o99)(made p9)(made p10)(made p21)(made p53)(made p122)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o99))(shipped o99)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o100 :parameters (?avail ?new-avail - count) :precondition (and (started o100)(made p5)(made p19)(made p24)(made p27)(made p42)(made p47)(made p48)(made p63)(made p128)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o100))(shipped o100)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o101 :parameters (?avail ?new-avail - count) :precondition (and (started o101)(made p8)(made p49)(made p51)(made p79)(made p92)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o101))(shipped o101)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o102 :parameters (?avail ?new-avail - count) :precondition (and (started o102)(made p14)(made p23)(made p27)(made p33)(made p44)(made p55)(made p66)(made p71)(made p82)(made p85)(made p87)(made p101)(made p126)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o102))(shipped o102)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o103 :parameters (?avail ?new-avail - count) :precondition (and (started o103)(made p25)(made p52)(made p53)(made p71)(made p82)(made p95)(made p113)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o103))(shipped o103)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o104 :parameters (?avail ?new-avail - count) :precondition (and (started o104)(made p2)(made p19)(made p39)(made p91)(made p109)(made p111)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o104))(shipped o104)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o105 :parameters (?avail ?new-avail - count) :precondition (and (started o105)(made p19)(made p26)(made p106)(made p114)(made p127)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o105))(shipped o105)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o106 :parameters (?avail ?new-avail - count) :precondition (and (started o106)(made p82)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o106))(shipped o106)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o107 :parameters (?avail ?new-avail - count) :precondition (and (started o107)(made p8)(made p12)(made p20)(made p37)(made p41)(made p50)(made p69)(made p81)(made p98)(made p107)(made p114)(made p126)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o107))(shipped o107)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o108 :parameters (?avail ?new-avail - count) :precondition (and (started o108)(made p14)(made p33)(made p39)(made p55)(made p57)(made p91)(made p97)(made p102)(made p114)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o108))(shipped o108)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o109 :parameters (?avail ?new-avail - count) :precondition (and (started o109)(made p4)(made p71)(made p78)(made p85)(made p99)(made p104)(made p123)(made p130)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o109))(shipped o109)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o110 :parameters (?avail ?new-avail - count) :precondition (and (started o110)(made p79)(made p88)(made p123)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o110))(shipped o110)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o111 :parameters (?avail ?new-avail - count) :precondition (and (started o111)(made p7)(made p12)(made p19)(made p78)(made p81)(made p93)(made p111)(made p113)(made p115)(made p121)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o111))(shipped o111)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o112 :parameters (?avail ?new-avail - count) :precondition (and (started o112)(made p33)(made p36)(made p37)(made p43)(made p44)(made p86)(made p116)(made p120)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o112))(shipped o112)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o113 :parameters (?avail ?new-avail - count) :precondition (and (started o113)(made p8)(made p11)(made p13)(made p43)(made p67)(made p70)(made p121)(made p127)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o113))(shipped o113)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o114 :parameters (?avail ?new-avail - count) :precondition (and (started o114)(made p3)(made p9)(made p11)(made p27)(made p33)(made p58)(made p62)(made p76)(made p92)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o114))(shipped o114)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o115 :parameters (?avail ?new-avail - count) :precondition (and (started o115)(made p11)(made p30)(made p39)(made p52)(made p57)(made p58)(made p63)(made p64)(made p92)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o115))(shipped o115)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o116 :parameters (?avail ?new-avail - count) :precondition (and (started o116)(made p34)(made p42)(made p47)(made p59)(made p68)(made p69)(made p72)(made p93)(made p116)(made p118)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o116))(shipped o116)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o117 :parameters (?avail ?new-avail - count) :precondition (and (started o117)(made p99)(made p130)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o117))(shipped o117)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o118 :parameters (?avail ?new-avail - count) :precondition (and (started o118)(made p12)(made p25)(made p60)(made p69)(made p71)(made p72)(made p81)(made p101)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o118))(shipped o118)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o119 :parameters (?avail ?new-avail - count) :precondition (and (started o119)(made p53)(made p54)(made p57)(made p92)(made p104)(made p108)(made p113)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o119))(shipped o119)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o120 :parameters (?avail ?new-avail - count) :precondition (and (started o120)(made p2)(made p18)(made p40)(made p68)(made p114)(made p116)(made p128)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o120))(shipped o120)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o121 :parameters (?avail ?new-avail - count) :precondition (and (started o121)(made p5)(made p34)(made p35)(made p50)(made p73)(made p75)(made p116)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o121))(shipped o121)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o122 :parameters (?avail ?new-avail - count) :precondition (and (started o122)(made p5)(made p17)(made p38)(made p40)(made p61)(made p75)(made p85)(made p129)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o122))(shipped o122)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o123 :parameters (?avail ?new-avail - count) :precondition (and (started o123)(made p1)(made p7)(made p17)(made p19)(made p31)(made p40)(made p41)(made p42)(made p51)(made p73)(made p100)(made p120)(made p129)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o123))(shipped o123)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o124 :parameters (?avail ?new-avail - count) :precondition (and (started o124)(made p29)(made p31)(made p68)(made p76)(made p83)(made p124)(made p130)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o124))(shipped o124)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o125 :parameters (?avail ?new-avail - count) :precondition (and (started o125)(made p45)(made p54)(made p82)(made p84)(made p85)(made p95)(made p98)(made p105)(made p119)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o125))(shipped o125)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o126 :parameters (?avail ?new-avail - count) :precondition (and (started o126)(made p22)(made p38)(made p41)(made p50)(made p67)(made p75)(made p86)(made p93)(made p103)(made p116)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o126))(shipped o126)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o127 :parameters (?avail ?new-avail - count) :precondition (and (started o127)(made p3)(made p10)(made p28)(made p50)(made p54)(made p55)(made p56)(made p70)(made p78)(made p80)(made p97)(made p101)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o127))(shipped o127)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o128 :parameters (?avail ?new-avail - count) :precondition (and (started o128)(made p14)(made p19)(made p27)(made p77)(made p80)(made p85)(made p95)(made p97)(made p121)(made p127)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o128))(shipped o128)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o129 :parameters (?avail ?new-avail - count) :precondition (and (started o129)(made p69)(made p72)(made p122)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o129))(shipped o129)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) (:action ship-order-o130 :parameters (?avail ?new-avail - count) :precondition (and (started o130)(made p73)(made p79)(made p90)(made p100)(made p103)(made p128)(stacks-avail ?avail)(next-count ?avail ?new-avail)) :effect (and (not (started o130))(shipped o130)(not (stacks-avail ?avail))(stacks-avail ?new-avail))) )