(define (problem grounded-STRIPS-INSTANCE) (:domain grounded-STRIPS-PROTOCOL) (:init (foo) (SETTLED-UP-2-) (QUEUE-SIZE-UP-2--ZERO) (QUEUE-HEAD-MSG-UP-2--EMPTY) (QUEUE-TAIL-UP-2--QS-0) (QUEUE-HEAD-UP-2--QS-0) (SETTLED-STATION-CONTROL-2-) (QUEUE-SIZE-STATION-CONTROL-2--ZERO) (QUEUE-HEAD-MSG-STATION-CONTROL-2--EMPTY) (QUEUE-TAIL-STATION-CONTROL-2--QS-0) (QUEUE-HEAD-STATION-CONTROL-2--QS-0) (SETTLED-DOWN-2-) (QUEUE-SIZE-DOWN-2--ZERO) (QUEUE-HEAD-MSG-DOWN-2--EMPTY) (QUEUE-TAIL-DOWN-2--QS-0) (QUEUE-HEAD-DOWN-2--QS-0) (SETTLED-UP-1-) (QUEUE-SIZE-UP-1--ZERO) (QUEUE-HEAD-MSG-UP-1--EMPTY) (QUEUE-TAIL-UP-1--QS-0) (QUEUE-HEAD-UP-1--QS-0) (SETTLED-STATION-CONTROL-1-) (QUEUE-SIZE-STATION-CONTROL-1--ZERO) (QUEUE-HEAD-MSG-STATION-CONTROL-1--EMPTY) (QUEUE-TAIL-STATION-CONTROL-1--QS-0) (QUEUE-HEAD-STATION-CONTROL-1--QS-0) (SETTLED-DOWN-1-) (QUEUE-SIZE-DOWN-1--ZERO) (QUEUE-HEAD-MSG-DOWN-1--EMPTY) (QUEUE-TAIL-DOWN-1--QS-0) (QUEUE-HEAD-DOWN-1--QS-0) (SETTLED-UP-0-) (QUEUE-SIZE-UP-0--ZERO) (QUEUE-HEAD-MSG-UP-0--EMPTY) (QUEUE-TAIL-UP-0--QS-0) (QUEUE-HEAD-UP-0--QS-0) (SETTLED-STATION-CONTROL-0-) (QUEUE-SIZE-STATION-CONTROL-0--ZERO) (QUEUE-HEAD-MSG-STATION-CONTROL-0--EMPTY) (QUEUE-TAIL-STATION-CONTROL-0--QS-0) (QUEUE-HEAD-STATION-CONTROL-0--QS-0) (SETTLED-DOWN-0-) (QUEUE-SIZE-DOWN-0--ZERO) (QUEUE-HEAD-MSG-DOWN-0--EMPTY) (QUEUE-TAIL-DOWN-0--QS-0) (QUEUE-HEAD-DOWN-0--QS-0) (AT-PROCESS-UP_STATION-5-STATE-25) (PENDING-UP_STATION-5) (AT-PROCESS-UP_STATION-4-STATE-25) (PENDING-UP_STATION-4) (AT-PROCESS-UP_STATION-3-STATE-25) (PENDING-UP_STATION-3) (AT-PROCESS-DOWN_STATION-2-STATE-25) (PENDING-DOWN_STATION-2) (AT-PROCESS-DOWN_STATION-1-STATE-25) (PENDING-DOWN_STATION-1) (AT-PROCESS-DOWN_STATION-0-STATE-25) (PENDING-DOWN_STATION-0) ) (:goal (and (BLOCKED-UP_STATION-5) (BLOCKED-UP_STATION-4) (BLOCKED-UP_STATION-3) (BLOCKED-DOWN_STATION-2) (BLOCKED-DOWN_STATION-1) (BLOCKED-DOWN_STATION-0) ) ) )