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