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