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