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