(define (problem multirobot_88_90%_c4) (:domain multirobot) (:objects v0 r297 v1 r211 v2 v3 r181 v4 v5 v6 v7 r199 v8 r294 v9 r188 v10 r239 v11 r168 v12 r165 v13 r256 v14 r204 v15 r223 v16 v17 r270 v18 v19 r220 v20 r318 v21 v22 v23 v24 r233 v25 v26 v27 r198 v28 r291 v29 v30 v31 r218 v32 r248 v33 r253 v34 v35 v36 v37 v38 v39 v40 r170 v41 v42 r167 v43 r273 v44 v45 r222 v46 v47 v48 v49 r173 v50 v51 r317 v52 r174 v53 v54 r201 v55 r287 v56 r277 v57 v58 v59 v60 v61 v62 r308 v63 v64 v65 r178 v66 v67 v68 v69 v70 r252 v71 r232 v72 r275 v73 v74 v75 r307 v76 r169 v77 r224 v78 r303 v79 v80 v81 v82 r164 v83 v84 r166 v85 r301 v86 r195 v87 r295 v88 r250 v89 r171 v90 v91 r182 v92 r296 v93 r203 v94 r262 v95 r241 v96 r163 v97 v98 v99 r213 v100 r183 v101 r284 v102 v103 v104 r259 v105 v106 r236 v107 r271 v108 v109 r315 v110 v111 r216 v112 v113 r172 v114 r197 v115 v116 v117 v118 v119 v120 r208 v121 v122 r286 v123 r266 v124 r207 v125 v126 r187 v127 r238 v128 v129 v130 v131 r268 v132 r214 v133 v134 r289 v135 v136 v137 v138 v139 r264 v140 v141 v142 r279 v143 v144 r269 v145 v146 r274 v147 r175 v148 v149 r281 v150 v151 v152 v153 v154 v155 v156 r215 v157 v158 r226 v159 r265 v160 r310 v161 r177 v162 r261 v163 v164 r263 v165 r245 v166 v167 v168 r234 v169 v170 r228 v171 v172 v173 r189 v174 r305 v175 v176 v177 r258 v178 v179 r190 v180 v181 r288 v182 v183 v184 r217 v185 r242 v186 v187 r219 v188 r304 v189 v190 r202 v191 v192 r194 v193 r200 v194 v195 v196 r285 v197 r272 v198 v199 v200 v201 v202 v203 v204 r243 v205 v206 r225 v207 r206 v208 r267 v209 v210 r205 v211 v212 r302 v213 v214 v215 v216 r282 v217 r319 v218 r260 v219 r320 v220 r246 v221 v222 v223 r221 v224 r251 v225 r247 v226 v227 v228 r316 v229 r186 v230 r210 v231 r292 v232 v233 v234 v235 v236 r191 v237 v238 r193 v239 v240 v241 v242 r227 v243 v244 r184 v245 r180 v246 r249 v247 v248 v249 v250 r192 v251 v252 r237 v253 v254 r276 v255 r196 v256 r244 v257 r290 v258 r299 v259 r312 v260 v261 r298 v262 v263 v264 v265 v266 r176 v267 v268 r314 v269 r185 v270 v271 v272 v273 r254 v274 v275 r313 v276 r240 v277 v278 v279 v280 r230 v281 r300 v282 r280 v283 r306 v284 v285 v286 v287 r293 v288 v289 v290 v291 r229 v292 v293 r235 v294 r212 v295 v296 r209 v297 v298 v299 v300 r179 v301 v302 v303 v304 v305 v306 v307 r311 v308 r283 v309 v310 v311 v312 r255 v313 r257 v314 v315 v316 r231 v317 r309 v318 r278 v319 v320 ) (:init (at r297 v0) (at r211 v1) (free v2) (at r181 v3) (free v4) (free v5) (free v6) (at r199 v7) (at r294 v8) (at r188 v9) (at r239 v10) (at r168 v11) (at r165 v12) (at r256 v13) (at r204 v14) (at r223 v15) (free v16) (at r270 v17) (free v18) (at r220 v19) (at r318 v20) (free v21) (free v22) (free v23) (at r233 v24) (free v25) (free v26) (at r198 v27) (at r291 v28) (free v29) (free v30) (at r218 v31) (at r248 v32) (at r253 v33) (free v34) (free v35) (free v36) (free v37) (free v38) (free v39) (at r170 v40) (free v41) (at r167 v42) (at r273 v43) (free v44) (at r222 v45) (free v46) (free v47) (free v48) (at r173 v49) (free v50) (at r317 v51) (at r174 v52) (free v53) (at r201 v54) (at r287 v55) (at r277 v56) (free v57) (free v58) (free v59) (free v60) (free v61) (at r308 v62) (free v63) (free v64) (at r178 v65) (free v66) (free v67) (free v68) (free v69) (at r252 v70) (at r232 v71) (at r275 v72) (free v73) (free v74) (at r307 v75) (at r169 v76) (at r224 v77) (at r303 v78) (free v79) (free v80) (free v81) (at r164 v82) (free v83) (at r166 v84) (at r301 v85) (at r195 v86) (at r295 v87) (at r250 v88) (at r171 v89) (free v90) (at r182 v91) (at r296 v92) (at r203 v93) (at r262 v94) (at r241 v95) (at r163 v96) (free v97) (free v98) (at r213 v99) (at r183 v100) (at r284 v101) (free v102) (free v103) (at r259 v104) (free v105) (at r236 v106) (at r271 v107) (free v108) (at r315 v109) (free v110) (at r216 v111) (free v112) (at r172 v113) (at r197 v114) (free v115) (free v116) (free v117) (free v118) (free v119) (at r208 v120) (free v121) (at r286 v122) (at r266 v123) (at r207 v124) (free v125) (at r187 v126) (at r238 v127) (free v128) (free v129) (free v130) (at r268 v131) (at r214 v132) (free v133) (at r289 v134) (free v135) (free v136) (free v137) (free v138) (at r264 v139) (free v140) (free v141) (at r279 v142) (free v143) (at r269 v144) (free v145) (at r274 v146) (at r175 v147) (free v148) (at r281 v149) (free v150) (free v151) (free v152) (free v153) (free v154) (free v155) (at r215 v156) (free v157) (at r226 v158) (at r265 v159) (at r310 v160) (at r177 v161) (at r261 v162) (free v163) (at r263 v164) (at r245 v165) (free v166) (free v167) (at r234 v168) (free v169) (at r228 v170) (free v171) (free v172) (at r189 v173) (at r305 v174) (free v175) (free v176) (at r258 v177) (free v178) (at r190 v179) (free v180) (at r288 v181) (free v182) (free v183) (at r217 v184) (at r242 v185) (free v186) (at r219 v187) (at r304 v188) (free v189) (at r202 v190) (free v191) (at r194 v192) (at r200 v193) (free v194) (free v195) (at r285 v196) (at r272 v197) (free v198) (free v199) (free v200) (free v201) (free v202) (free v203) (at r243 v204) (free v205) (at r225 v206) (at r206 v207) (at r267 v208) (free v209) (at r205 v210) (free v211) (at r302 v212) (free v213) (free v214) (free v215) (at r282 v216) (at r319 v217) (at r260 v218) (at r320 v219) (at r246 v220) (free v221) (free v222) (at r221 v223) (at r251 v224) (at r247 v225) (free v226) (free v227) (at r316 v228) (at r186 v229) (at r210 v230) (at r292 v231) (free v232) (free v233) (free v234) (free v235) (at r191 v236) (free v237) (at r193 v238) (free v239) (free v240) (free v241) (at r227 v242) (free v243) (at r184 v244) (at r180 v245) (at r249 v246) (free v247) (free v248) (free v249) (at r192 v250) (free v251) (at r237 v252) (free v253) (at r276 v254) (at r196 v255) (at r244 v256) (at r290 v257) (at r299 v258) (at r312 v259) (free v260) (at r298 v261) (free v262) (free v263) (free v264) (free v265) (at r176 v266) (free v267) (at r314 v268) (at r185 v269) (free v270) (free v271) (free v272) (at r254 v273) (free v274) (at r313 v275) (at r240 v276) (free v277) (free v278) (free v279) (at r230 v280) (at r300 v281) (at r280 v282) (at r306 v283) (free v284) (free v285) (free v286) (at r293 v287) (free v288) (free v289) (free v290) (at r229 v291) (free v292) (at r235 v293) (at r212 v294) (free v295) (at r209 v296) (free v297) (free v298) (free v299) (at r179 v300) (free v301) (free v302) (free v303) (free v304) (free v305) (free v306) (at r311 v307) (at r283 v308) (free v309) (free v310) (free v311) (at r255 v312) (at r257 v313) (free v314) (free v315) (at r231 v316) (at r309 v317) (at r278 v318) (free v319) (free v320) (adjacent v0 v1) (adjacent v0 v4) (adjacent v0 v25) (adjacent v1 v2) (adjacent v1 v11) (adjacent v1 v296) (adjacent v2 v3) (adjacent v2 v5) (adjacent v3 v4) (adjacent v3 v7) (adjacent v3 v18) (adjacent v3 v25) (adjacent v3 v27) (adjacent v3 v33) (adjacent v3 v119) (adjacent v5 v6) (adjacent v5 v19) (adjacent v6 v7) (adjacent v6 v26) (adjacent v6 v157) (adjacent v7 v8) (adjacent v7 v94) (adjacent v7 v165) (adjacent v7 v210) (adjacent v8 v9) (adjacent v8 v120) (adjacent v9 v10) (adjacent v9 v12) (adjacent v10 v11) (adjacent v10 v99) (adjacent v11 v34) (adjacent v11 v45) (adjacent v12 v13) (adjacent v12 v48) (adjacent v12 v53) (adjacent v12 v62) (adjacent v13 v14) (adjacent v13 v128) (adjacent v13 v314) (adjacent v14 v15) (adjacent v14 v116) (adjacent v15 v16) (adjacent v16 v17) (adjacent v16 v85) (adjacent v17 v18) (adjacent v18 v24) (adjacent v18 v46) (adjacent v18 v76) (adjacent v19 v20) (adjacent v19 v28) (adjacent v19 v80) (adjacent v20 v21) (adjacent v21 v22) (adjacent v21 v81) (adjacent v21 v86) (adjacent v21 v134) (adjacent v21 v190) (adjacent v22 v23) (adjacent v22 v127) (adjacent v23 v24) (adjacent v24 v40) (adjacent v25 v108) (adjacent v25 v121) (adjacent v25 v213) (adjacent v26 v27) (adjacent v28 v29) (adjacent v29 v30) (adjacent v29 v157) (adjacent v29 v215) (adjacent v30 v31) (adjacent v30 v49) (adjacent v30 v60) (adjacent v30 v106) (adjacent v30 v179) (adjacent v31 v32) (adjacent v32 v33) (adjacent v33 v107) (adjacent v34 v35) (adjacent v34 v173) (adjacent v34 v212) (adjacent v35 v36) (adjacent v35 v308) (adjacent v36 v37) (adjacent v37 v38) (adjacent v37 v70) (adjacent v37 v75) (adjacent v37 v128) (adjacent v37 v135) (adjacent v38 v39) (adjacent v38 v41) (adjacent v38 v92) (adjacent v39 v40) (adjacent v40 v61) (adjacent v40 v184) (adjacent v41 v42) (adjacent v41 v121) (adjacent v42 v43) (adjacent v42 v63) (adjacent v42 v95) (adjacent v43 v44) (adjacent v43 v278) (adjacent v44 v45) (adjacent v45 v71) (adjacent v45 v118) (adjacent v45 v226) (adjacent v46 v47) (adjacent v47 v48) (adjacent v49 v50) (adjacent v50 v51) (adjacent v51 v52) (adjacent v51 v54) (adjacent v51 v200) (adjacent v52 v53) (adjacent v52 v159) (adjacent v53 v288) (adjacent v54 v55) (adjacent v54 v156) (adjacent v55 v56) (adjacent v56 v57) (adjacent v57 v58) (adjacent v58 v59) (adjacent v58 v83) (adjacent v58 v122) (adjacent v59 v60) (adjacent v59 v96) (adjacent v59 v178) (adjacent v60 v227) (adjacent v61 v62) (adjacent v61 v69) (adjacent v61 v70) (adjacent v63 v64) (adjacent v63 v148) (adjacent v63 v152) (adjacent v64 v65) (adjacent v64 v84) (adjacent v64 v283) (adjacent v65 v66) (adjacent v65 v169) (adjacent v66 v67) (adjacent v66 v95) (adjacent v67 v68) (adjacent v67 v88) (adjacent v67 v215) (adjacent v67 v315) (adjacent v68 v69) (adjacent v69 v91) (adjacent v69 v220) (adjacent v70 v239) (adjacent v71 v72) (adjacent v71 v141) (adjacent v72 v73) (adjacent v73 v74) (adjacent v74 v75) (adjacent v75 v105) (adjacent v76 v77) (adjacent v77 v78) (adjacent v77 v89) (adjacent v77 v149) (adjacent v77 v213) (adjacent v78 v79) (adjacent v78 v154) (adjacent v78 v160) (adjacent v79 v80) (adjacent v79 v228) (adjacent v80 v103) (adjacent v80 v153) (adjacent v80 v156) (adjacent v80 v250) (adjacent v81 v82) (adjacent v81 v115) (adjacent v82 v83) (adjacent v82 v203) (adjacent v83 v168) (adjacent v83 v172) (adjacent v84 v85) (adjacent v84 v114) (adjacent v84 v142) (adjacent v84 v282) (adjacent v86 v87) (adjacent v87 v88) (adjacent v89 v90) (adjacent v89 v102) (adjacent v89 v197) (adjacent v90 v91) (adjacent v90 v100) (adjacent v92 v93) (adjacent v93 v94) (adjacent v95 v113) (adjacent v96 v97) (adjacent v96 v232) (adjacent v97 v98) (adjacent v98 v99) (adjacent v98 v147) (adjacent v100 v101) (adjacent v101 v102) (adjacent v101 v192) (adjacent v103 v104) (adjacent v104 v105) (adjacent v106 v107) (adjacent v106 v217) (adjacent v108 v109) (adjacent v109 v110) (adjacent v109 v229) (adjacent v110 v111) (adjacent v110 v129) (adjacent v111 v112) (adjacent v111 v158) (adjacent v112 v113) (adjacent v114 v115) (adjacent v114 v214) (adjacent v116 v117) (adjacent v117 v118) (adjacent v117 v294) (adjacent v118 v228) (adjacent v119 v120) (adjacent v119 v245) (adjacent v122 v123) (adjacent v122 v164) (adjacent v122 v281) (adjacent v123 v124) (adjacent v123 v199) (adjacent v124 v125) (adjacent v125 v126) (adjacent v125 v214) (adjacent v126 v127) (adjacent v126 v148) (adjacent v126 v153) (adjacent v128 v285) (adjacent v129 v130) (adjacent v130 v131) (adjacent v130 v151) (adjacent v130 v284) (adjacent v131 v132) (adjacent v132 v133) (adjacent v132 v244) (adjacent v133 v134) (adjacent v133 v150) (adjacent v134 v149) (adjacent v135 v136) (adjacent v135 v155) (adjacent v136 v137) (adjacent v137 v138) (adjacent v137 v266) (adjacent v138 v139) (adjacent v138 v320) (adjacent v139 v140) (adjacent v140 v141) (adjacent v142 v143) (adjacent v143 v144) (adjacent v143 v216) (adjacent v144 v145) (adjacent v145 v146) (adjacent v145 v216) (adjacent v145 v257) (adjacent v146 v147) (adjacent v147 v251) (adjacent v150 v151) (adjacent v150 v152) (adjacent v154 v155) (adjacent v158 v159) (adjacent v160 v161) (adjacent v161 v162) (adjacent v162 v163) (adjacent v163 v164) (adjacent v164 v238) (adjacent v164 v271) (adjacent v165 v166) (adjacent v166 v167) (adjacent v166 v218) (adjacent v167 v168) (adjacent v167 v189) (adjacent v168 v258) (adjacent v169 v170) (adjacent v169 v183) (adjacent v170 v171) (adjacent v171 v172) (adjacent v173 v174) (adjacent v174 v175) (adjacent v175 v176) (adjacent v176 v177) (adjacent v176 v227) (adjacent v176 v259) (adjacent v177 v178) (adjacent v179 v180) (adjacent v180 v181) (adjacent v181 v182) (adjacent v182 v183) (adjacent v184 v185) (adjacent v185 v186) (adjacent v185 v193) (adjacent v186 v187) (adjacent v187 v188) (adjacent v187 v297) (adjacent v188 v189) (adjacent v189 v233) (adjacent v189 v277) (adjacent v190 v191) (adjacent v191 v192) (adjacent v191 v198) (adjacent v192 v209) (adjacent v193 v194) (adjacent v194 v195) (adjacent v194 v204) (adjacent v195 v196) (adjacent v195 v265) (adjacent v196 v197) (adjacent v196 v298) (adjacent v198 v199) (adjacent v199 v217) (adjacent v200 v201) (adjacent v201 v202) (adjacent v202 v203) (adjacent v204 v205) (adjacent v204 v221) (adjacent v205 v206) (adjacent v206 v207) (adjacent v207 v208) (adjacent v208 v209) (adjacent v210 v211) (adjacent v211 v212) (adjacent v218 v219) (adjacent v219 v220) (adjacent v219 v270) (adjacent v221 v222) (adjacent v221 v266) (adjacent v222 v223) (adjacent v222 v302) (adjacent v223 v224) (adjacent v224 v225) (adjacent v225 v226) (adjacent v229 v230) (adjacent v230 v231) (adjacent v231 v232) (adjacent v233 v234) (adjacent v234 v235) (adjacent v235 v236) (adjacent v236 v237) (adjacent v237 v238) (adjacent v238 v258) (adjacent v239 v240) (adjacent v240 v241) (adjacent v241 v242) (adjacent v242 v243) (adjacent v243 v244) (adjacent v245 v246) (adjacent v246 v247) (adjacent v246 v267) (adjacent v247 v248) (adjacent v248 v249) (adjacent v249 v250) (adjacent v251 v252) (adjacent v252 v253) (adjacent v253 v254) (adjacent v254 v255) (adjacent v255 v256) (adjacent v256 v257) (adjacent v259 v260) (adjacent v260 v261) (adjacent v261 v262) (adjacent v261 v309) (adjacent v262 v263) (adjacent v263 v264) (adjacent v264 v265) (adjacent v267 v268) (adjacent v268 v269) (adjacent v269 v270) (adjacent v269 v282) (adjacent v271 v272) (adjacent v272 v273) (adjacent v273 v274) (adjacent v274 v275) (adjacent v275 v276) (adjacent v275 v289) (adjacent v276 v277) (adjacent v278 v279) (adjacent v279 v280) (adjacent v280 v281) (adjacent v283 v284) (adjacent v285 v286) (adjacent v286 v287) (adjacent v287 v288) (adjacent v287 v293) (adjacent v289 v290) (adjacent v290 v291) (adjacent v291 v292) (adjacent v291 v297) (adjacent v291 v301) (adjacent v292 v293) (adjacent v294 v295) (adjacent v295 v296) (adjacent v298 v299) (adjacent v299 v300) (adjacent v300 v301) (adjacent v302 v303) (adjacent v303 v304) (adjacent v304 v305) (adjacent v305 v306) (adjacent v306 v307) (adjacent v307 v308) (adjacent v309 v310) (adjacent v310 v311) (adjacent v311 v312) (adjacent v312 v313) (adjacent v313 v314) (adjacent v315 v316) (adjacent v316 v317) (adjacent v317 v318) (adjacent v318 v319) (adjacent v319 v320) ) (:goal (and (at r317 v0) (at r229 v1) (free v2) (free v3) (free v4) (free v5) (at r208 v6) (free v7) (at r176 v8) (at r174 v9) (free v10) (at r285 v11) (free v12) (free v13) (at r316 v14) (at r200 v15) (at r175 v16) (at r218 v17) (at r219 v18) (free v19) (at r276 v20) (free v21) (at r213 v22) (at r179 v23) (free v24) (free v25) (free v26) (free v27) (at r177 v28) (free v29) (free v30) (at r203 v31) (at r180 v32) (at r300 v33) (free v34) (free v35) (at r198 v36) (at r277 v37) (free v38) (free v39) (at r205 v40) (at r163 v41) (at r309 v42) (at r270 v43) (at r260 v44) (free v45) (at r210 v46) (free v47) (free v48) (at r315 v49) (at r319 v50) (free v51) (at r253 v52) (free v53) (at r184 v54) (at r275 v55) (at r287 v56) (free v57) (free v58) (at r264 v59) (at r186 v60) (at r250 v61) (free v62) (at r301 v63) (at r237 v64) (free v65) (free v66) (free v67) (free v68) (at r245 v69) (at r261 v70) (free v71) (free v72) (free v73) (at r297 v74) (free v75) (free v76) (at r230 v77) (at r267 v78) (at r217 v79) (free v80) (at r195 v81) (at r305 v82) (at r274 v83) (at r259 v84) (at r228 v85) (free v86) (free v87) (free v88) (free v89) (free v90) (at r221 v91) (free v92) (at r265 v93) (at r304 v94) (free v95) (at r192 v96) (at r246 v97) (at r281 v98) (at r282 v99) (at r257 v100) (free v101) (free v102) (free v103) (at r185 v104) (at r190 v105) (free v106) (at r310 v107) (free v108) (at r171 v109) (at r193 v110) (free v111) (free v112) (free v113) (at r247 v114) (at r303 v115) (free v116) (free v117) (at r298 v118) (free v119) (free v120) (at r189 v121) (at r320 v122) (at r216 v123) (free v124) (at r201 v125) (free v126) (free v127) (at r238 v128) (at r173 v129) (free v130) (at r232 v131) (at r236 v132) (at r172 v133) (at r234 v134) (free v135) (at r263 v136) (at r231 v137) (free v138) (at r165 v139) (free v140) (free v141) (free v142) (free v143) (free v144) (at r224 v145) (free v146) (free v147) (at r308 v148) (free v149) (at r187 v150) (at r294 v151) (at r181 v152) (free v153) (at r251 v154) (free v155) (free v156) (at r293 v157) (free v158) (at r242 v159) (at r291 v160) (free v161) (free v162) (free v163) (free v164) (free v165) (at r272 v166) (at r199 v167) (at r313 v168) (free v169) (free v170) (at r286 v171) (free v172) (at r256 v173) (free v174) (at r288 v175) (at r244 v176) (at r183 v177) (free v178) (at r223 v179) (free v180) (free v181) (at r302 v182) (at r233 v183) (at r188 v184) (at r204 v185) (at r314 v186) (free v187) (free v188) (at r212 v189) (at r239 v190) (free v191) (free v192) (at r306 v193) (free v194) (free v195) (free v196) (free v197) (at r318 v198) (free v199) (free v200) (at r209 v201) (free v202) (free v203) (at r278 v204) (free v205) (free v206) (free v207) (free v208) (at r290 v209) (free v210) (at r312 v211) (free v212) (free v213) (at r215 v214) (free v215) (at r235 v216) (free v217) (at r241 v218) (free v219) (at r182 v220) (at r214 v221) (at r240 v222) (at r220 v223) (at r296 v224) (free v225) (free v226) (at r178 v227) (at r248 v228) (free v229) (at r280 v230) (free v231) (at r295 v232) (at r170 v233) (free v234) (at r168 v235) (at r271 v236) (free v237) (free v238) (at r269 v239) (at r197 v240) (at r226 v241) (free v242) (free v243) (at r196 v244) (free v245) (free v246) (free v247) (at r169 v248) (free v249) (free v250) (free v251) (free v252) (free v253) (at r279 v254) (at r249 v255) (at r202 v256) (at r207 v257) (free v258) (at r211 v259) (free v260) (free v261) (free v262) (free v263) (at r284 v264) (free v265) (free v266) (at r262 v267) (free v268) (at r194 v269) (free v270) (free v271) (free v272) (at r289 v273) (at r225 v274) (at r266 v275) (free v276) (free v277) (free v278) (at r191 v279) (free v280) (free v281) (at r307 v282) (free v283) (free v284) (free v285) (free v286) (at r254 v287) (free v288) (at r167 v289) (at r268 v290) (free v291) (at r311 v292) (at r164 v293) (free v294) (free v295) (at r273 v296) (free v297) (free v298) (at r283 v299) (free v300) (at r252 v301) (at r292 v302) (free v303) (at r166 v304) (at r243 v305) (free v306) (free v307) (at r222 v308) (free v309) (at r258 v310) (free v311) (at r206 v312) (free v313) (free v314) (at r255 v315) (free v316) (free v317) (at r299 v318) (free v319) (at r227 v320) ) ) )