(define (problem os-sequencedstrips-gp50by50-4) (:domain openstacks-sequencedstrips) (:objects n0 n1 n2 n3 n4 n5 n6 n7 n8 n9 n10 n11 n12 n13 n14 n15 n16 n17 n18 n19 n20 n21 n22 n23 n24 n25 n26 n27 n28 n29 n30 n31 n32 n33 n34 n35 n36 n37 n38 n39 n40 n41 n42 n43 n44 n45 n46 n47 n48 n49 n50 - count 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 - order 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 - product) (:init (machine-available) (next-count n0 n1) (next-count n1 n2) (next-count n2 n3) (next-count n3 n4) (next-count n4 n5) (next-count n5 n6) (next-count n6 n7) (next-count n7 n8) (next-count n8 n9) (next-count n9 n10) (next-count n10 n11) (next-count n11 n12) (next-count n12 n13) (next-count n13 n14) (next-count n14 n15) (next-count n15 n16) (next-count n16 n17) (next-count n17 n18) (next-count n18 n19) (next-count n19 n20) (next-count n20 n21) (next-count n21 n22) (next-count n22 n23) (next-count n23 n24) (next-count n24 n25) (next-count n25 n26) (next-count n26 n27) (next-count n27 n28) (next-count n28 n29) (next-count n29 n30) (next-count n30 n31) (next-count n31 n32) (next-count n32 n33) (next-count n33 n34) (next-count n34 n35) (next-count n35 n36) (next-count n36 n37) (next-count n37 n38) (next-count n38 n39) (next-count n39 n40) (next-count n40 n41) (next-count n41 n42) (next-count n42 n43) (next-count n43 n44) (next-count n44 n45) (next-count n45 n46) (next-count n46 n47) (next-count n47 n48) (next-count n48 n49) (next-count n49 n50) (stacks-avail n0) (waiting o1) (includes o1 p1) (includes o1 p4) (includes o1 p5) (includes o1 p6) (includes o1 p7) (includes o1 p9) (includes o1 p10) (includes o1 p11) (includes o1 p12) (includes o1 p13) (includes o1 p15) (includes o1 p17) (includes o1 p18) (includes o1 p19) (includes o1 p20) (includes o1 p21) (includes o1 p22) (includes o1 p23) (includes o1 p26) (includes o1 p27) (includes o1 p28) (includes o1 p29) (includes o1 p30) (includes o1 p31) (includes o1 p34) (includes o1 p36) (includes o1 p37) (includes o1 p38) (includes o1 p39) (includes o1 p41) (includes o1 p43) (includes o1 p44) (includes o1 p45) (includes o1 p47) (includes o1 p48) (waiting o2) (includes o2 p3) (includes o2 p5) (includes o2 p6) (includes o2 p12) (includes o2 p17) (includes o2 p20) (includes o2 p21) (includes o2 p23) (includes o2 p24) (includes o2 p25) (includes o2 p26) (includes o2 p28) (includes o2 p29) (includes o2 p31) (includes o2 p33) (includes o2 p36) (includes o2 p41) (includes o2 p42) (includes o2 p45) (includes o2 p46) (includes o2 p49) (includes o2 p50) (waiting o3) (includes o3 p2) (includes o3 p24) (includes o3 p25) (includes o3 p40) (includes o3 p42) (includes o3 p46) (includes o3 p49) (includes o3 p50) (waiting o4) (includes o4 p1) (includes o4 p2) (includes o4 p4) (includes o4 p5) (includes o4 p7) (includes o4 p8) (includes o4 p10) (includes o4 p11) (includes o4 p13) (includes o4 p14) (includes o4 p15) (includes o4 p16) (includes o4 p17) (includes o4 p19) (includes o4 p20) (includes o4 p22) (includes o4 p23) (includes o4 p24) (includes o4 p25) (includes o4 p26) (includes o4 p28) (includes o4 p29) (includes o4 p30) (includes o4 p31) (includes o4 p32) (includes o4 p33) (includes o4 p34) (includes o4 p35) (includes o4 p36) (includes o4 p37) (includes o4 p39) (includes o4 p40) (includes o4 p41) (includes o4 p42) (includes o4 p44) (includes o4 p45) (includes o4 p46) (includes o4 p47) (includes o4 p48) (includes o4 p49) (waiting o5) (includes o5 p2) (includes o5 p3) (includes o5 p4) (includes o5 p5) (includes o5 p6) (includes o5 p9) (includes o5 p12) (includes o5 p14) (includes o5 p15) (includes o5 p17) (includes o5 p18) (includes o5 p20) (includes o5 p22) (includes o5 p23) (includes o5 p24) (includes o5 p25) (includes o5 p26) (includes o5 p28) (includes o5 p31) (includes o5 p33) (includes o5 p36) (includes o5 p38) (includes o5 p40) (includes o5 p41) (includes o5 p42) (includes o5 p45) (includes o5 p46) (includes o5 p50) (waiting o6) (includes o6 p1) (includes o6 p2) (includes o6 p3) (includes o6 p4) (includes o6 p5) (includes o6 p6) (includes o6 p7) (includes o6 p8) (includes o6 p10) (includes o6 p11) (includes o6 p12) (includes o6 p13) (includes o6 p14) (includes o6 p15) (includes o6 p16) (includes o6 p17) (includes o6 p18) (includes o6 p19) (includes o6 p20) (includes o6 p21) (includes o6 p22) (includes o6 p23) (includes o6 p24) (includes o6 p25) (includes o6 p26) (includes o6 p27) (includes o6 p28) (includes o6 p30) (includes o6 p31) (includes o6 p32) (includes o6 p33) (includes o6 p35) (includes o6 p36) (includes o6 p37) (includes o6 p38) (includes o6 p39) (includes o6 p42) (includes o6 p44) (includes o6 p45) (includes o6 p46) (includes o6 p47) (includes o6 p48) (includes o6 p49) (includes o6 p50) (waiting o7) (includes o7 p1) (includes o7 p5) (includes o7 p6) (includes o7 p7) (includes o7 p8) (includes o7 p9) (includes o7 p10) (includes o7 p11) (includes o7 p12) (includes o7 p13) (includes o7 p15) (includes o7 p16) (includes o7 p18) (includes o7 p19) (includes o7 p20) (includes o7 p21) (includes o7 p22) (includes o7 p23) (includes o7 p26) (includes o7 p27) (includes o7 p28) (includes o7 p29) (includes o7 p30) (includes o7 p31) (includes o7 p32) (includes o7 p34) (includes o7 p35) (includes o7 p36) (includes o7 p37) (includes o7 p39) (includes o7 p43) (includes o7 p44) (includes o7 p45) (includes o7 p47) (includes o7 p48) (waiting o8) (includes o8 p11) (includes o8 p37) (includes o8 p43) (includes o8 p44) (waiting o9) (includes o9 p1) (includes o9 p2) (includes o9 p3) (includes o9 p4) (includes o9 p5) (includes o9 p6) (includes o9 p7) (includes o9 p8) (includes o9 p9) (includes o9 p10) (includes o9 p11) (includes o9 p13) (includes o9 p14) (includes o9 p16) (includes o9 p17) (includes o9 p20) (includes o9 p21) (includes o9 p22) (includes o9 p23) (includes o9 p24) (includes o9 p25) (includes o9 p26) (includes o9 p27) (includes o9 p28) (includes o9 p29) (includes o9 p30) (includes o9 p31) (includes o9 p32) (includes o9 p33) (includes o9 p34) (includes o9 p35) (includes o9 p36) (includes o9 p37) (includes o9 p38) (includes o9 p39) (includes o9 p40) (includes o9 p42) (includes o9 p43) (includes o9 p44) (includes o9 p45) (includes o9 p46) (includes o9 p47) (includes o9 p48) (includes o9 p50) (waiting o10) (includes o10 p1) (includes o10 p2) (includes o10 p3) (includes o10 p4) (includes o10 p5) (includes o10 p6) (includes o10 p7) (includes o10 p8) (includes o10 p9) (includes o10 p10) (includes o10 p11) (includes o10 p12) (includes o10 p14) (includes o10 p15) (includes o10 p16) (includes o10 p17) (includes o10 p18) (includes o10 p19) (includes o10 p20) (includes o10 p22) (includes o10 p23) (includes o10 p24) (includes o10 p26) (includes o10 p27) (includes o10 p28) (includes o10 p29) (includes o10 p30) (includes o10 p31) (includes o10 p32) (includes o10 p33) (includes o10 p34) (includes o10 p35) (includes o10 p36) (includes o10 p37) (includes o10 p38) (includes o10 p39) (includes o10 p40) (includes o10 p42) (includes o10 p43) (includes o10 p44) (includes o10 p45) (includes o10 p46) (includes o10 p47) (includes o10 p48) (includes o10 p49) (includes o10 p50) (waiting o11) (includes o11 p1) (includes o11 p2) (includes o11 p3) (includes o11 p4) (includes o11 p5) (includes o11 p6) (includes o11 p7) (includes o11 p9) (includes o11 p10) (includes o11 p12) (includes o11 p13) (includes o11 p14) (includes o11 p15) (includes o11 p16) (includes o11 p17) (includes o11 p18) (includes o11 p20) (includes o11 p21) (includes o11 p22) (includes o11 p23) (includes o11 p24) (includes o11 p25) (includes o11 p26) (includes o11 p27) (includes o11 p28) (includes o11 p29) (includes o11 p30) (includes o11 p31) (includes o11 p32) (includes o11 p34) (includes o11 p35) (includes o11 p36) (includes o11 p38) (includes o11 p39) (includes o11 p41) (includes o11 p42) (includes o11 p46) (includes o11 p47) (includes o11 p49) (includes o11 p50) (waiting o12) (includes o12 p3) (includes o12 p24) (includes o12 p49) (waiting o13) (includes o13 p1) (includes o13 p2) (includes o13 p3) (includes o13 p4) (includes o13 p5) (includes o13 p6) (includes o13 p7) (includes o13 p8) (includes o13 p9) (includes o13 p10) (includes o13 p11) (includes o13 p13) (includes o13 p14) (includes o13 p15) (includes o13 p16) (includes o13 p17) (includes o13 p18) (includes o13 p19) (includes o13 p20) (includes o13 p21) (includes o13 p22) (includes o13 p23) (includes o13 p24) (includes o13 p25) (includes o13 p26) (includes o13 p27) (includes o13 p28) (includes o13 p29) (includes o13 p30) (includes o13 p31) (includes o13 p32) (includes o13 p33) (includes o13 p34) (includes o13 p35) (includes o13 p36) (includes o13 p37) (includes o13 p38) (includes o13 p41) (includes o13 p42) (includes o13 p44) (includes o13 p45) (includes o13 p46) (includes o13 p47) (includes o13 p48) (includes o13 p49) (includes o13 p50) (waiting o14) (includes o14 p2) (includes o14 p3) (includes o14 p4) (includes o14 p9) (includes o14 p12) (includes o14 p14) (includes o14 p15) (includes o14 p20) (includes o14 p21) (includes o14 p24) (includes o14 p31) (includes o14 p33) (includes o14 p36) (includes o14 p40) (includes o14 p41) (includes o14 p45) (includes o14 p46) (includes o14 p49) (includes o14 p50) (waiting o15) (includes o15 p1) (includes o15 p8) (includes o15 p10) (includes o15 p11) (includes o15 p32) (includes o15 p37) (includes o15 p39) (includes o15 p43) (includes o15 p44) (includes o15 p47) (includes o15 p48) (waiting o16) (includes o16 p2) (includes o16 p3) (includes o16 p4) (includes o16 p6) (includes o16 p9) (includes o16 p12) (includes o16 p13) (includes o16 p14) (includes o16 p15) (includes o16 p17) (includes o16 p18) (includes o16 p20) (includes o16 p21) (includes o16 p22) (includes o16 p24) (includes o16 p25) (includes o16 p26) (includes o16 p27) (includes o16 p31) (includes o16 p33) (includes o16 p36) (includes o16 p38) (includes o16 p40) (includes o16 p41) (includes o16 p42) (includes o16 p45) (includes o16 p46) (includes o16 p49) (includes o16 p50) (waiting o17) (includes o17 p2) (includes o17 p3) (includes o17 p5) (includes o17 p6) (includes o17 p9) (includes o17 p12) (includes o17 p14) (includes o17 p15) (includes o17 p17) (includes o17 p20) (includes o17 p21) (includes o17 p23) (includes o17 p24) (includes o17 p25) (includes o17 p28) (includes o17 p31) (includes o17 p33) (includes o17 p36) (includes o17 p40) (includes o17 p41) (includes o17 p42) (includes o17 p45) (includes o17 p46) (includes o17 p49) (includes o17 p50) (waiting o18) (includes o18 p1) (includes o18 p3) (includes o18 p4) (includes o18 p5) (includes o18 p6) (includes o18 p7) (includes o18 p9) (includes o18 p10) (includes o18 p12) (includes o18 p14) (includes o18 p15) (includes o18 p17) (includes o18 p18) (includes o18 p19) (includes o18 p20) (includes o18 p21) (includes o18 p22) (includes o18 p23) (includes o18 p25) (includes o18 p26) (includes o18 p27) (includes o18 p28) (includes o18 p29) (includes o18 p30) (includes o18 p31) (includes o18 p32) (includes o18 p33) (includes o18 p34) (includes o18 p36) (includes o18 p38) (includes o18 p41) (includes o18 p42) (includes o18 p45) (includes o18 p46) (includes o18 p47) (includes o18 p49) (includes o18 p50) (waiting o19) (includes o19 p3) (includes o19 p4) (includes o19 p5) (includes o19 p6) (includes o19 p9) (includes o19 p12) (includes o19 p14) (includes o19 p15) (includes o19 p17) (includes o19 p18) (includes o19 p20) (includes o19 p21) (includes o19 p22) (includes o19 p23) (includes o19 p24) (includes o19 p25) (includes o19 p26) (includes o19 p28) (includes o19 p29) (includes o19 p31) (includes o19 p33) (includes o19 p36) (includes o19 p40) (includes o19 p41) (includes o19 p42) (includes o19 p45) (includes o19 p46) (includes o19 p49) (includes o19 p50) (waiting o20) (includes o20 p1) (includes o20 p4) (includes o20 p5) (includes o20 p6) (includes o20 p7) (includes o20 p8) (includes o20 p9) (includes o20 p11) (includes o20 p12) (includes o20 p13) (includes o20 p15) (includes o20 p16) (includes o20 p17) (includes o20 p19) (includes o20 p20) (includes o20 p21) (includes o20 p22) (includes o20 p23) (includes o20 p27) (includes o20 p28) (includes o20 p30) (includes o20 p31) (includes o20 p32) (includes o20 p33) (includes o20 p34) (includes o20 p35) (includes o20 p36) (includes o20 p37) (includes o20 p39) (includes o20 p41) (includes o20 p43) (includes o20 p44) (includes o20 p45) (includes o20 p46) (includes o20 p47) (includes o20 p48) (includes o20 p50) (waiting o21) (includes o21 p1) (includes o21 p5) (includes o21 p6) (includes o21 p7) (includes o21 p8) (includes o21 p10) (includes o21 p11) (includes o21 p13) (includes o21 p16) (includes o21 p18) (includes o21 p19) (includes o21 p23) (includes o21 p26) (includes o21 p27) (includes o21 p29) (includes o21 p30) (includes o21 p32) (includes o21 p34) (includes o21 p35) (includes o21 p37) (includes o21 p38) (includes o21 p39) (includes o21 p43) (includes o21 p44) (includes o21 p47) (includes o21 p48) (waiting o22) (includes o22 p1) (includes o22 p2) (includes o22 p3) (includes o22 p5) (includes o22 p6) (includes o22 p7) (includes o22 p8) (includes o22 p9) (includes o22 p10) (includes o22 p11) (includes o22 p12) (includes o22 p13) (includes o22 p14) (includes o22 p15) (includes o22 p16) (includes o22 p17) (includes o22 p18) (includes o22 p20) (includes o22 p21) (includes o22 p22) (includes o22 p24) (includes o22 p25) (includes o22 p26) (includes o22 p28) (includes o22 p29) (includes o22 p30) (includes o22 p31) (includes o22 p32) (includes o22 p33) (includes o22 p34) (includes o22 p35) (includes o22 p36) (includes o22 p37) (includes o22 p38) (includes o22 p39) (includes o22 p40) (includes o22 p42) (includes o22 p45) (includes o22 p46) (includes o22 p47) (includes o22 p48) (includes o22 p49) (waiting o23) (includes o23 p48) (waiting o24) (includes o24 p1) (includes o24 p2) (includes o24 p3) (includes o24 p4) (includes o24 p5) (includes o24 p6) (includes o24 p7) (includes o24 p8) (includes o24 p9) (includes o24 p10) (includes o24 p12) (includes o24 p13) (includes o24 p14) (includes o24 p15) (includes o24 p16) (includes o24 p17) (includes o24 p18) (includes o24 p20) (includes o24 p21) (includes o24 p22) (includes o24 p23) (includes o24 p24) (includes o24 p25) (includes o24 p26) (includes o24 p27) (includes o24 p28) (includes o24 p30) (includes o24 p32) (includes o24 p33) (includes o24 p34) (includes o24 p35) (includes o24 p36) (includes o24 p37) (includes o24 p38) (includes o24 p40) (includes o24 p41) (includes o24 p42) (includes o24 p43) (includes o24 p44) (includes o24 p45) (includes o24 p46) (includes o24 p48) (includes o24 p49) (includes o24 p50) (waiting o25) (includes o25 p39) (includes o25 p44) (waiting o26) (includes o26 p2) (includes o26 p3) (includes o26 p4) (includes o26 p5) (includes o26 p6) (includes o26 p12) (includes o26 p13) (includes o26 p14) (includes o26 p15) (includes o26 p17) (includes o26 p18) (includes o26 p20) (includes o26 p21) (includes o26 p22) (includes o26 p23) (includes o26 p24) (includes o26 p25) (includes o26 p26) (includes o26 p28) (includes o26 p29) (includes o26 p31) (includes o26 p33) (includes o26 p36) (includes o26 p38) (includes o26 p42) (includes o26 p45) (includes o26 p46) (includes o26 p49) (includes o26 p50) (waiting o27) (includes o27 p1) (includes o27 p2) (includes o27 p3) (includes o27 p4) (includes o27 p5) (includes o27 p6) (includes o27 p7) (includes o27 p8) (includes o27 p9) (includes o27 p10) (includes o27 p11) (includes o27 p12) (includes o27 p13) (includes o27 p14) (includes o27 p15) (includes o27 p16) (includes o27 p18) (includes o27 p19) (includes o27 p20) (includes o27 p21) (includes o27 p22) (includes o27 p23) (includes o27 p24) (includes o27 p25) (includes o27 p26) (includes o27 p27) (includes o27 p28) (includes o27 p29) (includes o27 p31) (includes o27 p32) (includes o27 p33) (includes o27 p34) (includes o27 p35) (includes o27 p36) (includes o27 p37) (includes o27 p38) (includes o27 p39) (includes o27 p40) (includes o27 p41) (includes o27 p42) (includes o27 p43) (includes o27 p44) (includes o27 p45) (includes o27 p46) (includes o27 p47) (includes o27 p48) (includes o27 p49) (includes o27 p50) (waiting o28) (includes o28 p1) (includes o28 p2) (includes o28 p3) (includes o28 p4) (includes o28 p5) (includes o28 p6) (includes o28 p7) (includes o28 p8) (includes o28 p10) (includes o28 p11) (includes o28 p12) (includes o28 p13) (includes o28 p14) (includes o28 p15) (includes o28 p16) (includes o28 p17) (includes o28 p18) (includes o28 p19) (includes o28 p20) (includes o28 p21) (includes o28 p22) (includes o28 p23) (includes o28 p24) (includes o28 p25) (includes o28 p26) (includes o28 p27) (includes o28 p28) (includes o28 p29) (includes o28 p30) (includes o28 p31) (includes o28 p32) (includes o28 p33) (includes o28 p34) (includes o28 p35) (includes o28 p36) (includes o28 p38) (includes o28 p39) (includes o28 p40) (includes o28 p41) (includes o28 p42) (includes o28 p43) (includes o28 p44) (includes o28 p45) (includes o28 p46) (includes o28 p47) (waiting o29) (includes o29 p1) (includes o29 p2) (includes o29 p3) (includes o29 p4) (includes o29 p5) (includes o29 p6) (includes o29 p7) (includes o29 p8) (includes o29 p9) (includes o29 p10) (includes o29 p12) (includes o29 p13) (includes o29 p14) (includes o29 p15) (includes o29 p16) (includes o29 p17) (includes o29 p18) (includes o29 p19) (includes o29 p20) (includes o29 p21) (includes o29 p22) (includes o29 p23) (includes o29 p25) (includes o29 p26) (includes o29 p27) (includes o29 p28) (includes o29 p29) (includes o29 p30) (includes o29 p32) (includes o29 p33) (includes o29 p34) (includes o29 p36) (includes o29 p37) (includes o29 p38) (includes o29 p39) (includes o29 p41) (includes o29 p42) (includes o29 p43) (includes o29 p44) (includes o29 p45) (includes o29 p46) (includes o29 p47) (includes o29 p48) (includes o29 p49) (includes o29 p50) (waiting o30) (includes o30 p7) (includes o30 p10) (includes o30 p11) (includes o30 p13) (includes o30 p16) (includes o30 p18) (includes o30 p19) (includes o30 p22) (includes o30 p27) (includes o30 p30) (includes o30 p34) (includes o30 p35) (includes o30 p37) (includes o30 p38) (includes o30 p39) (includes o30 p43) (includes o30 p44) (includes o30 p47) (includes o30 p48) (waiting o31) (includes o31 p1) (includes o31 p2) (includes o31 p3) (includes o31 p4) (includes o31 p5) (includes o31 p6) (includes o31 p7) (includes o31 p8) (includes o31 p9) (includes o31 p10) (includes o31 p11) (includes o31 p12) (includes o31 p13) (includes o31 p14) (includes o31 p15) (includes o31 p16) (includes o31 p17) (includes o31 p18) (includes o31 p19) (includes o31 p20) (includes o31 p21) (includes o31 p22) (includes o31 p23) (includes o31 p24) (includes o31 p26) (includes o31 p27) (includes o31 p28) (includes o31 p29) (includes o31 p30) (includes o31 p31) (includes o31 p32) (includes o31 p33) (includes o31 p34) (includes o31 p35) (includes o31 p36) (includes o31 p37) (includes o31 p38) (includes o31 p39) (includes o31 p41) (includes o31 p42) (includes o31 p43) (includes o31 p44) (includes o31 p45) (includes o31 p46) (includes o31 p47) (includes o31 p49) (includes o31 p50) (waiting o32) (includes o32 p43) (waiting o33) (includes o33 p1) (includes o33 p2) (includes o33 p3) (includes o33 p4) (includes o33 p5) (includes o33 p6) (includes o33 p7) (includes o33 p8) (includes o33 p9) (includes o33 p10) (includes o33 p11) (includes o33 p12) (includes o33 p13) (includes o33 p14) (includes o33 p15) (includes o33 p16) (includes o33 p17) (includes o33 p18) (includes o33 p20) (includes o33 p21) (includes o33 p22) (includes o33 p23) (includes o33 p24) (includes o33 p25) (includes o33 p26) (includes o33 p27) (includes o33 p28) (includes o33 p29) (includes o33 p30) (includes o33 p31) (includes o33 p32) (includes o33 p33) (includes o33 p34) (includes o33 p35) (includes o33 p36) (includes o33 p37) (includes o33 p38) (includes o33 p39) (includes o33 p40) (includes o33 p41) (includes o33 p42) (includes o33 p43) (includes o33 p44) (includes o33 p46) (includes o33 p47) (includes o33 p48) (includes o33 p49) (includes o33 p50) (waiting o34) (includes o34 p11) (includes o34 p37) (waiting o35) (includes o35 p1) (includes o35 p7) (includes o35 p8) (includes o35 p10) (includes o35 p11) (includes o35 p16) (includes o35 p19) (includes o35 p27) (includes o35 p30) (includes o35 p34) (includes o35 p35) (includes o35 p37) (includes o35 p39) (includes o35 p44) (includes o35 p47) (includes o35 p48) (waiting o36) (includes o36 p1) (includes o36 p7) (includes o36 p8) (includes o36 p10) (includes o36 p11) (includes o36 p16) (includes o36 p19) (includes o36 p30) (includes o36 p32) (includes o36 p34) (includes o36 p35) (includes o36 p37) (includes o36 p39) (includes o36 p43) (includes o36 p44) (includes o36 p47) (includes o36 p48) (waiting o37) (includes o37 p1) (includes o37 p7) (includes o37 p10) (includes o37 p11) (includes o37 p16) (includes o37 p18) (includes o37 p22) (includes o37 p26) (includes o37 p27) (includes o37 p29) (includes o37 p30) (includes o37 p32) (includes o37 p34) (includes o37 p35) (includes o37 p37) (includes o37 p38) (includes o37 p39) (includes o37 p43) (includes o37 p47) (includes o37 p48) (waiting o38) (includes o38 p2) (includes o38 p4) (includes o38 p5) (includes o38 p6) (includes o38 p9) (includes o38 p12) (includes o38 p13) (includes o38 p14) (includes o38 p15) (includes o38 p17) (includes o38 p18) (includes o38 p19) (includes o38 p20) (includes o38 p21) (includes o38 p22) (includes o38 p23) (includes o38 p24) (includes o38 p25) (includes o38 p26) (includes o38 p27) (includes o38 p28) (includes o38 p29) (includes o38 p30) (includes o38 p31) (includes o38 p33) (includes o38 p34) (includes o38 p35) (includes o38 p36) (includes o38 p38) (includes o38 p40) (includes o38 p41) (includes o38 p42) (includes o38 p45) (includes o38 p46) (includes o38 p50) (waiting o39) (includes o39 p11) (includes o39 p37) (includes o39 p43) (includes o39 p44) (includes o39 p48) (waiting o40) (includes o40 p1) (includes o40 p2) (includes o40 p3) (includes o40 p4) (includes o40 p5) (includes o40 p6) (includes o40 p7) (includes o40 p8) (includes o40 p10) (includes o40 p11) (includes o40 p12) (includes o40 p13) (includes o40 p14) (includes o40 p15) (includes o40 p16) (includes o40 p17) (includes o40 p18) (includes o40 p19) (includes o40 p20) (includes o40 p21) (includes o40 p22) (includes o40 p23) (includes o40 p24) (includes o40 p26) (includes o40 p27) (includes o40 p28) (includes o40 p29) (includes o40 p30) (includes o40 p31) (includes o40 p32) (includes o40 p33) (includes o40 p34) (includes o40 p35) (includes o40 p36) (includes o40 p37) (includes o40 p38) (includes o40 p39) (includes o40 p42) (includes o40 p43) (includes o40 p44) (includes o40 p45) (includes o40 p46) (includes o40 p47) (includes o40 p48) (includes o40 p49) (includes o40 p50) (waiting o41) (includes o41 p1) (includes o41 p7) (includes o41 p8) (includes o41 p10) (includes o41 p11) (includes o41 p13) (includes o41 p16) (includes o41 p19) (includes o41 p27) (includes o41 p30) (includes o41 p32) (includes o41 p34) (includes o41 p35) (includes o41 p37) (includes o41 p43) (includes o41 p44) (includes o41 p47) (includes o41 p48) (waiting o42) (includes o42 p7) (includes o42 p8) (includes o42 p16) (includes o42 p19) (includes o42 p32) (includes o42 p39) (includes o42 p47) (waiting o43) (includes o43 p1) (includes o43 p7) (includes o43 p8) (includes o43 p10) (includes o43 p11) (includes o43 p16) (includes o43 p19) (includes o43 p27) (includes o43 p30) (includes o43 p32) (includes o43 p34) (includes o43 p35) (includes o43 p39) (includes o43 p43) (includes o43 p44) (includes o43 p47) (includes o43 p48) (waiting o44) (includes o44 p2) (includes o44 p3) (includes o44 p14) (includes o44 p25) (includes o44 p40) (includes o44 p42) (includes o44 p49) (waiting o45) (includes o45 p4) (includes o45 p5) (includes o45 p6) (includes o45 p7) (includes o45 p9) (includes o45 p13) (includes o45 p14) (includes o45 p15) (includes o45 p17) (includes o45 p18) (includes o45 p19) (includes o45 p20) (includes o45 p21) (includes o45 p22) (includes o45 p23) (includes o45 p25) (includes o45 p26) (includes o45 p28) (includes o45 p29) (includes o45 p30) (includes o45 p31) (includes o45 p33) (includes o45 p34) (includes o45 p35) (includes o45 p36) (includes o45 p38) (includes o45 p40) (includes o45 p41) (includes o45 p42) (includes o45 p45) (includes o45 p46) (includes o45 p50) (waiting o46) (includes o46 p1) (includes o46 p2) (includes o46 p3) (includes o46 p4) (includes o46 p5) (includes o46 p7) (includes o46 p8) (includes o46 p9) (includes o46 p10) (includes o46 p11) (includes o46 p12) (includes o46 p13) (includes o46 p14) (includes o46 p16) (includes o46 p17) (includes o46 p19) (includes o46 p20) (includes o46 p21) (includes o46 p22) (includes o46 p23) (includes o46 p24) (includes o46 p25) (includes o46 p26) (includes o46 p27) (includes o46 p29) (includes o46 p31) (includes o46 p32) (includes o46 p33) (includes o46 p34) (includes o46 p35) (includes o46 p36) (includes o46 p37) (includes o46 p38) (includes o46 p40) (includes o46 p42) (includes o46 p43) (includes o46 p44) (includes o46 p45) (includes o46 p46) (includes o46 p47) (includes o46 p48) (includes o46 p49) (includes o46 p50) (waiting o47) (includes o47 p2) (includes o47 p3) (includes o47 p4) (includes o47 p14) (includes o47 p17) (includes o47 p24) (includes o47 p25) (includes o47 p33) (includes o47 p40) (includes o47 p41) (includes o47 p46) (includes o47 p49) (includes o47 p50) (waiting o48) (includes o48 p3) (includes o48 p4) (includes o48 p5) (includes o48 p6) (includes o48 p9) (includes o48 p12) (includes o48 p14) (includes o48 p15) (includes o48 p17) (includes o48 p18) (includes o48 p20) (includes o48 p21) (includes o48 p22) (includes o48 p23) (includes o48 p24) (includes o48 p25) (includes o48 p26) (includes o48 p27) (includes o48 p28) (includes o48 p29) (includes o48 p30) (includes o48 p31) (includes o48 p33) (includes o48 p35) (includes o48 p36) (includes o48 p38) (includes o48 p40) (includes o48 p41) (includes o48 p42) (includes o48 p45) (includes o48 p46) (includes o48 p49) (includes o48 p50) (waiting o49) (includes o49 p1) (includes o49 p2) (includes o49 p3) (includes o49 p4) (includes o49 p5) (includes o49 p6) (includes o49 p7) (includes o49 p9) (includes o49 p10) (includes o49 p11) (includes o49 p12) (includes o49 p13) (includes o49 p14) (includes o49 p16) (includes o49 p17) (includes o49 p18) (includes o49 p19) (includes o49 p20) (includes o49 p21) (includes o49 p22) (includes o49 p23) (includes o49 p24) (includes o49 p25) (includes o49 p26) (includes o49 p27) (includes o49 p28) (includes o49 p29) (includes o49 p30) (includes o49 p31) (includes o49 p32) (includes o49 p34) (includes o49 p35) (includes o49 p36) (includes o49 p39) (includes o49 p40) (includes o49 p41) (includes o49 p42) (includes o49 p43) (includes o49 p44) (includes o49 p45) (includes o49 p46) (includes o49 p47) (includes o49 p48) (includes o49 p49) (includes o49 p50) (waiting o50) (includes o50 p1) (includes o50 p7) (includes o50 p8) (includes o50 p10) (includes o50 p11) (includes o50 p16) (includes o50 p32) (includes o50 p37) (includes o50 p39) (includes o50 p43) (includes o50 p44) (includes o50 p47) (includes o50 p48)) (:goal (and (shipped o1) (shipped o2) (shipped o3) (shipped o4) (shipped o5) (shipped o6) (shipped o7) (shipped o8) (shipped o9) (shipped o10) (shipped o11) (shipped o12) (shipped o13) (shipped o14) (shipped o15) (shipped o16) (shipped o17) (shipped o18) (shipped o19) (shipped o20) (shipped o21) (shipped o22) (shipped o23) (shipped o24) (shipped o25) (shipped o26) (shipped o27) (shipped o28) (shipped o29) (shipped o30) (shipped o31) (shipped o32) (shipped o33) (shipped o34) (shipped o35) (shipped o36) (shipped o37) (shipped o38) (shipped o39) (shipped o40) (shipped o41) (shipped o42) (shipped o43) (shipped o44) (shipped o45) (shipped o46) (shipped o47) (shipped o48) (shipped o49) (shipped o50))))