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