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