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