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