; Compilation CPU-time: 0.660 seconds (define (problem grounded-STRIPS-OS-SEQUENCEDSTRIPS-SP4-3) (: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) (NOT-MADE-P51) (NOT-MADE-P52) (NOT-MADE-P53) (NOT-MADE-P54) (NOT-MADE-P55) (NOT-MADE-P56) (NOT-MADE-P57) (NOT-MADE-P58) (NOT-MADE-P59) (NOT-MADE-P60) (NOT-MADE-P61) (NOT-MADE-P62) (NOT-MADE-P63) (NOT-MADE-P64) (NOT-MADE-P65) (NOT-MADE-P66) (NOT-MADE-P67) (NOT-MADE-P68) (NOT-MADE-P69) (NOT-MADE-P70) (NOT-MADE-P71) (NOT-MADE-P72) (NOT-MADE-P73) (NOT-MADE-P74) (NOT-MADE-P75) (WAITING-O75) (WAITING-O74) (WAITING-O73) (WAITING-O72) (WAITING-O71) (WAITING-O70) (WAITING-O69) (WAITING-O68) (WAITING-O67) (WAITING-O66) (WAITING-O65) (WAITING-O64) (WAITING-O63) (WAITING-O62) (WAITING-O61) (WAITING-O60) (WAITING-O59) (WAITING-O58) (WAITING-O57) (WAITING-O56) (WAITING-O55) (WAITING-O54) (WAITING-O53) (WAITING-O52) (WAITING-O51) (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-O75) (SHIPPED-O74) (SHIPPED-O73) (SHIPPED-O72) (SHIPPED-O71) (SHIPPED-O70) (SHIPPED-O69) (SHIPPED-O68) (SHIPPED-O67) (SHIPPED-O66) (SHIPPED-O65) (SHIPPED-O64) (SHIPPED-O63) (SHIPPED-O62) (SHIPPED-O61) (SHIPPED-O60) (SHIPPED-O59) (SHIPPED-O58) (SHIPPED-O57) (SHIPPED-O56) (SHIPPED-O55) (SHIPPED-O54) (SHIPPED-O53) (SHIPPED-O52) (SHIPPED-O51) (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) ) ) )