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