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