; Compilation CPU-time: 0.440 seconds (define (problem grounded-STRIPS-OS-SEQUENCEDSTRIPS-GP50BY50-4) (:domain grounded-STRIPS-OPENSTACKS-SEQUENCEDSTRIPS) (:init (NOT-MADE-P1) (NOT-MADE-P2) (NOT-MADE-P3) (NOT-MADE-P4) (NOT-MADE-P5) (NOT-MADE-P6) (NOT-MADE-P7) (NOT-MADE-P8) (NOT-MADE-P9) (NOT-MADE-P10) (NOT-MADE-P11) (NOT-MADE-P12) (NOT-MADE-P13) (NOT-MADE-P14) (NOT-MADE-P15) (NOT-MADE-P16) (NOT-MADE-P17) (NOT-MADE-P18) (NOT-MADE-P19) (NOT-MADE-P20) (NOT-MADE-P21) (NOT-MADE-P22) (NOT-MADE-P23) (NOT-MADE-P24) (NOT-MADE-P25) (NOT-MADE-P26) (NOT-MADE-P27) (NOT-MADE-P28) (NOT-MADE-P29) (NOT-MADE-P30) (NOT-MADE-P31) (NOT-MADE-P32) (NOT-MADE-P33) (NOT-MADE-P34) (NOT-MADE-P35) (NOT-MADE-P36) (NOT-MADE-P37) (NOT-MADE-P38) (NOT-MADE-P39) (NOT-MADE-P40) (NOT-MADE-P41) (NOT-MADE-P42) (NOT-MADE-P43) (NOT-MADE-P44) (NOT-MADE-P45) (NOT-MADE-P46) (NOT-MADE-P47) (NOT-MADE-P48) (NOT-MADE-P49) (NOT-MADE-P50) (WAITING-O50) (WAITING-O49) (WAITING-O48) (WAITING-O47) (WAITING-O46) (WAITING-O45) (WAITING-O44) (WAITING-O43) (WAITING-O42) (WAITING-O41) (WAITING-O40) (WAITING-O39) (WAITING-O38) (WAITING-O37) (WAITING-O36) (WAITING-O35) (WAITING-O34) (WAITING-O33) (WAITING-O32) (WAITING-O31) (WAITING-O30) (WAITING-O29) (WAITING-O28) (WAITING-O27) (WAITING-O26) (WAITING-O25) (WAITING-O24) (WAITING-O23) (WAITING-O22) (WAITING-O21) (WAITING-O20) (WAITING-O19) (WAITING-O18) (WAITING-O17) (WAITING-O16) (WAITING-O15) (WAITING-O14) (WAITING-O13) (WAITING-O12) (WAITING-O11) (WAITING-O10) (WAITING-O9) (WAITING-O8) (WAITING-O7) (WAITING-O6) (WAITING-O5) (WAITING-O4) (WAITING-O3) (WAITING-O2) (WAITING-O1) (STACKS-AVAIL-N0) (MACHINE-AVAILABLE-) ) (:goal (and (SHIPPED-O50) (SHIPPED-O49) (SHIPPED-O48) (SHIPPED-O47) (SHIPPED-O46) (SHIPPED-O45) (SHIPPED-O44) (SHIPPED-O43) (SHIPPED-O42) (SHIPPED-O41) (SHIPPED-O40) (SHIPPED-O39) (SHIPPED-O38) (SHIPPED-O37) (SHIPPED-O36) (SHIPPED-O35) (SHIPPED-O34) (SHIPPED-O33) (SHIPPED-O32) (SHIPPED-O31) (SHIPPED-O30) (SHIPPED-O29) (SHIPPED-O28) (SHIPPED-O27) (SHIPPED-O26) (SHIPPED-O25) (SHIPPED-O24) (SHIPPED-O23) (SHIPPED-O22) (SHIPPED-O21) (SHIPPED-O20) (SHIPPED-O19) (SHIPPED-O18) (SHIPPED-O17) (SHIPPED-O16) (SHIPPED-O15) (SHIPPED-O14) (SHIPPED-O13) (SHIPPED-O12) (SHIPPED-O11) (SHIPPED-O10) (SHIPPED-O9) (SHIPPED-O8) (SHIPPED-O7) (SHIPPED-O6) (SHIPPED-O5) (SHIPPED-O4) (SHIPPED-O3) (SHIPPED-O2) (SHIPPED-O1) ) ) )