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