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