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