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