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