(define (problem multirobot_75_90%_c5) (:domain multirobot) (:objects v0 r261 v1 r212 v2 r234 v3 r196 v4 v5 v6 v7 v8 v9 r197 v10 v11 r171 v12 v13 r160 v14 v15 v16 r251 v17 r246 v18 v19 r279 v20 v21 v22 r240 v23 v24 r149 v25 r239 v26 r262 v27 r139 v28 v29 v30 v31 v32 r243 v33 v34 r233 v35 v36 r176 v37 v38 v39 r185 v40 r249 v41 v42 v43 r199 v44 r241 v45 v46 v47 r245 v48 v49 r203 v50 v51 v52 r209 v53 r247 v54 r259 v55 v56 r219 v57 r213 v58 r211 v59 r242 v60 v61 r252 v62 r223 v63 v64 v65 r272 v66 v67 v68 v69 v70 r275 v71 r161 v72 v73 v74 v75 r235 v76 r172 v77 v78 v79 r263 v80 v81 r201 v82 r191 v83 v84 v85 r237 v86 r143 v87 r146 v88 r224 v89 v90 r158 v91 r170 v92 r274 v93 r264 v94 v95 v96 r256 v97 r154 v98 v99 v100 r217 v101 v102 v103 r267 v104 v105 r258 v106 v107 r142 v108 r140 v109 r207 v110 v111 r151 v112 r165 v113 v114 v115 v116 v117 v118 v119 v120 r153 v121 v122 v123 v124 v125 r184 v126 v127 v128 v129 v130 v131 v132 v133 v134 r175 v135 r254 v136 v137 v138 v139 r227 v140 v141 r156 v142 v143 v144 v145 v146 r195 v147 r226 v148 v149 v150 r194 v151 v152 r215 v153 r270 v154 r148 v155 v156 r189 v157 r192 v158 r179 v159 r265 v160 v161 v162 r232 v163 r206 v164 v165 r248 v166 v167 v168 r250 v169 r210 v170 v171 r277 v172 v173 r271 v174 v175 r186 v176 r182 v177 v178 v179 r269 v180 r278 v181 v182 r136 v183 v184 r183 v185 v186 r138 v187 r157 v188 r266 v189 r181 v190 v191 r145 v192 v193 r159 v194 r147 v195 r144 v196 r280 v197 v198 v199 r163 v200 r204 v201 r166 v202 r260 v203 v204 v205 v206 r255 v207 r167 v208 r180 v209 r177 v210 v211 r150 v212 r190 v213 r238 v214 v215 v216 v217 v218 v219 r152 v220 r193 v221 r214 v222 v223 v224 r208 v225 v226 r229 v227 v228 r244 v229 r198 v230 r220 v231 v232 r178 v233 r231 v234 r236 v235 r173 v236 r200 v237 r268 v238 r222 v239 r228 v240 v241 v242 r162 v243 r230 v244 v245 r257 v246 v247 r187 v248 r155 v249 v250 v251 r216 v252 r164 v253 r273 v254 v255 v256 r188 v257 r221 v258 r218 v259 r276 v260 r168 v261 r253 v262 r137 v263 v264 r225 v265 r202 v266 v267 r169 v268 v269 v270 v271 v272 r205 v273 v274 v275 v276 r141 v277 r174 v278 v279 v280 ) (:init (at r261 v0) (at r212 v1) (at r234 v2) (at r196 v3) (free v4) (free v5) (free v6) (free v7) (free v8) (at r197 v9) (free v10) (at r171 v11) (free v12) (at r160 v13) (free v14) (free v15) (at r251 v16) (at r246 v17) (free v18) (at r279 v19) (free v20) (free v21) (at r240 v22) (free v23) (at r149 v24) (at r239 v25) (at r262 v26) (at r139 v27) (free v28) (free v29) (free v30) (free v31) (at r243 v32) (free v33) (at r233 v34) (free v35) (at r176 v36) (free v37) (free v38) (at r185 v39) (at r249 v40) (free v41) (free v42) (at r199 v43) (at r241 v44) (free v45) (free v46) (at r245 v47) (free v48) (at r203 v49) (free v50) (free v51) (at r209 v52) (at r247 v53) (at r259 v54) (free v55) (at r219 v56) (at r213 v57) (at r211 v58) (at r242 v59) (free v60) (at r252 v61) (at r223 v62) (free v63) (free v64) (at r272 v65) (free v66) (free v67) (free v68) (free v69) (at r275 v70) (at r161 v71) (free v72) (free v73) (free v74) (at r235 v75) (at r172 v76) (free v77) (free v78) (at r263 v79) (free v80) (at r201 v81) (at r191 v82) (free v83) (free v84) (at r237 v85) (at r143 v86) (at r146 v87) (at r224 v88) (free v89) (at r158 v90) (at r170 v91) (at r274 v92) (at r264 v93) (free v94) (free v95) (at r256 v96) (at r154 v97) (free v98) (free v99) (at r217 v100) (free v101) (free v102) (at r267 v103) (free v104) (at r258 v105) (free v106) (at r142 v107) (at r140 v108) (at r207 v109) (free v110) (at r151 v111) (at r165 v112) (free v113) (free v114) (free v115) (free v116) (free v117) (free v118) (free v119) (at r153 v120) (free v121) (free v122) (free v123) (free v124) (at r184 v125) (free v126) (free v127) (free v128) (free v129) (free v130) (free v131) (free v132) (free v133) (at r175 v134) (at r254 v135) (free v136) (free v137) (free v138) (at r227 v139) (free v140) (at r156 v141) (free v142) (free v143) (free v144) (free v145) (at r195 v146) (at r226 v147) (free v148) (free v149) (at r194 v150) (free v151) (at r215 v152) (at r270 v153) (at r148 v154) (free v155) (at r189 v156) (at r192 v157) (at r179 v158) (at r265 v159) (free v160) (free v161) (at r232 v162) (at r206 v163) (free v164) (at r248 v165) (free v166) (free v167) (at r250 v168) (at r210 v169) (free v170) (at r277 v171) (free v172) (at r271 v173) (free v174) (at r186 v175) (at r182 v176) (free v177) (free v178) (at r269 v179) (at r278 v180) (free v181) (at r136 v182) (free v183) (at r183 v184) (free v185) (at r138 v186) (at r157 v187) (at r266 v188) (at r181 v189) (free v190) (at r145 v191) (free v192) (at r159 v193) (at r147 v194) (at r144 v195) (at r280 v196) (free v197) (free v198) (at r163 v199) (at r204 v200) (at r166 v201) (at r260 v202) (free v203) (free v204) (free v205) (at r255 v206) (at r167 v207) (at r180 v208) (at r177 v209) (free v210) (at r150 v211) (at r190 v212) (at r238 v213) (free v214) (free v215) (free v216) (free v217) (free v218) (at r152 v219) (at r193 v220) (at r214 v221) (free v222) (free v223) (at r208 v224) (free v225) (at r229 v226) (free v227) (at r244 v228) (at r198 v229) (at r220 v230) (free v231) (at r178 v232) (at r231 v233) (at r236 v234) (at r173 v235) (at r200 v236) (at r268 v237) (at r222 v238) (at r228 v239) (free v240) (free v241) (at r162 v242) (at r230 v243) (free v244) (at r257 v245) (free v246) (at r187 v247) (at r155 v248) (free v249) (free v250) (at r216 v251) (at r164 v252) (at r273 v253) (free v254) (free v255) (at r188 v256) (at r221 v257) (at r218 v258) (at r276 v259) (at r168 v260) (at r253 v261) (at r137 v262) (free v263) (at r225 v264) (at r202 v265) (free v266) (at r169 v267) (free v268) (free v269) (free v270) (free v271) (at r205 v272) (free v273) (free v274) (free v275) (at r141 v276) (at r174 v277) (free v278) (free v279) (free v280) (adjacent v0 v1) (adjacent v0 v4) (adjacent v0 v18) (adjacent v1 v2) (adjacent v1 v83) (adjacent v2 v3) (adjacent v2 v29) (adjacent v2 v53) (adjacent v2 v110) (adjacent v3 v4) (adjacent v3 v10) (adjacent v4 v5) (adjacent v4 v121) (adjacent v4 v174) (adjacent v4 v203) (adjacent v5 v6) (adjacent v5 v17) (adjacent v6 v7) (adjacent v6 v14) (adjacent v6 v40) (adjacent v7 v8) (adjacent v7 v82) (adjacent v7 v126) (adjacent v7 v249) (adjacent v8 v9) (adjacent v8 v122) (adjacent v9 v10) (adjacent v9 v11) (adjacent v9 v47) (adjacent v9 v62) (adjacent v9 v100) (adjacent v9 v105) (adjacent v9 v143) (adjacent v10 v13) (adjacent v11 v12) (adjacent v11 v39) (adjacent v12 v13) (adjacent v12 v23) (adjacent v12 v36) (adjacent v12 v52) (adjacent v14 v15) (adjacent v15 v16) (adjacent v15 v45) (adjacent v15 v233) (adjacent v16 v17) (adjacent v16 v22) (adjacent v16 v100) (adjacent v17 v91) (adjacent v17 v109) (adjacent v17 v250) (adjacent v18 v19) (adjacent v18 v35) (adjacent v19 v20) (adjacent v19 v171) (adjacent v20 v21) (adjacent v20 v30) (adjacent v20 v136) (adjacent v21 v22) (adjacent v22 v67) (adjacent v22 v77) (adjacent v23 v24) (adjacent v24 v25) (adjacent v24 v61) (adjacent v24 v170) (adjacent v24 v197) (adjacent v25 v26) (adjacent v25 v153) (adjacent v26 v27) (adjacent v26 v149) (adjacent v27 v28) (adjacent v27 v53) (adjacent v28 v29) (adjacent v28 v60) (adjacent v28 v75) (adjacent v28 v116) (adjacent v30 v31) (adjacent v30 v166) (adjacent v31 v32) (adjacent v31 v69) (adjacent v32 v33) (adjacent v32 v76) (adjacent v32 v167) (adjacent v33 v34) (adjacent v33 v54) (adjacent v34 v35) (adjacent v35 v160) (adjacent v35 v251) (adjacent v36 v37) (adjacent v36 v46) (adjacent v36 v137) (adjacent v36 v177) (adjacent v37 v38) (adjacent v38 v39) (adjacent v38 v48) (adjacent v38 v91) (adjacent v39 v110) (adjacent v40 v41) (adjacent v41 v42) (adjacent v42 v43) (adjacent v42 v266) (adjacent v43 v44) (adjacent v44 v45) (adjacent v45 v75) (adjacent v45 v87) (adjacent v45 v168) (adjacent v46 v47) (adjacent v47 v77) (adjacent v47 v92) (adjacent v48 v49) (adjacent v49 v50) (adjacent v50 v51) (adjacent v50 v258) (adjacent v51 v52) (adjacent v51 v86) (adjacent v52 v242) (adjacent v53 v209) (adjacent v54 v55) (adjacent v55 v56) (adjacent v55 v66) (adjacent v55 v105) (adjacent v56 v57) (adjacent v56 v78) (adjacent v57 v58) (adjacent v58 v59) (adjacent v58 v61) (adjacent v59 v60) (adjacent v59 v115) (adjacent v59 v119) (adjacent v59 v238) (adjacent v60 v70) (adjacent v62 v63) (adjacent v62 v87) (adjacent v62 v144) (adjacent v63 v64) (adjacent v63 v90) (adjacent v64 v65) (adjacent v64 v74) (adjacent v65 v66) (adjacent v65 v104) (adjacent v67 v68) (adjacent v68 v69) (adjacent v68 v88) (adjacent v68 v131) (adjacent v69 v150) (adjacent v69 v202) (adjacent v70 v71) (adjacent v71 v72) (adjacent v72 v73) (adjacent v73 v74) (adjacent v73 v101) (adjacent v74 v76) (adjacent v74 v178) (adjacent v74 v278) (adjacent v76 v99) (adjacent v78 v79) (adjacent v79 v80) (adjacent v79 v106) (adjacent v80 v81) (adjacent v80 v154) (adjacent v81 v82) (adjacent v81 v188) (adjacent v83 v84) (adjacent v83 v99) (adjacent v84 v85) (adjacent v85 v86) (adjacent v87 v98) (adjacent v87 v201) (adjacent v88 v89) (adjacent v89 v90) (adjacent v92 v93) (adjacent v93 v94) (adjacent v93 v111) (adjacent v94 v95) (adjacent v95 v96) (adjacent v95 v145) (adjacent v96 v97) (adjacent v96 v127) (adjacent v97 v98) (adjacent v97 v130) (adjacent v97 v224) (adjacent v101 v102) (adjacent v102 v103) (adjacent v103 v104) (adjacent v103 v174) (adjacent v105 v142) (adjacent v106 v107) (adjacent v106 v172) (adjacent v106 v216) (adjacent v107 v108) (adjacent v108 v109) (adjacent v109 v234) (adjacent v110 v273) (adjacent v111 v112) (adjacent v112 v113) (adjacent v112 v264) (adjacent v113 v114) (adjacent v113 v218) (adjacent v114 v115) (adjacent v114 v182) (adjacent v116 v117) (adjacent v116 v120) (adjacent v117 v118) (adjacent v118 v119) (adjacent v119 v218) (adjacent v119 v250) (adjacent v120 v121) (adjacent v122 v123) (adjacent v123 v124) (adjacent v124 v125) (adjacent v125 v126) (adjacent v127 v128) (adjacent v127 v204) (adjacent v128 v129) (adjacent v128 v208) (adjacent v129 v130) (adjacent v129 v161) (adjacent v130 v223) (adjacent v131 v132) (adjacent v132 v133) (adjacent v132 v243) (adjacent v133 v134) (adjacent v134 v135) (adjacent v134 v190) (adjacent v134 v217) (adjacent v135 v136) (adjacent v136 v175) (adjacent v137 v138) (adjacent v138 v139) (adjacent v138 v171) (adjacent v139 v140) (adjacent v139 v226) (adjacent v140 v141) (adjacent v141 v142) (adjacent v141 v257) (adjacent v143 v144) (adjacent v145 v146) (adjacent v146 v147) (adjacent v146 v203) (adjacent v147 v148) (adjacent v148 v149) (adjacent v149 v169) (adjacent v150 v151) (adjacent v151 v152) (adjacent v151 v215) (adjacent v152 v153) (adjacent v154 v155) (adjacent v154 v279) (adjacent v155 v156) (adjacent v156 v157) (adjacent v157 v158) (adjacent v158 v159) (adjacent v158 v255) (adjacent v159 v160) (adjacent v160 v173) (adjacent v161 v162) (adjacent v162 v163) (adjacent v163 v164) (adjacent v164 v165) (adjacent v164 v254) (adjacent v165 v166) (adjacent v165 v227) (adjacent v165 v237) (adjacent v167 v168) (adjacent v169 v170) (adjacent v172 v173) (adjacent v173 v191) (adjacent v175 v176) (adjacent v175 v280) (adjacent v176 v177) (adjacent v176 v181) (adjacent v177 v189) (adjacent v178 v179) (adjacent v179 v180) (adjacent v180 v181) (adjacent v182 v183) (adjacent v183 v184) (adjacent v183 v196) (adjacent v184 v185) (adjacent v185 v186) (adjacent v185 v219) (adjacent v186 v187) (adjacent v187 v188) (adjacent v189 v190) (adjacent v191 v192) (adjacent v192 v193) (adjacent v193 v194) (adjacent v194 v195) (adjacent v195 v196) (adjacent v197 v198) (adjacent v198 v199) (adjacent v199 v200) (adjacent v200 v201) (adjacent v201 v202) (adjacent v204 v205) (adjacent v205 v206) (adjacent v206 v207) (adjacent v207 v208) (adjacent v209 v210) (adjacent v210 v211) (adjacent v211 v212) (adjacent v211 v272) (adjacent v212 v213) (adjacent v213 v214) (adjacent v214 v215) (adjacent v216 v217) (adjacent v217 v267) (adjacent v219 v220) (adjacent v220 v221) (adjacent v220 v280) (adjacent v221 v222) (adjacent v222 v223) (adjacent v224 v225) (adjacent v225 v226) (adjacent v227 v228) (adjacent v228 v229) (adjacent v229 v230) (adjacent v230 v231) (adjacent v231 v232) (adjacent v232 v233) (adjacent v234 v235) (adjacent v235 v236) (adjacent v236 v237) (adjacent v238 v239) (adjacent v239 v240) (adjacent v240 v241) (adjacent v241 v242) (adjacent v243 v244) (adjacent v244 v245) (adjacent v245 v246) (adjacent v246 v247) (adjacent v247 v248) (adjacent v248 v249) (adjacent v251 v252) (adjacent v252 v253) (adjacent v252 v263) (adjacent v253 v254) (adjacent v255 v256) (adjacent v256 v257) (adjacent v258 v259) (adjacent v259 v260) (adjacent v260 v261) (adjacent v261 v262) (adjacent v262 v263) (adjacent v264 v265) (adjacent v265 v266) (adjacent v267 v268) (adjacent v268 v269) (adjacent v268 v279) (adjacent v269 v270) (adjacent v270 v271) (adjacent v271 v272) (adjacent v273 v274) (adjacent v274 v275) (adjacent v275 v276) (adjacent v276 v277) (adjacent v277 v278) ) (:goal (and (free v0) (free v1) (at r275 v2) (free v3) (at r278 v4) (at r241 v5) (free v6) (free v7) (at r196 v8) (at r162 v9) (at r152 v10) (at r227 v11) (at r197 v12) (at r151 v13) (free v14) (at r161 v15) (free v16) (at r219 v17) (at r260 v18) (at r215 v19) (free v20) (free v21) (free v22) (at r184 v23) (at r223 v24) (at r237 v25) (at r136 v26) (at r247 v27) (at r141 v28) (at r230 v29) (free v30) (free v31) (free v32) (free v33) (free v34) (at r244 v35) (free v36) (at r194 v37) (at r159 v38) (free v39) (at r137 v40) (at r273 v41) (at r144 v42) (at r220 v43) (at r143 v44) (at r233 v45) (free v46) (at r181 v47) (at r222 v48) (at r239 v49) (free v50) (free v51) (free v52) (free v53) (free v54) (free v55) (at r232 v56) (at r182 v57) (at r236 v58) (at r191 v59) (free v60) (at r158 v61) (free v62) (at r238 v63) (free v64) (at r171 v65) (at r263 v66) (at r193 v67) (at r217 v68) (free v69) (at r218 v70) (free v71) (free v72) (free v73) (free v74) (at r225 v75) (at r199 v76) (free v77) (free v78) (free v79) (free v80) (at r252 v81) (at r165 v82) (at r254 v83) (at r274 v84) (free v85) (free v86) (at r190 v87) (free v88) (at r163 v89) (free v90) (free v91) (free v92) (at r142 v93) (at r229 v94) (at r242 v95) (free v96) (at r146 v97) (at r228 v98) (at r249 v99) (at r224 v100) (at r269 v101) (at r187 v102) (free v103) (free v104) (at r154 v105) (at r272 v106) (at r172 v107) (at r248 v108) (free v109) (free v110) (free v111) (at r179 v112) (at r149 v113) (at r195 v114) (free v115) (at r206 v116) (at r168 v117) (free v118) (at r188 v119) (free v120) (free v121) (free v122) (at r155 v123) (free v124) (at r213 v125) (at r153 v126) (at r148 v127) (free v128) (free v129) (at r150 v130) (at r147 v131) (free v132) (at r202 v133) (at r183 v134) (at r226 v135) (free v136) (at r264 v137) (at r160 v138) (at r175 v139) (at r221 v140) (at r204 v141) (at r166 v142) (at r177 v143) (free v144) (free v145) (free v146) (free v147) (at r258 v148) (at r262 v149) (at r189 v150) (free v151) (free v152) (at r205 v153) (at r276 v154) (at r145 v155) (free v156) (at r173 v157) (at r261 v158) (at r216 v159) (free v160) (free v161) (at r259 v162) (free v163) (at r167 v164) (at r267 v165) (free v166) (at r280 v167) (free v168) (free v169) (at r266 v170) (free v171) (free v172) (at r198 v173) (free v174) (at r234 v175) (at r192 v176) (at r211 v177) (free v178) (at r231 v179) (at r265 v180) (free v181) (free v182) (at r174 v183) (free v184) (free v185) (at r279 v186) (free v187) (free v188) (free v189) (at r201 v190) (at r156 v191) (free v192) (at r251 v193) (free v194) (at r270 v195) (at r186 v196) (free v197) (at r164 v198) (free v199) (free v200) (at r268 v201) (free v202) (free v203) (free v204) (at r212 v205) (free v206) (free v207) (free v208) (at r256 v209) (free v210) (free v211) (free v212) (at r207 v213) (at r210 v214) (free v215) (at r178 v216) (at r169 v217) (at r277 v218) (at r214 v219) (free v220) (at r138 v221) (free v222) (free v223) (free v224) (at r250 v225) (free v226) (at r203 v227) (free v228) (at r209 v229) (free v230) (free v231) (free v232) (at r176 v233) (at r245 v234) (free v235) (free v236) (free v237) (free v238) (at r140 v239) (free v240) (at r253 v241) (free v242) (at r170 v243) (free v244) (free v245) (at r208 v246) (free v247) (free v248) (at r255 v249) (at r246 v250) (free v251) (free v252) (free v253) (free v254) (free v255) (free v256) (at r271 v257) (free v258) (free v259) (free v260) (at r180 v261) (at r139 v262) (at r240 v263) (free v264) (free v265) (at r200 v266) (free v267) (free v268) (at r185 v269) (at r235 v270) (at r157 v271) (free v272) (free v273) (at r243 v274) (free v275) (free v276) (free v277) (at r257 v278) (free v279) (free v280) ) ) )