(define (problem grounded-STRIPS-INSTANCE) (:domain grounded-STRIPS-PROTOCOL) (:init (SETTLED-UP-6-) (QUEUE-SIZE-UP-6--ZERO) (QUEUE-HEAD-MSG-UP-6--EMPTY) (QUEUE-TAIL-UP-6--QS-0) (QUEUE-HEAD-UP-6--QS-0) (SETTLED-STATION-CONTROL-6-) (QUEUE-SIZE-STATION-CONTROL-6--ZERO) (QUEUE-HEAD-MSG-STATION-CONTROL-6--EMPTY) (QUEUE-TAIL-STATION-CONTROL-6--QS-0) (QUEUE-HEAD-STATION-CONTROL-6--QS-0) (SETTLED-DOWN-6-) (QUEUE-SIZE-DOWN-6--ZERO) (QUEUE-HEAD-MSG-DOWN-6--EMPTY) (QUEUE-TAIL-DOWN-6--QS-0) (QUEUE-HEAD-DOWN-6--QS-0) (SETTLED-UP-5-) (QUEUE-SIZE-UP-5--ZERO) (QUEUE-HEAD-MSG-UP-5--EMPTY) (QUEUE-TAIL-UP-5--QS-0) (QUEUE-HEAD-UP-5--QS-0) (SETTLED-STATION-CONTROL-5-) (QUEUE-SIZE-STATION-CONTROL-5--ZERO) (QUEUE-HEAD-MSG-STATION-CONTROL-5--EMPTY) (QUEUE-TAIL-STATION-CONTROL-5--QS-0) (QUEUE-HEAD-STATION-CONTROL-5--QS-0) (SETTLED-DOWN-5-) (QUEUE-SIZE-DOWN-5--ZERO) (QUEUE-HEAD-MSG-DOWN-5--EMPTY) (QUEUE-TAIL-DOWN-5--QS-0) (QUEUE-HEAD-DOWN-5--QS-0) (SETTLED-UP-4-) (QUEUE-SIZE-UP-4--ZERO) (QUEUE-HEAD-MSG-UP-4--EMPTY) (QUEUE-TAIL-UP-4--QS-0) (QUEUE-HEAD-UP-4--QS-0) (SETTLED-STATION-CONTROL-4-) (QUEUE-SIZE-STATION-CONTROL-4--ZERO) (QUEUE-HEAD-MSG-STATION-CONTROL-4--EMPTY) (QUEUE-TAIL-STATION-CONTROL-4--QS-0) (QUEUE-HEAD-STATION-CONTROL-4--QS-0) (SETTLED-DOWN-4-) (QUEUE-SIZE-DOWN-4--ZERO) (QUEUE-HEAD-MSG-DOWN-4--EMPTY) (QUEUE-TAIL-DOWN-4--QS-0) (QUEUE-HEAD-DOWN-4--QS-0) (SETTLED-UP-3-) (QUEUE-SIZE-UP-3--ZERO) (QUEUE-HEAD-MSG-UP-3--EMPTY) (QUEUE-TAIL-UP-3--QS-0) (QUEUE-HEAD-UP-3--QS-0) (SETTLED-STATION-CONTROL-3-) (QUEUE-SIZE-STATION-CONTROL-3--ZERO) (QUEUE-HEAD-MSG-STATION-CONTROL-3--EMPTY) (QUEUE-TAIL-STATION-CONTROL-3--QS-0) (QUEUE-HEAD-STATION-CONTROL-3--QS-0) (SETTLED-DOWN-3-) (QUEUE-SIZE-DOWN-3--ZERO) (QUEUE-HEAD-MSG-DOWN-3--EMPTY) (QUEUE-TAIL-DOWN-3--QS-0) (QUEUE-HEAD-DOWN-3--QS-0) (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-13-STATE-25) (PENDING-UP_STATION-13) (AT-PROCESS-UP_STATION-12-STATE-25) (PENDING-UP_STATION-12) (AT-PROCESS-UP_STATION-11-STATE-25) (PENDING-UP_STATION-11) (AT-PROCESS-UP_STATION-10-STATE-25) (PENDING-UP_STATION-10) (AT-PROCESS-UP_STATION-9-STATE-25) (PENDING-UP_STATION-9) (AT-PROCESS-UP_STATION-8-STATE-25) (PENDING-UP_STATION-8) (AT-PROCESS-UP_STATION-7-STATE-25) (PENDING-UP_STATION-7) (AT-PROCESS-DOWN_STATION-6-STATE-25) (PENDING-DOWN_STATION-6) (AT-PROCESS-DOWN_STATION-5-STATE-25) (PENDING-DOWN_STATION-5) (AT-PROCESS-DOWN_STATION-4-STATE-25) (PENDING-DOWN_STATION-4) (AT-PROCESS-DOWN_STATION-3-STATE-25) (PENDING-DOWN_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-13) (BLOCKED-UP_STATION-12) (BLOCKED-UP_STATION-11) (BLOCKED-UP_STATION-10) (BLOCKED-UP_STATION-9) (BLOCKED-UP_STATION-8) (BLOCKED-UP_STATION-7) (BLOCKED-DOWN_STATION-6) (BLOCKED-DOWN_STATION-5) (BLOCKED-DOWN_STATION-4) (BLOCKED-DOWN_STATION-3) (BLOCKED-DOWN_STATION-2) (BLOCKED-DOWN_STATION-1) (BLOCKED-DOWN_STATION-0) ) ) )