(define (problem grounded-STRIPS-INSTANCE) (:domain grounded-STRIPS-PROTOCOL) (:init (foo) (SETTLED-UP-12-) (QUEUE-SIZE-UP-12--ZERO) (QUEUE-HEAD-MSG-UP-12--EMPTY) (QUEUE-TAIL-UP-12--QS-0) (QUEUE-HEAD-UP-12--QS-0) (SETTLED-STATION-CONTROL-12-) (QUEUE-SIZE-STATION-CONTROL-12--ZERO) (QUEUE-HEAD-MSG-STATION-CONTROL-12--EMPTY) (QUEUE-TAIL-STATION-CONTROL-12--QS-0) (QUEUE-HEAD-STATION-CONTROL-12--QS-0) (SETTLED-DOWN-12-) (QUEUE-SIZE-DOWN-12--ZERO) (QUEUE-HEAD-MSG-DOWN-12--EMPTY) (QUEUE-TAIL-DOWN-12--QS-0) (QUEUE-HEAD-DOWN-12--QS-0) (SETTLED-UP-11-) (QUEUE-SIZE-UP-11--ZERO) (QUEUE-HEAD-MSG-UP-11--EMPTY) (QUEUE-TAIL-UP-11--QS-0) (QUEUE-HEAD-UP-11--QS-0) (SETTLED-STATION-CONTROL-11-) (QUEUE-SIZE-STATION-CONTROL-11--ZERO) (QUEUE-HEAD-MSG-STATION-CONTROL-11--EMPTY) (QUEUE-TAIL-STATION-CONTROL-11--QS-0) (QUEUE-HEAD-STATION-CONTROL-11--QS-0) (SETTLED-DOWN-11-) (QUEUE-SIZE-DOWN-11--ZERO) (QUEUE-HEAD-MSG-DOWN-11--EMPTY) (QUEUE-TAIL-DOWN-11--QS-0) (QUEUE-HEAD-DOWN-11--QS-0) (SETTLED-UP-10-) (QUEUE-SIZE-UP-10--ZERO) (QUEUE-HEAD-MSG-UP-10--EMPTY) (QUEUE-TAIL-UP-10--QS-0) (QUEUE-HEAD-UP-10--QS-0) (SETTLED-STATION-CONTROL-10-) (QUEUE-SIZE-STATION-CONTROL-10--ZERO) (QUEUE-HEAD-MSG-STATION-CONTROL-10--EMPTY) (QUEUE-TAIL-STATION-CONTROL-10--QS-0) (QUEUE-HEAD-STATION-CONTROL-10--QS-0) (SETTLED-DOWN-10-) (QUEUE-SIZE-DOWN-10--ZERO) (QUEUE-HEAD-MSG-DOWN-10--EMPTY) (QUEUE-TAIL-DOWN-10--QS-0) (QUEUE-HEAD-DOWN-10--QS-0) (SETTLED-UP-9-) (QUEUE-SIZE-UP-9--ZERO) (QUEUE-HEAD-MSG-UP-9--EMPTY) (QUEUE-TAIL-UP-9--QS-0) (QUEUE-HEAD-UP-9--QS-0) (SETTLED-STATION-CONTROL-9-) (QUEUE-SIZE-STATION-CONTROL-9--ZERO) (QUEUE-HEAD-MSG-STATION-CONTROL-9--EMPTY) (QUEUE-TAIL-STATION-CONTROL-9--QS-0) (QUEUE-HEAD-STATION-CONTROL-9--QS-0) (SETTLED-DOWN-9-) (QUEUE-SIZE-DOWN-9--ZERO) (QUEUE-HEAD-MSG-DOWN-9--EMPTY) (QUEUE-TAIL-DOWN-9--QS-0) (QUEUE-HEAD-DOWN-9--QS-0) (SETTLED-UP-8-) (QUEUE-SIZE-UP-8--ZERO) (QUEUE-HEAD-MSG-UP-8--EMPTY) (QUEUE-TAIL-UP-8--QS-0) (QUEUE-HEAD-UP-8--QS-0) (SETTLED-STATION-CONTROL-8-) (QUEUE-SIZE-STATION-CONTROL-8--ZERO) (QUEUE-HEAD-MSG-STATION-CONTROL-8--EMPTY) (QUEUE-TAIL-STATION-CONTROL-8--QS-0) (QUEUE-HEAD-STATION-CONTROL-8--QS-0) (SETTLED-DOWN-8-) (QUEUE-SIZE-DOWN-8--ZERO) (QUEUE-HEAD-MSG-DOWN-8--EMPTY) (QUEUE-TAIL-DOWN-8--QS-0) (QUEUE-HEAD-DOWN-8--QS-0) (SETTLED-UP-7-) (QUEUE-SIZE-UP-7--ZERO) (QUEUE-HEAD-MSG-UP-7--EMPTY) (QUEUE-TAIL-UP-7--QS-0) (QUEUE-HEAD-UP-7--QS-0) (SETTLED-STATION-CONTROL-7-) (QUEUE-SIZE-STATION-CONTROL-7--ZERO) (QUEUE-HEAD-MSG-STATION-CONTROL-7--EMPTY) (QUEUE-TAIL-STATION-CONTROL-7--QS-0) (QUEUE-HEAD-STATION-CONTROL-7--QS-0) (SETTLED-DOWN-7-) (QUEUE-SIZE-DOWN-7--ZERO) (QUEUE-HEAD-MSG-DOWN-7--EMPTY) (QUEUE-TAIL-DOWN-7--QS-0) (QUEUE-HEAD-DOWN-7--QS-0) (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-25-STATE-25) (PENDING-UP_STATION-25) (AT-PROCESS-UP_STATION-24-STATE-25) (PENDING-UP_STATION-24) (AT-PROCESS-UP_STATION-23-STATE-25) (PENDING-UP_STATION-23) (AT-PROCESS-UP_STATION-22-STATE-25) (PENDING-UP_STATION-22) (AT-PROCESS-UP_STATION-21-STATE-25) (PENDING-UP_STATION-21) (AT-PROCESS-UP_STATION-20-STATE-25) (PENDING-UP_STATION-20) (AT-PROCESS-UP_STATION-19-STATE-25) (PENDING-UP_STATION-19) (AT-PROCESS-UP_STATION-18-STATE-25) (PENDING-UP_STATION-18) (AT-PROCESS-UP_STATION-17-STATE-25) (PENDING-UP_STATION-17) (AT-PROCESS-UP_STATION-16-STATE-25) (PENDING-UP_STATION-16) (AT-PROCESS-UP_STATION-15-STATE-25) (PENDING-UP_STATION-15) (AT-PROCESS-UP_STATION-14-STATE-25) (PENDING-UP_STATION-14) (AT-PROCESS-UP_STATION-13-STATE-25) (PENDING-UP_STATION-13) (AT-PROCESS-DOWN_STATION-12-STATE-25) (PENDING-DOWN_STATION-12) (AT-PROCESS-DOWN_STATION-11-STATE-25) (PENDING-DOWN_STATION-11) (AT-PROCESS-DOWN_STATION-10-STATE-25) (PENDING-DOWN_STATION-10) (AT-PROCESS-DOWN_STATION-9-STATE-25) (PENDING-DOWN_STATION-9) (AT-PROCESS-DOWN_STATION-8-STATE-25) (PENDING-DOWN_STATION-8) (AT-PROCESS-DOWN_STATION-7-STATE-25) (PENDING-DOWN_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-25) (BLOCKED-UP_STATION-24) (BLOCKED-UP_STATION-23) (BLOCKED-UP_STATION-22) (BLOCKED-UP_STATION-21) (BLOCKED-UP_STATION-20) (BLOCKED-UP_STATION-19) (BLOCKED-UP_STATION-18) (BLOCKED-UP_STATION-17) (BLOCKED-UP_STATION-16) (BLOCKED-UP_STATION-15) (BLOCKED-UP_STATION-14) (BLOCKED-UP_STATION-13) (BLOCKED-DOWN_STATION-12) (BLOCKED-DOWN_STATION-11) (BLOCKED-DOWN_STATION-10) (BLOCKED-DOWN_STATION-9) (BLOCKED-DOWN_STATION-8) (BLOCKED-DOWN_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) ) ) )