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