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