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