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