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