(define (problem grounded-STRIPS-INSTANCE) (:domain grounded-STRIPS-PROTOCOL) (:init (foo) (SETTLED-FORKS-15-) (QUEUE-SIZE-FORKS-15--ZERO) (QUEUE-HEAD-MSG-FORKS-15--EMPTY) (QUEUE-TAIL-FORKS-15--QS-0) (QUEUE-HEAD-FORKS-15--QS-0) (SETTLED-FORKS-14-) (QUEUE-SIZE-FORKS-14--ZERO) (QUEUE-HEAD-MSG-FORKS-14--EMPTY) (QUEUE-TAIL-FORKS-14--QS-0) (QUEUE-HEAD-FORKS-14--QS-0) (SETTLED-FORKS-13-) (QUEUE-SIZE-FORKS-13--ZERO) (QUEUE-HEAD-MSG-FORKS-13--EMPTY) (QUEUE-TAIL-FORKS-13--QS-0) (QUEUE-HEAD-FORKS-13--QS-0) (SETTLED-FORKS-12-) (QUEUE-SIZE-FORKS-12--ZERO) (QUEUE-HEAD-MSG-FORKS-12--EMPTY) (QUEUE-TAIL-FORKS-12--QS-0) (QUEUE-HEAD-FORKS-12--QS-0) (SETTLED-FORKS-11-) (QUEUE-SIZE-FORKS-11--ZERO) (QUEUE-HEAD-MSG-FORKS-11--EMPTY) (QUEUE-TAIL-FORKS-11--QS-0) (QUEUE-HEAD-FORKS-11--QS-0) (SETTLED-FORKS-10-) (QUEUE-SIZE-FORKS-10--ZERO) (QUEUE-HEAD-MSG-FORKS-10--EMPTY) (QUEUE-TAIL-FORKS-10--QS-0) (QUEUE-HEAD-FORKS-10--QS-0) (SETTLED-FORKS-9-) (QUEUE-SIZE-FORKS-9--ZERO) (QUEUE-HEAD-MSG-FORKS-9--EMPTY) (QUEUE-TAIL-FORKS-9--QS-0) (QUEUE-HEAD-FORKS-9--QS-0) (SETTLED-FORKS-8-) (QUEUE-SIZE-FORKS-8--ZERO) (QUEUE-HEAD-MSG-FORKS-8--EMPTY) (QUEUE-TAIL-FORKS-8--QS-0) (QUEUE-HEAD-FORKS-8--QS-0) (SETTLED-FORKS-7-) (QUEUE-SIZE-FORKS-7--ZERO) (QUEUE-HEAD-MSG-FORKS-7--EMPTY) (QUEUE-TAIL-FORKS-7--QS-0) (QUEUE-HEAD-FORKS-7--QS-0) (SETTLED-FORKS-6-) (QUEUE-SIZE-FORKS-6--ZERO) (QUEUE-HEAD-MSG-FORKS-6--EMPTY) (QUEUE-TAIL-FORKS-6--QS-0) (QUEUE-HEAD-FORKS-6--QS-0) (SETTLED-FORKS-5-) (QUEUE-SIZE-FORKS-5--ZERO) (QUEUE-HEAD-MSG-FORKS-5--EMPTY) (QUEUE-TAIL-FORKS-5--QS-0) (QUEUE-HEAD-FORKS-5--QS-0) (SETTLED-FORKS-4-) (QUEUE-SIZE-FORKS-4--ZERO) (QUEUE-HEAD-MSG-FORKS-4--EMPTY) (QUEUE-TAIL-FORKS-4--QS-0) (QUEUE-HEAD-FORKS-4--QS-0) (SETTLED-FORKS-3-) (QUEUE-SIZE-FORKS-3--ZERO) (QUEUE-HEAD-MSG-FORKS-3--EMPTY) (QUEUE-TAIL-FORKS-3--QS-0) (QUEUE-HEAD-FORKS-3--QS-0) (SETTLED-FORKS-2-) (QUEUE-SIZE-FORKS-2--ZERO) (QUEUE-HEAD-MSG-FORKS-2--EMPTY) (QUEUE-TAIL-FORKS-2--QS-0) (QUEUE-HEAD-FORKS-2--QS-0) (SETTLED-FORKS-1-) (QUEUE-SIZE-FORKS-1--ZERO) (QUEUE-HEAD-MSG-FORKS-1--EMPTY) (QUEUE-TAIL-FORKS-1--QS-0) (QUEUE-HEAD-FORKS-1--QS-0) (SETTLED-FORKS-0-) (QUEUE-SIZE-FORKS-0--ZERO) (QUEUE-HEAD-MSG-FORKS-0--EMPTY) (QUEUE-TAIL-FORKS-0--QS-0) (QUEUE-HEAD-FORKS-0--QS-0) (AT-PROCESS-PHILOSOPHER-15-STATE-1) (PENDING-PHILOSOPHER-15) (AT-PROCESS-PHILOSOPHER-14-STATE-1) (PENDING-PHILOSOPHER-14) (AT-PROCESS-PHILOSOPHER-13-STATE-1) (PENDING-PHILOSOPHER-13) (AT-PROCESS-PHILOSOPHER-12-STATE-1) (PENDING-PHILOSOPHER-12) (AT-PROCESS-PHILOSOPHER-11-STATE-1) (PENDING-PHILOSOPHER-11) (AT-PROCESS-PHILOSOPHER-10-STATE-1) (PENDING-PHILOSOPHER-10) (AT-PROCESS-PHILOSOPHER-9-STATE-1) (PENDING-PHILOSOPHER-9) (AT-PROCESS-PHILOSOPHER-8-STATE-1) (PENDING-PHILOSOPHER-8) (AT-PROCESS-PHILOSOPHER-7-STATE-1) (PENDING-PHILOSOPHER-7) (AT-PROCESS-PHILOSOPHER-6-STATE-1) (PENDING-PHILOSOPHER-6) (AT-PROCESS-PHILOSOPHER-5-STATE-1) (PENDING-PHILOSOPHER-5) (AT-PROCESS-PHILOSOPHER-4-STATE-1) (PENDING-PHILOSOPHER-4) (AT-PROCESS-PHILOSOPHER-3-STATE-1) (PENDING-PHILOSOPHER-3) (AT-PROCESS-PHILOSOPHER-2-STATE-1) (PENDING-PHILOSOPHER-2) (AT-PROCESS-PHILOSOPHER-1-STATE-1) (PENDING-PHILOSOPHER-1) (AT-PROCESS-PHILOSOPHER-0-STATE-1) (PENDING-PHILOSOPHER-0) ) (:goal (and (BLOCKED-PHILOSOPHER-15) (BLOCKED-PHILOSOPHER-14) (BLOCKED-PHILOSOPHER-13) (BLOCKED-PHILOSOPHER-12) (BLOCKED-PHILOSOPHER-11) (BLOCKED-PHILOSOPHER-10) (BLOCKED-PHILOSOPHER-9) (BLOCKED-PHILOSOPHER-8) (BLOCKED-PHILOSOPHER-7) (BLOCKED-PHILOSOPHER-6) (BLOCKED-PHILOSOPHER-5) (BLOCKED-PHILOSOPHER-4) (BLOCKED-PHILOSOPHER-3) (BLOCKED-PHILOSOPHER-2) (BLOCKED-PHILOSOPHER-1) (BLOCKED-PHILOSOPHER-0) ) ) )