(define (problem multirobot_94_2_c0) (:domain multirobot) (:objects v0 r161 v1 r369 v2 r188 v3 r344 v4 r94 v5 r338 v6 r29 v7 r20 v8 r106 v9 r283 v10 r359 v11 r201 v12 r187 v13 r353 v14 r325 v15 r134 v16 r355 v17 r176 v18 r107 v19 r135 v20 r19 v21 r140 v22 r128 v23 r274 v24 r265 v25 r206 v26 r163 v27 r251 v28 r190 v29 r218 v30 r131 v31 r2 v32 r189 v33 r51 v34 r387 v35 r241 v36 r216 v37 r16 v38 r352 v39 r363 v40 r339 v41 r281 v42 r256 v43 r100 v44 r343 v45 r151 v46 r208 v47 r104 v48 r72 v49 r73 v50 r150 v51 r160 v52 r74 v53 r124 v54 r26 v55 r377 v56 r286 v57 r335 v58 r18 v59 r138 v60 r371 v61 r196 v62 r62 v63 r294 v64 r174 v65 r367 v66 r91 v67 r333 v68 r282 v69 r101 v70 r41 v71 r82 v72 r64 v73 r376 v74 r271 v75 r153 v76 r205 v77 r48 v78 r184 v79 r368 v80 r179 v81 r92 v82 r99 v83 r141 v84 r59 v85 r164 v86 r37 v87 r358 v88 r317 v89 r275 v90 r142 v91 r249 v92 r349 v93 r235 v94 r90 v95 r63 v96 r312 v97 r102 v98 r195 v99 r277 v100 r159 v101 r181 v102 r214 v103 r269 v104 r266 v105 r373 v106 r348 v107 r43 v108 r146 v109 r178 v110 r259 v111 r303 v112 r238 v113 r237 v114 r346 v115 r162 v116 r33 v117 r362 v118 r276 v119 r122 v120 r306 v121 r88 v122 r236 v123 r340 v124 r182 v125 r302 v126 r365 v127 r193 v128 r264 v129 r114 v130 r27 v131 r227 v132 r35 v133 r136 v134 r177 v135 r341 v136 r268 v137 r331 v138 r192 v139 r366 v140 r186 v141 r230 v142 r310 v143 r213 v144 r372 v145 r61 v146 r57 v147 r210 v148 r87 v149 r5 v150 r231 v151 r133 v152 r247 v153 r284 v154 r118 v155 r78 v156 r252 v157 r125 v158 r386 v159 r65 v160 r388 v161 r165 v162 r11 v163 r326 v164 r154 v165 r319 v166 r148 v167 r14 v168 v169 r311 v170 r183 v171 r307 v172 r53 v173 r337 v174 r360 v175 r8 v176 r304 v177 r301 v178 r313 v179 r93 v180 r297 v181 r171 v182 r378 v183 r95 v184 r84 v185 r380 v186 r332 v187 r132 v188 r28 v189 r261 v190 r254 v191 r272 v192 r270 v193 r320 v194 r173 v195 r347 v196 r223 v197 r198 v198 r156 v199 r22 v200 r25 v201 r169 v202 r157 v203 r262 v204 r144 v205 r110 v206 r292 v207 r232 v208 r24 v209 r86 v210 r60 v211 r98 v212 r279 v213 r34 v214 r219 v215 r42 v216 r330 v217 r383 v218 r242 v219 r222 v220 r287 v221 r334 v222 r155 v223 r71 v224 r314 v225 r119 v226 r215 v227 r70 v228 r207 v229 r389 v230 r97 v231 r285 v232 r202 v233 r243 v234 r248 v235 r382 v236 v237 r55 v238 r130 v239 r250 v240 r308 v241 r239 v242 r185 v243 r89 v244 r152 v245 r300 v246 r77 v247 r324 v248 r220 v249 r212 v250 r290 v251 r267 v252 r328 v253 r67 v254 r203 v255 r139 v256 r384 v257 r116 v258 r45 v259 r233 v260 r229 v261 r168 v262 r280 v263 r350 v264 r167 v265 r204 v266 r96 v267 r44 v268 r316 v269 r111 v270 r289 v271 r12 v272 r224 v273 r234 v274 r36 v275 r273 v276 r147 v277 r9 v278 r158 v279 r257 v280 r299 v281 r315 v282 r47 v283 r298 v284 r322 v285 r32 v286 r356 v287 r56 v288 r127 v289 r31 v290 r288 v291 r255 v292 r23 v293 r345 v294 r76 v295 r50 v296 r109 v297 r6 v298 r7 v299 r68 v300 r175 v301 r80 v302 r374 v303 r143 v304 r240 v305 r115 v306 r245 v307 r221 v308 r117 v309 r336 v310 r13 v311 r3 v312 r113 v313 r323 v314 r318 v315 r296 v316 r112 v317 r357 v318 r199 v319 r295 v320 r180 v321 r211 v322 r381 v323 r260 v324 r49 v325 r291 v326 r66 v327 r197 v328 r385 v329 r379 v330 r354 v331 r15 v332 r225 v333 r85 v334 r375 v335 r126 v336 r278 v337 r321 v338 r194 v339 r172 v340 r54 v341 r209 v342 r228 v343 r52 v344 r21 v345 r293 v346 r39 v347 r79 v348 r145 v349 r217 v350 r108 v351 r253 v352 r364 v353 r81 v354 r120 v355 r10 v356 r361 v357 r105 v358 r191 v359 r263 v360 r137 v361 r246 v362 r17 v363 r200 v364 r123 v365 r149 v366 r103 v367 r327 v368 r4 v369 r129 v370 r309 v371 r351 v372 r69 v373 r38 v374 r329 v375 r58 v376 r342 v377 r258 v378 r305 v379 r166 v380 r370 v381 r40 v382 r75 v383 r46 v384 r83 v385 r226 v386 r30 v387 r244 v388 r121 v389 r170 ) (:init (at r161 v0) (at r369 v1) (at r188 v2) (at r344 v3) (at r94 v4) (at r338 v5) (at r29 v6) (at r20 v7) (at r106 v8) (at r283 v9) (at r359 v10) (at r201 v11) (at r187 v12) (at r353 v13) (at r325 v14) (at r134 v15) (at r355 v16) (at r176 v17) (at r107 v18) (at r135 v19) (at r19 v20) (at r140 v21) (at r128 v22) (at r274 v23) (at r265 v24) (at r206 v25) (at r163 v26) (at r251 v27) (at r190 v28) (at r218 v29) (at r131 v30) (at r2 v31) (at r189 v32) (at r51 v33) (at r387 v34) (at r241 v35) (at r216 v36) (at r16 v37) (at r352 v38) (at r363 v39) (at r339 v40) (at r281 v41) (at r256 v42) (at r100 v43) (at r343 v44) (at r151 v45) (at r208 v46) (at r104 v47) (at r72 v48) (at r73 v49) (at r150 v50) (at r160 v51) (at r74 v52) (at r124 v53) (at r26 v54) (at r377 v55) (at r286 v56) (at r335 v57) (at r18 v58) (at r138 v59) (at r371 v60) (at r196 v61) (at r62 v62) (at r294 v63) (at r174 v64) (at r367 v65) (at r91 v66) (at r333 v67) (at r282 v68) (at r101 v69) (at r41 v70) (at r82 v71) (at r64 v72) (at r376 v73) (at r271 v74) (at r153 v75) (at r205 v76) (at r48 v77) (at r184 v78) (at r368 v79) (at r179 v80) (at r92 v81) (at r99 v82) (at r141 v83) (at r59 v84) (at r164 v85) (at r37 v86) (at r358 v87) (at r317 v88) (at r275 v89) (at r142 v90) (at r249 v91) (at r349 v92) (at r235 v93) (at r90 v94) (at r63 v95) (at r312 v96) (at r102 v97) (at r195 v98) (at r277 v99) (at r159 v100) (at r181 v101) (at r214 v102) (at r269 v103) (at r266 v104) (at r373 v105) (at r348 v106) (at r43 v107) (at r146 v108) (at r178 v109) (at r259 v110) (at r303 v111) (at r238 v112) (at r237 v113) (at r346 v114) (at r162 v115) (at r33 v116) (at r362 v117) (at r276 v118) (at r122 v119) (at r306 v120) (at r88 v121) (at r236 v122) (at r340 v123) (at r182 v124) (at r302 v125) (at r365 v126) (at r193 v127) (at r264 v128) (at r114 v129) (at r27 v130) (at r227 v131) (at r35 v132) (at r136 v133) (at r177 v134) (at r341 v135) (at r268 v136) (at r331 v137) (at r192 v138) (at r366 v139) (at r186 v140) (at r230 v141) (at r310 v142) (at r213 v143) (at r372 v144) (at r61 v145) (at r57 v146) (at r210 v147) (at r87 v148) (at r5 v149) (at r231 v150) (at r133 v151) (at r247 v152) (at r284 v153) (at r118 v154) (at r78 v155) (at r252 v156) (at r125 v157) (at r386 v158) (at r65 v159) (at r388 v160) (at r165 v161) (at r11 v162) (at r326 v163) (at r154 v164) (at r319 v165) (at r148 v166) (at r14 v167) (free v168) (at r311 v169) (at r183 v170) (at r307 v171) (at r53 v172) (at r337 v173) (at r360 v174) (at r8 v175) (at r304 v176) (at r301 v177) (at r313 v178) (at r93 v179) (at r297 v180) (at r171 v181) (at r378 v182) (at r95 v183) (at r84 v184) (at r380 v185) (at r332 v186) (at r132 v187) (at r28 v188) (at r261 v189) (at r254 v190) (at r272 v191) (at r270 v192) (at r320 v193) (at r173 v194) (at r347 v195) (at r223 v196) (at r198 v197) (at r156 v198) (at r22 v199) (at r25 v200) (at r169 v201) (at r157 v202) (at r262 v203) (at r144 v204) (at r110 v205) (at r292 v206) (at r232 v207) (at r24 v208) (at r86 v209) (at r60 v210) (at r98 v211) (at r279 v212) (at r34 v213) (at r219 v214) (at r42 v215) (at r330 v216) (at r383 v217) (at r242 v218) (at r222 v219) (at r287 v220) (at r334 v221) (at r155 v222) (at r71 v223) (at r314 v224) (at r119 v225) (at r215 v226) (at r70 v227) (at r207 v228) (at r389 v229) (at r97 v230) (at r285 v231) (at r202 v232) (at r243 v233) (at r248 v234) (at r382 v235) (free v236) (at r55 v237) (at r130 v238) (at r250 v239) (at r308 v240) (at r239 v241) (at r185 v242) (at r89 v243) (at r152 v244) (at r300 v245) (at r77 v246) (at r324 v247) (at r220 v248) (at r212 v249) (at r290 v250) (at r267 v251) (at r328 v252) (at r67 v253) (at r203 v254) (at r139 v255) (at r384 v256) (at r116 v257) (at r45 v258) (at r233 v259) (at r229 v260) (at r168 v261) (at r280 v262) (at r350 v263) (at r167 v264) (at r204 v265) (at r96 v266) (at r44 v267) (at r316 v268) (at r111 v269) (at r289 v270) (at r12 v271) (at r224 v272) (at r234 v273) (at r36 v274) (at r273 v275) (at r147 v276) (at r9 v277) (at r158 v278) (at r257 v279) (at r299 v280) (at r315 v281) (at r47 v282) (at r298 v283) (at r322 v284) (at r32 v285) (at r356 v286) (at r56 v287) (at r127 v288) (at r31 v289) (at r288 v290) (at r255 v291) (at r23 v292) (at r345 v293) (at r76 v294) (at r50 v295) (at r109 v296) (at r6 v297) (at r7 v298) (at r68 v299) (at r175 v300) (at r80 v301) (at r374 v302) (at r143 v303) (at r240 v304) (at r115 v305) (at r245 v306) (at r221 v307) (at r117 v308) (at r336 v309) (at r13 v310) (at r3 v311) (at r113 v312) (at r323 v313) (at r318 v314) (at r296 v315) (at r112 v316) (at r357 v317) (at r199 v318) (at r295 v319) (at r180 v320) (at r211 v321) (at r381 v322) (at r260 v323) (at r49 v324) (at r291 v325) (at r66 v326) (at r197 v327) (at r385 v328) (at r379 v329) (at r354 v330) (at r15 v331) (at r225 v332) (at r85 v333) (at r375 v334) (at r126 v335) (at r278 v336) (at r321 v337) (at r194 v338) (at r172 v339) (at r54 v340) (at r209 v341) (at r228 v342) (at r52 v343) (at r21 v344) (at r293 v345) (at r39 v346) (at r79 v347) (at r145 v348) (at r217 v349) (at r108 v350) (at r253 v351) (at r364 v352) (at r81 v353) (at r120 v354) (at r10 v355) (at r361 v356) (at r105 v357) (at r191 v358) (at r263 v359) (at r137 v360) (at r246 v361) (at r17 v362) (at r200 v363) (at r123 v364) (at r149 v365) (at r103 v366) (at r327 v367) (at r4 v368) (at r129 v369) (at r309 v370) (at r351 v371) (at r69 v372) (at r38 v373) (at r329 v374) (at r58 v375) (at r342 v376) (at r258 v377) (at r305 v378) (at r166 v379) (at r370 v380) (at r40 v381) (at r75 v382) (at r46 v383) (at r83 v384) (at r226 v385) (at r30 v386) (at r244 v387) (at r121 v388) (at r170 v389) (adjacent v0 v1) (adjacent v0 v4) (adjacent v1 v2) (adjacent v1 v9) (adjacent v1 v44) (adjacent v1 v156) (adjacent v1 v197) (adjacent v2 v3) (adjacent v2 v5) (adjacent v2 v10) (adjacent v2 v42) (adjacent v2 v57) (adjacent v2 v324) (adjacent v3 v4) (adjacent v3 v29) (adjacent v4 v13) (adjacent v5 v6) (adjacent v5 v13) (adjacent v6 v7) (adjacent v6 v12) (adjacent v6 v14) (adjacent v7 v8) (adjacent v7 v17) (adjacent v7 v41) (adjacent v7 v145) (adjacent v8 v9) (adjacent v8 v349) (adjacent v9 v16) (adjacent v9 v79) (adjacent v10 v11) (adjacent v10 v30) (adjacent v11 v12) (adjacent v11 v18) (adjacent v11 v136) (adjacent v11 v363) (adjacent v12 v64) (adjacent v12 v360) (adjacent v14 v15) (adjacent v14 v23) (adjacent v15 v16) (adjacent v15 v17) (adjacent v15 v168) (adjacent v15 v203) (adjacent v15 v274) (adjacent v15 v298) (adjacent v16 v51) (adjacent v17 v35) (adjacent v17 v107) (adjacent v18 v19) (adjacent v18 v201) (adjacent v18 v361) (adjacent v19 v20) (adjacent v19 v58) (adjacent v19 v115) (adjacent v20 v21) (adjacent v20 v24) (adjacent v20 v181) (adjacent v21 v22) (adjacent v21 v38) (adjacent v22 v23) (adjacent v23 v238) (adjacent v24 v25) (adjacent v25 v26) (adjacent v25 v269) (adjacent v26 v27) (adjacent v26 v103) (adjacent v26 v114) (adjacent v26 v190) (adjacent v27 v28) (adjacent v27 v37) (adjacent v28 v29) (adjacent v29 v300) (adjacent v30 v31) (adjacent v30 v36) (adjacent v30 v71) (adjacent v30 v111) (adjacent v31 v32) (adjacent v32 v33) (adjacent v33 v34) (adjacent v34 v35) (adjacent v35 v113) (adjacent v35 v282) (adjacent v36 v37) (adjacent v36 v45) (adjacent v37 v230) (adjacent v38 v39) (adjacent v38 v142) (adjacent v39 v40) (adjacent v39 v183) (adjacent v39 v251) (adjacent v40 v41) (adjacent v40 v108) (adjacent v40 v262) (adjacent v40 v305) (adjacent v41 v52) (adjacent v41 v70) (adjacent v41 v382) (adjacent v42 v43) (adjacent v42 v153) (adjacent v43 v44) (adjacent v43 v76) (adjacent v45 v46) (adjacent v46 v47) (adjacent v46 v298) (adjacent v47 v48) (adjacent v47 v78) (adjacent v48 v49) (adjacent v49 v50) (adjacent v49 v147) (adjacent v49 v241) (adjacent v50 v51) (adjacent v50 v121) (adjacent v50 v371) (adjacent v51 v106) (adjacent v52 v53) (adjacent v53 v54) (adjacent v53 v65) (adjacent v54 v55) (adjacent v55 v56) (adjacent v56 v57) (adjacent v57 v172) (adjacent v58 v59) (adjacent v59 v60) (adjacent v59 v311) (adjacent v60 v61) (adjacent v61 v62) (adjacent v61 v98) (adjacent v62 v63) (adjacent v62 v344) (adjacent v63 v64) (adjacent v63 v268) (adjacent v63 v353) (adjacent v64 v143) (adjacent v65 v66) (adjacent v65 v310) (adjacent v66 v67) (adjacent v66 v104) (adjacent v66 v134) (adjacent v67 v68) (adjacent v67 v171) (adjacent v68 v69) (adjacent v68 v86) (adjacent v68 v112) (adjacent v68 v247) (adjacent v69 v70) (adjacent v70 v85) (adjacent v70 v146) (adjacent v71 v72) (adjacent v71 v107) (adjacent v72 v73) (adjacent v72 v389) (adjacent v73 v74) (adjacent v73 v77) (adjacent v74 v75) (adjacent v74 v133) (adjacent v75 v76) (adjacent v76 v91) (adjacent v76 v256) (adjacent v77 v78) (adjacent v78 v377) (adjacent v79 v80) (adjacent v79 v148) (adjacent v80 v81) (adjacent v81 v82) (adjacent v81 v224) (adjacent v82 v83) (adjacent v82 v92) (adjacent v82 v122) (adjacent v82 v147) (adjacent v83 v84) (adjacent v83 v146) (adjacent v83 v287) (adjacent v83 v288) (adjacent v84 v85) (adjacent v84 v235) (adjacent v86 v87) (adjacent v87 v88) (adjacent v88 v89) (adjacent v89 v90) (adjacent v89 v167) (adjacent v89 v316) (adjacent v90 v91) (adjacent v90 v186) (adjacent v92 v93) (adjacent v92 v99) (adjacent v92 v110) (adjacent v93 v94) (adjacent v94 v95) (adjacent v94 v263) (adjacent v95 v96) (adjacent v96 v97) (adjacent v97 v98) (adjacent v98 v177) (adjacent v99 v100) (adjacent v99 v135) (adjacent v100 v101) (adjacent v101 v102) (adjacent v101 v176) (adjacent v101 v184) (adjacent v102 v103) (adjacent v103 v161) (adjacent v103 v202) (adjacent v104 v105) (adjacent v105 v106) (adjacent v105 v257) (adjacent v107 v260) (adjacent v108 v109) (adjacent v108 v306) (adjacent v109 v110) (adjacent v111 v112) (adjacent v112 v129) (adjacent v113 v114) (adjacent v115 v116) (adjacent v115 v185) (adjacent v115 v258) (adjacent v116 v117) (adjacent v116 v128) (adjacent v117 v118) (adjacent v118 v119) (adjacent v118 v182) (adjacent v119 v120) (adjacent v119 v359) (adjacent v120 v121) (adjacent v121 v162) (adjacent v122 v123) (adjacent v123 v124) (adjacent v124 v125) (adjacent v125 v126) (adjacent v125 v242) (adjacent v125 v275) (adjacent v126 v127) (adjacent v127 v128) (adjacent v128 v336) (adjacent v129 v130) (adjacent v129 v154) (adjacent v130 v131) (adjacent v130 v157) (adjacent v131 v132) (adjacent v132 v133) (adjacent v134 v135) (adjacent v134 v173) (adjacent v136 v137) (adjacent v137 v138) (adjacent v137 v182) (adjacent v138 v139) (adjacent v139 v140) (adjacent v139 v162) (adjacent v139 v239) (adjacent v140 v141) (adjacent v140 v215) (adjacent v141 v142) (adjacent v141 v191) (adjacent v143 v144) (adjacent v144 v145) (adjacent v147 v209) (adjacent v148 v149) (adjacent v149 v150) (adjacent v150 v151) (adjacent v151 v152) (adjacent v151 v174) (adjacent v151 v255) (adjacent v151 v329) (adjacent v152 v153) (adjacent v154 v155) (adjacent v155 v156) (adjacent v155 v216) (adjacent v155 v256) (adjacent v157 v158) (adjacent v158 v159) (adjacent v159 v160) (adjacent v160 v161) (adjacent v161 v163) (adjacent v163 v164) (adjacent v163 v309) (adjacent v164 v165) (adjacent v165 v166) (adjacent v165 v196) (adjacent v166 v167) (adjacent v168 v169) (adjacent v168 v229) (adjacent v169 v170) (adjacent v169 v217) (adjacent v170 v171) (adjacent v172 v173) (adjacent v173 v202) (adjacent v173 v312) (adjacent v174 v175) (adjacent v174 v210) (adjacent v175 v176) (adjacent v176 v237) (adjacent v177 v178) (adjacent v178 v179) (adjacent v179 v180) (adjacent v179 v252) (adjacent v180 v181) (adjacent v180 v257) (adjacent v181 v185) (adjacent v183 v184) (adjacent v183 v246) (adjacent v184 v216) (adjacent v184 v317) (adjacent v185 v360) (adjacent v186 v187) (adjacent v187 v188) (adjacent v188 v189) (adjacent v189 v190) (adjacent v191 v192) (adjacent v192 v193) (adjacent v193 v194) (adjacent v194 v195) (adjacent v194 v293) (adjacent v195 v196) (adjacent v197 v198) (adjacent v198 v199) (adjacent v199 v200) (adjacent v200 v201) (adjacent v200 v236) (adjacent v200 v259) (adjacent v202 v223) (adjacent v203 v204) (adjacent v204 v205) (adjacent v205 v206) (adjacent v206 v207) (adjacent v206 v292) (adjacent v207 v208) (adjacent v208 v209) (adjacent v208 v340) (adjacent v209 v238) (adjacent v209 v339) (adjacent v210 v211) (adjacent v211 v212) (adjacent v212 v213) (adjacent v212 v281) (adjacent v212 v299) (adjacent v213 v214) (adjacent v214 v215) (adjacent v215 v247) (adjacent v215 v294) (adjacent v215 v348) (adjacent v217 v218) (adjacent v218 v219) (adjacent v219 v220) (adjacent v220 v221) (adjacent v221 v222) (adjacent v222 v223) (adjacent v223 v328) (adjacent v224 v225) (adjacent v225 v226) (adjacent v226 v227) (adjacent v227 v228) (adjacent v228 v229) (adjacent v230 v231) (adjacent v231 v232) (adjacent v232 v233) (adjacent v233 v234) (adjacent v234 v235) (adjacent v236 v237) (adjacent v239 v240) (adjacent v240 v241) (adjacent v242 v243) (adjacent v243 v244) (adjacent v244 v245) (adjacent v245 v246) (adjacent v245 v248) (adjacent v248 v249) (adjacent v249 v250) (adjacent v250 v251) (adjacent v252 v253) (adjacent v253 v254) (adjacent v253 v297) (adjacent v254 v255) (adjacent v257 v323) (adjacent v258 v259) (adjacent v260 v261) (adjacent v261 v262) (adjacent v263 v264) (adjacent v264 v265) (adjacent v265 v266) (adjacent v266 v267) (adjacent v267 v268) (adjacent v267 v335) (adjacent v269 v270) (adjacent v270 v271) (adjacent v271 v272) (adjacent v272 v273) (adjacent v273 v274) (adjacent v275 v276) (adjacent v276 v277) (adjacent v277 v278) (adjacent v278 v279) (adjacent v279 v280) (adjacent v280 v281) (adjacent v281 v293) (adjacent v282 v283) (adjacent v283 v284) (adjacent v283 v354) (adjacent v284 v285) (adjacent v285 v286) (adjacent v285 v378) (adjacent v286 v287) (adjacent v287 v299) (adjacent v288 v289) (adjacent v289 v290) (adjacent v290 v291) (adjacent v291 v292) (adjacent v294 v295) (adjacent v295 v296) (adjacent v296 v297) (adjacent v300 v301) (adjacent v301 v302) (adjacent v302 v303) (adjacent v303 v304) (adjacent v304 v305) (adjacent v306 v307) (adjacent v307 v308) (adjacent v308 v309) (adjacent v310 v311) (adjacent v312 v313) (adjacent v313 v314) (adjacent v314 v315) (adjacent v315 v316) (adjacent v316 v383) (adjacent v317 v318) (adjacent v318 v319) (adjacent v319 v320) (adjacent v320 v321) (adjacent v320 v343) (adjacent v321 v322) (adjacent v322 v323) (adjacent v324 v325) (adjacent v325 v326) (adjacent v326 v327) (adjacent v327 v328) (adjacent v329 v330) (adjacent v330 v331) (adjacent v331 v332) (adjacent v332 v333) (adjacent v333 v334) (adjacent v334 v335) (adjacent v336 v337) (adjacent v337 v338) (adjacent v338 v339) (adjacent v340 v341) (adjacent v341 v342) (adjacent v342 v343) (adjacent v344 v345) (adjacent v345 v346) (adjacent v345 v364) (adjacent v346 v347) (adjacent v347 v348) (adjacent v349 v350) (adjacent v350 v351) (adjacent v351 v352) (adjacent v352 v353) (adjacent v354 v355) (adjacent v355 v356) (adjacent v356 v357) (adjacent v357 v358) (adjacent v358 v359) (adjacent v361 v362) (adjacent v361 v370) (adjacent v362 v363) (adjacent v364 v365) (adjacent v365 v366) (adjacent v366 v367) (adjacent v367 v368) (adjacent v368 v369) (adjacent v369 v370) (adjacent v371 v372) (adjacent v372 v373) (adjacent v373 v374) (adjacent v374 v375) (adjacent v375 v376) (adjacent v376 v377) (adjacent v378 v379) (adjacent v379 v380) (adjacent v380 v381) (adjacent v381 v382) (adjacent v383 v384) (adjacent v384 v385) (adjacent v385 v386) (adjacent v386 v387) (adjacent v387 v388) (adjacent v388 v389) ) (:goal (and (at r332 v0) (at r188 v1) (at r199 v2) (at r105 v3) (at r80 v4) (at r260 v5) (at r363 v6) (at r71 v7) (at r99 v8) (at r248 v9) (at r259 v10) (at r198 v11) (at r383 v12) (at r134 v13) (at r195 v14) (at r37 v15) (at r291 v16) (at r388 v17) (at r181 v18) (at r83 v19) (at r219 v20) (at r104 v21) (at r372 v22) (at r169 v23) (at r91 v24) (at r179 v25) (at r371 v26) (at r76 v27) (at r305 v28) (at r303 v29) (at r68 v30) (at r86 v31) (at r202 v32) (at r272 v33) (at r69 v34) (at r205 v35) (at r356 v36) (at r19 v37) (at r158 v38) (at r209 v39) (at r218 v40) (at r84 v41) (at r50 v42) (at r253 v43) (at r55 v44) (at r142 v45) (at r23 v46) (at r347 v47) (at r208 v48) (at r361 v49) (at r26 v50) (at r93 v51) (at r101 v52) (at r45 v53) (at r284 v54) (at r31 v55) (at r252 v56) (at r307 v57) (at r309 v58) (at r22 v59) (at r98 v60) (at r333 v61) (at r296 v62) (at r298 v63) (at r32 v64) (at r353 v65) (at r351 v66) (at r327 v67) (at r6 v68) (at r207 v69) (at r289 v70) (at r75 v71) (at r43 v72) (at r384 v73) (at r369 v74) (at r8 v75) (at r4 v76) (at r175 v77) (at r239 v78) (at r140 v79) (at r149 v80) (at r79 v81) (at r227 v82) (at r29 v83) (at r185 v84) (at r336 v85) (at r286 v86) (at r302 v87) (at r357 v88) (at r3 v89) (at r194 v90) (at r355 v91) (at r63 v92) (at r352 v93) (at r341 v94) (at r312 v95) (at r334 v96) (at r25 v97) (at r113 v98) (at r314 v99) (at r72 v100) (at r174 v101) (at r331 v102) (at r318 v103) (at r265 v104) (at r301 v105) (at r135 v106) (at r128 v107) (at r119 v108) (at r47 v109) (at r182 v110) (at r92 v111) (at r212 v112) (at r9 v113) (at r349 v114) (at r288 v115) (at r376 v116) (at r240 v117) (at r365 v118) (at r172 v119) (at r326 v120) (at r17 v121) (at r30 v122) (at r141 v123) (at r14 v124) (at r299 v125) (at r15 v126) (at r41 v127) (at r117 v128) (at r235 v129) (at r78 v130) (at r21 v131) (at r224 v132) (at r123 v133) (at r137 v134) (at r367 v135) (at r125 v136) (at r377 v137) (at r386 v138) (at r238 v139) (free v140) (at r10 v141) (at r343 v142) (at r304 v143) (at r330 v144) (at r310 v145) (at r200 v146) (at r242 v147) (at r337 v148) (at r190 v149) (at r247 v150) (at r293 v151) (at r217 v152) (at r7 v153) (at r33 v154) (at r20 v155) (at r152 v156) (at r143 v157) (at r246 v158) (at r165 v159) (at r358 v160) (at r127 v161) (at r87 v162) (at r322 v163) (at r245 v164) (at r204 v165) (at r306 v166) (at r285 v167) (at r109 v168) (at r279 v169) (at r225 v170) (at r88 v171) (at r132 v172) (at r294 v173) (at r269 v174) (at r118 v175) (at r228 v176) (at r111 v177) (at r147 v178) (at r210 v179) (at r191 v180) (at r115 v181) (at r323 v182) (at r276 v183) (at r5 v184) (at r346 v185) (at r348 v186) (at r62 v187) (at r122 v188) (at r100 v189) (at r340 v190) (at r243 v191) (at r385 v192) (at r183 v193) (at r150 v194) (at r49 v195) (at r325 v196) (at r378 v197) (at r223 v198) (at r89 v199) (at r232 v200) (at r27 v201) (at r65 v202) (at r145 v203) (at r180 v204) (at r116 v205) (at r189 v206) (at r255 v207) (at r338 v208) (at r281 v209) (at r220 v210) (at r379 v211) (at r108 v212) (at r256 v213) (at r97 v214) (at r270 v215) (at r138 v216) (at r368 v217) (at r257 v218) (at r106 v219) (at r173 v220) (at r156 v221) (at r342 v222) (at r359 v223) (at r274 v224) (at r67 v225) (at r258 v226) (at r287 v227) (at r144 v228) (at r70 v229) (at r328 v230) (at r112 v231) (at r42 v232) (at r40 v233) (at r266 v234) (at r160 v235) (at r178 v236) (at r95 v237) (at r107 v238) (at r66 v239) (at r167 v240) (at r57 v241) (at r374 v242) (at r354 v243) (at r159 v244) (at r46 v245) (at r64 v246) (at r300 v247) (at r96 v248) (at r166 v249) (at r16 v250) (at r244 v251) (at r366 v252) (at r262 v253) (at r157 v254) (at r153 v255) (at r203 v256) (at r155 v257) (at r139 v258) (at r297 v259) (at r133 v260) (at r131 v261) (at r316 v262) (at r73 v263) (at r148 v264) (at r387 v265) (at r48 v266) (at r313 v267) (at r373 v268) (at r196 v269) (at r320 v270) (at r61 v271) (at r311 v272) (at r267 v273) (at r18 v274) (at r151 v275) (at r214 v276) (at r382 v277) (at r237 v278) (at r161 v279) (at r273 v280) (at r192 v281) (at r335 v282) (at r315 v283) (at r229 v284) (at r308 v285) (at r254 v286) (at r11 v287) (at r230 v288) (at r94 v289) (at r193 v290) (at r213 v291) (at r344 v292) (at r85 v293) (at r177 v294) (at r221 v295) (at r154 v296) (at r13 v297) (at r59 v298) (at r24 v299) (at r126 v300) (at r329 v301) (at r233 v302) (at r170 v303) (at r231 v304) (at r206 v305) (free v306) (at r282 v307) (at r250 v308) (at r44 v309) (at r74 v310) (at r90 v311) (at r215 v312) (at r197 v313) (at r53 v314) (at r236 v315) (at r345 v316) (at r28 v317) (at r362 v318) (at r261 v319) (at r186 v320) (at r278 v321) (at r364 v322) (at r268 v323) (at r277 v324) (at r39 v325) (at r370 v326) (at r319 v327) (at r52 v328) (at r2 v329) (at r375 v330) (at r82 v331) (at r51 v332) (at r162 v333) (at r360 v334) (at r317 v335) (at r201 v336) (at r114 v337) (at r324 v338) (at r124 v339) (at r77 v340) (at r271 v341) (at r380 v342) (at r168 v343) (at r54 v344) (at r350 v345) (at r146 v346) (at r60 v347) (at r222 v348) (at r136 v349) (at r292 v350) (at r295 v351) (at r103 v352) (at r339 v353) (at r321 v354) (at r280 v355) (at r226 v356) (at r251 v357) (at r381 v358) (at r275 v359) (at r163 v360) (at r389 v361) (at r121 v362) (at r176 v363) (at r130 v364) (at r249 v365) (at r34 v366) (at r171 v367) (at r234 v368) (at r164 v369) (at r211 v370) (at r36 v371) (at r184 v372) (at r187 v373) (at r110 v374) (at r263 v375) (at r56 v376) (at r290 v377) (at r35 v378) (at r81 v379) (at r264 v380) (at r58 v381) (at r38 v382) (at r12 v383) (at r216 v384) (at r283 v385) (at r120 v386) (at r102 v387) (at r129 v388) (at r241 v389) ) ) )