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