(define (problem grounded-STRIPS-INSTANCE) (:domain grounded-STRIPS-PROTOCOL) (:init (foo) (SETTLED-FORKS-36-) (QUEUE-SIZE-FORKS-36--ZERO) (QUEUE-HEAD-MSG-FORKS-36--EMPTY) (QUEUE-TAIL-FORKS-36--QS-0) (QUEUE-HEAD-FORKS-36--QS-0) (SETTLED-FORKS-35-) (QUEUE-SIZE-FORKS-35--ZERO) (QUEUE-HEAD-MSG-FORKS-35--EMPTY) (QUEUE-TAIL-FORKS-35--QS-0) (QUEUE-HEAD-FORKS-35--QS-0) (SETTLED-FORKS-34-) (QUEUE-SIZE-FORKS-34--ZERO) (QUEUE-HEAD-MSG-FORKS-34--EMPTY) (QUEUE-TAIL-FORKS-34--QS-0) (QUEUE-HEAD-FORKS-34--QS-0) (SETTLED-FORKS-33-) (QUEUE-SIZE-FORKS-33--ZERO) (QUEUE-HEAD-MSG-FORKS-33--EMPTY) (QUEUE-TAIL-FORKS-33--QS-0) (QUEUE-HEAD-FORKS-33--QS-0) (SETTLED-FORKS-32-) (QUEUE-SIZE-FORKS-32--ZERO) (QUEUE-HEAD-MSG-FORKS-32--EMPTY) (QUEUE-TAIL-FORKS-32--QS-0) (QUEUE-HEAD-FORKS-32--QS-0) (SETTLED-FORKS-31-) (QUEUE-SIZE-FORKS-31--ZERO) (QUEUE-HEAD-MSG-FORKS-31--EMPTY) (QUEUE-TAIL-FORKS-31--QS-0) (QUEUE-HEAD-FORKS-31--QS-0) (SETTLED-FORKS-30-) (QUEUE-SIZE-FORKS-30--ZERO) (QUEUE-HEAD-MSG-FORKS-30--EMPTY) (QUEUE-TAIL-FORKS-30--QS-0) (QUEUE-HEAD-FORKS-30--QS-0) (SETTLED-FORKS-29-) (QUEUE-SIZE-FORKS-29--ZERO) (QUEUE-HEAD-MSG-FORKS-29--EMPTY) (QUEUE-TAIL-FORKS-29--QS-0) (QUEUE-HEAD-FORKS-29--QS-0) (SETTLED-FORKS-28-) (QUEUE-SIZE-FORKS-28--ZERO) (QUEUE-HEAD-MSG-FORKS-28--EMPTY) (QUEUE-TAIL-FORKS-28--QS-0) (QUEUE-HEAD-FORKS-28--QS-0) (SETTLED-FORKS-27-) (QUEUE-SIZE-FORKS-27--ZERO) (QUEUE-HEAD-MSG-FORKS-27--EMPTY) (QUEUE-TAIL-FORKS-27--QS-0) (QUEUE-HEAD-FORKS-27--QS-0) (SETTLED-FORKS-26-) (QUEUE-SIZE-FORKS-26--ZERO) (QUEUE-HEAD-MSG-FORKS-26--EMPTY) (QUEUE-TAIL-FORKS-26--QS-0) (QUEUE-HEAD-FORKS-26--QS-0) (SETTLED-FORKS-25-) (QUEUE-SIZE-FORKS-25--ZERO) (QUEUE-HEAD-MSG-FORKS-25--EMPTY) (QUEUE-TAIL-FORKS-25--QS-0) (QUEUE-HEAD-FORKS-25--QS-0) (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-36-STATE-1) (PENDING-PHILOSOPHER-36) (AT-PROCESS-PHILOSOPHER-35-STATE-1) (PENDING-PHILOSOPHER-35) (AT-PROCESS-PHILOSOPHER-34-STATE-1) (PENDING-PHILOSOPHER-34) (AT-PROCESS-PHILOSOPHER-33-STATE-1) (PENDING-PHILOSOPHER-33) (AT-PROCESS-PHILOSOPHER-32-STATE-1) (PENDING-PHILOSOPHER-32) (AT-PROCESS-PHILOSOPHER-31-STATE-1) (PENDING-PHILOSOPHER-31) (AT-PROCESS-PHILOSOPHER-30-STATE-1) (PENDING-PHILOSOPHER-30) (AT-PROCESS-PHILOSOPHER-29-STATE-1) (PENDING-PHILOSOPHER-29) (AT-PROCESS-PHILOSOPHER-28-STATE-1) (PENDING-PHILOSOPHER-28) (AT-PROCESS-PHILOSOPHER-27-STATE-1) (PENDING-PHILOSOPHER-27) (AT-PROCESS-PHILOSOPHER-26-STATE-1) (PENDING-PHILOSOPHER-26) (AT-PROCESS-PHILOSOPHER-25-STATE-1) (PENDING-PHILOSOPHER-25) (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-36) (BLOCKED-PHILOSOPHER-35) (BLOCKED-PHILOSOPHER-34) (BLOCKED-PHILOSOPHER-33) (BLOCKED-PHILOSOPHER-32) (BLOCKED-PHILOSOPHER-31) (BLOCKED-PHILOSOPHER-30) (BLOCKED-PHILOSOPHER-29) (BLOCKED-PHILOSOPHER-28) (BLOCKED-PHILOSOPHER-27) (BLOCKED-PHILOSOPHER-26) (BLOCKED-PHILOSOPHER-25) (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) ) ) )