(define (problem grounded-STRIPS-INSTANCE) (:domain grounded-STRIPS-PROTOCOL) (:init (SETTLED-FORKS-24-) (QUEUE-SIZE-FORKS-24--ZERO) (QUEUE-HEAD-MSG-FORKS-24--EMPTY) (QUEUE-TAIL-FORKS-24--QS-0) (QUEUE-HEAD-FORKS-24--QS-0) (SETTLED-FORKS-23-) (QUEUE-SIZE-FORKS-23--ZERO) (QUEUE-HEAD-MSG-FORKS-23--EMPTY) (QUEUE-TAIL-FORKS-23--QS-0) (QUEUE-HEAD-FORKS-23--QS-0) (SETTLED-FORKS-22-) (QUEUE-SIZE-FORKS-22--ZERO) (QUEUE-HEAD-MSG-FORKS-22--EMPTY) (QUEUE-TAIL-FORKS-22--QS-0) (QUEUE-HEAD-FORKS-22--QS-0) (SETTLED-FORKS-21-) (QUEUE-SIZE-FORKS-21--ZERO) (QUEUE-HEAD-MSG-FORKS-21--EMPTY) (QUEUE-TAIL-FORKS-21--QS-0) (QUEUE-HEAD-FORKS-21--QS-0) (SETTLED-FORKS-20-) (QUEUE-SIZE-FORKS-20--ZERO) (QUEUE-HEAD-MSG-FORKS-20--EMPTY) (QUEUE-TAIL-FORKS-20--QS-0) (QUEUE-HEAD-FORKS-20--QS-0) (SETTLED-FORKS-19-) (QUEUE-SIZE-FORKS-19--ZERO) (QUEUE-HEAD-MSG-FORKS-19--EMPTY) (QUEUE-TAIL-FORKS-19--QS-0) (QUEUE-HEAD-FORKS-19--QS-0) (SETTLED-FORKS-18-) (QUEUE-SIZE-FORKS-18--ZERO) (QUEUE-HEAD-MSG-FORKS-18--EMPTY) (QUEUE-TAIL-FORKS-18--QS-0) (QUEUE-HEAD-FORKS-18--QS-0) (SETTLED-FORKS-17-) (QUEUE-SIZE-FORKS-17--ZERO) (QUEUE-HEAD-MSG-FORKS-17--EMPTY) (QUEUE-TAIL-FORKS-17--QS-0) (QUEUE-HEAD-FORKS-17--QS-0) (SETTLED-FORKS-16-) (QUEUE-SIZE-FORKS-16--ZERO) (QUEUE-HEAD-MSG-FORKS-16--EMPTY) (QUEUE-TAIL-FORKS-16--QS-0) (QUEUE-HEAD-FORKS-16--QS-0) (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-24-STATE-1) (PENDING-PHILOSOPHER-24) (AT-PROCESS-PHILOSOPHER-23-STATE-1) (PENDING-PHILOSOPHER-23) (AT-PROCESS-PHILOSOPHER-22-STATE-1) (PENDING-PHILOSOPHER-22) (AT-PROCESS-PHILOSOPHER-21-STATE-1) (PENDING-PHILOSOPHER-21) (AT-PROCESS-PHILOSOPHER-20-STATE-1) (PENDING-PHILOSOPHER-20) (AT-PROCESS-PHILOSOPHER-19-STATE-1) (PENDING-PHILOSOPHER-19) (AT-PROCESS-PHILOSOPHER-18-STATE-1) (PENDING-PHILOSOPHER-18) (AT-PROCESS-PHILOSOPHER-17-STATE-1) (PENDING-PHILOSOPHER-17) (AT-PROCESS-PHILOSOPHER-16-STATE-1) (PENDING-PHILOSOPHER-16) (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-24) (BLOCKED-PHILOSOPHER-23) (BLOCKED-PHILOSOPHER-22) (BLOCKED-PHILOSOPHER-21) (BLOCKED-PHILOSOPHER-20) (BLOCKED-PHILOSOPHER-19) (BLOCKED-PHILOSOPHER-18) (BLOCKED-PHILOSOPHER-17) (BLOCKED-PHILOSOPHER-16) (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) ) ) )