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