(define (problem multirobot_75_10%_c5) (:domain multirobot) (:objects v0 r261 v1 r212 v2 r234 v3 r196 v4 v5 r63 v6 r106 v7 r59 v8 r72 v9 r197 v10 r88 v11 r171 v12 r34 v13 r160 v14 v15 r78 v16 r251 v17 r246 v18 r75 v19 r279 v20 r61 v21 r101 v22 r240 v23 r83 v24 r149 v25 r239 v26 r262 v27 r139 v28 v29 r27 v30 r108 v31 r97 v32 r243 v33 r76 v34 r233 v35 r39 v36 r176 v37 r124 v38 r66 v39 r185 v40 r249 v41 v42 r132 v43 r199 v44 r241 v45 r40 v46 r86 v47 r245 v48 r131 v49 r203 v50 r125 v51 v52 r209 v53 r247 v54 r259 v55 r74 v56 r219 v57 r213 v58 r211 v59 r242 v60 r91 v61 r252 v62 r223 v63 r128 v64 r37 v65 r272 v66 r112 v67 r99 v68 v69 r47 v70 r275 v71 r161 v72 v73 r135 v74 r32 v75 r235 v76 r172 v77 r114 v78 r129 v79 r263 v80 r70 v81 r201 v82 r191 v83 v84 v85 r237 v86 r143 v87 r146 v88 r224 v89 r107 v90 r158 v91 r170 v92 r274 v93 r264 v94 r33 v95 r54 v96 r256 v97 r154 v98 r115 v99 r116 v100 r217 v101 r85 v102 r126 v103 r267 v104 r62 v105 r258 v106 v107 r142 v108 r140 v109 r207 v110 r105 v111 r151 v112 r165 v113 r82 v114 v115 r102 v116 v117 r123 v118 v119 r104 v120 r153 v121 r121 v122 r110 v123 r42 v124 r95 v125 r184 v126 r51 v127 r87 v128 r56 v129 v130 r93 v131 r118 v132 r73 v133 v134 r175 v135 r254 v136 r30 v137 r28 v138 r43 v139 r227 v140 r53 v141 r156 v142 r50 v143 r117 v144 r100 v145 r109 v146 r195 v147 r226 v148 v149 r81 v150 r194 v151 r90 v152 r215 v153 r270 v154 r148 v155 r94 v156 r189 v157 r192 v158 r179 v159 r265 v160 r98 v161 r48 v162 r232 v163 r206 v164 r58 v165 r248 v166 r103 v167 r44 v168 r250 v169 r210 v170 r134 v171 r277 v172 r60 v173 r271 v174 v175 r186 v176 r182 v177 r77 v178 v179 r269 v180 r278 v181 v182 r136 v183 r49 v184 r183 v185 r122 v186 r138 v187 r157 v188 r266 v189 r181 v190 v191 r145 v192 r35 v193 r159 v194 r147 v195 r144 v196 r280 v197 r113 v198 v199 r163 v200 r204 v201 r166 v202 r260 v203 r79 v204 r120 v205 r68 v206 r255 v207 r167 v208 r180 v209 r177 v210 r71 v211 r150 v212 r190 v213 r238 v214 r57 v215 v216 r64 v217 r45 v218 r111 v219 r152 v220 r193 v221 r214 v222 r52 v223 r69 v224 r208 v225 v226 r229 v227 r84 v228 r244 v229 r198 v230 r220 v231 r127 v232 r178 v233 r231 v234 r236 v235 r173 v236 r200 v237 r268 v238 r222 v239 r228 v240 r92 v241 r96 v242 r162 v243 r230 v244 v245 r257 v246 r55 v247 r187 v248 r155 v249 r67 v250 r38 v251 r216 v252 r164 v253 r273 v254 r130 v255 r46 v256 r188 v257 r221 v258 r218 v259 r276 v260 r168 v261 r253 v262 r137 v263 r36 v264 r225 v265 r202 v266 v267 r169 v268 r41 v269 r80 v270 v271 v272 r205 v273 r119 v274 r65 v275 r29 v276 r141 v277 r174 v278 r133 v279 r31 v280 r89 ) (:init (at r261 v0) (at r212 v1) (at r234 v2) (at r196 v3) (free v4) (at r63 v5) (at r106 v6) (at r59 v7) (at r72 v8) (at r197 v9) (at r88 v10) (at r171 v11) (at r34 v12) (at r160 v13) (free v14) (at r78 v15) (at r251 v16) (at r246 v17) (at r75 v18) (at r279 v19) (at r61 v20) (at r101 v21) (at r240 v22) (at r83 v23) (at r149 v24) (at r239 v25) (at r262 v26) (at r139 v27) (free v28) (at r27 v29) (at r108 v30) (at r97 v31) (at r243 v32) (at r76 v33) (at r233 v34) (at r39 v35) (at r176 v36) (at r124 v37) (at r66 v38) (at r185 v39) (at r249 v40) (free v41) (at r132 v42) (at r199 v43) (at r241 v44) (at r40 v45) (at r86 v46) (at r245 v47) (at r131 v48) (at r203 v49) (at r125 v50) (free v51) (at r209 v52) (at r247 v53) (at r259 v54) (at r74 v55) (at r219 v56) (at r213 v57) (at r211 v58) (at r242 v59) (at r91 v60) (at r252 v61) (at r223 v62) (at r128 v63) (at r37 v64) (at r272 v65) (at r112 v66) (at r99 v67) (free v68) (at r47 v69) (at r275 v70) (at r161 v71) (free v72) (at r135 v73) (at r32 v74) (at r235 v75) (at r172 v76) (at r114 v77) (at r129 v78) (at r263 v79) (at r70 v80) (at r201 v81) (at r191 v82) (free v83) (free v84) (at r237 v85) (at r143 v86) (at r146 v87) (at r224 v88) (at r107 v89) (at r158 v90) (at r170 v91) (at r274 v92) (at r264 v93) (at r33 v94) (at r54 v95) (at r256 v96) (at r154 v97) (at r115 v98) (at r116 v99) (at r217 v100) (at r85 v101) (at r126 v102) (at r267 v103) (at r62 v104) (at r258 v105) (free v106) (at r142 v107) (at r140 v108) (at r207 v109) (at r105 v110) (at r151 v111) (at r165 v112) (at r82 v113) (free v114) (at r102 v115) (free v116) (at r123 v117) (free v118) (at r104 v119) (at r153 v120) (at r121 v121) (at r110 v122) (at r42 v123) (at r95 v124) (at r184 v125) (at r51 v126) (at r87 v127) (at r56 v128) (free v129) (at r93 v130) (at r118 v131) (at r73 v132) (free v133) (at r175 v134) (at r254 v135) (at r30 v136) (at r28 v137) (at r43 v138) (at r227 v139) (at r53 v140) (at r156 v141) (at r50 v142) (at r117 v143) (at r100 v144) (at r109 v145) (at r195 v146) (at r226 v147) (free v148) (at r81 v149) (at r194 v150) (at r90 v151) (at r215 v152) (at r270 v153) (at r148 v154) (at r94 v155) (at r189 v156) (at r192 v157) (at r179 v158) (at r265 v159) (at r98 v160) (at r48 v161) (at r232 v162) (at r206 v163) (at r58 v164) (at r248 v165) (at r103 v166) (at r44 v167) (at r250 v168) (at r210 v169) (at r134 v170) (at r277 v171) (at r60 v172) (at r271 v173) (free v174) (at r186 v175) (at r182 v176) (at r77 v177) (free v178) (at r269 v179) (at r278 v180) (free v181) (at r136 v182) (at r49 v183) (at r183 v184) (at r122 v185) (at r138 v186) (at r157 v187) (at r266 v188) (at r181 v189) (free v190) (at r145 v191) (at r35 v192) (at r159 v193) (at r147 v194) (at r144 v195) (at r280 v196) (at r113 v197) (free v198) (at r163 v199) (at r204 v200) (at r166 v201) (at r260 v202) (at r79 v203) (at r120 v204) (at r68 v205) (at r255 v206) (at r167 v207) (at r180 v208) (at r177 v209) (at r71 v210) (at r150 v211) (at r190 v212) (at r238 v213) (at r57 v214) (free v215) (at r64 v216) (at r45 v217) (at r111 v218) (at r152 v219) (at r193 v220) (at r214 v221) (at r52 v222) (at r69 v223) (at r208 v224) (free v225) (at r229 v226) (at r84 v227) (at r244 v228) (at r198 v229) (at r220 v230) (at r127 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) (at r92 v240) (at r96 v241) (at r162 v242) (at r230 v243) (free v244) (at r257 v245) (at r55 v246) (at r187 v247) (at r155 v248) (at r67 v249) (at r38 v250) (at r216 v251) (at r164 v252) (at r273 v253) (at r130 v254) (at r46 v255) (at r188 v256) (at r221 v257) (at r218 v258) (at r276 v259) (at r168 v260) (at r253 v261) (at r137 v262) (at r36 v263) (at r225 v264) (at r202 v265) (free v266) (at r169 v267) (at r41 v268) (at r80 v269) (free v270) (free v271) (at r205 v272) (at r119 v273) (at r65 v274) (at r29 v275) (at r141 v276) (at r174 v277) (at r133 v278) (at r31 v279) (at r89 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 (at r111 v0) (at r58 v1) (at r275 v2) (at r92 v3) (at r278 v4) (at r241 v5) (at r65 v6) (at r59 v7) (at r196 v8) (at r162 v9) (at r152 v10) (at r227 v11) (at r197 v12) (at r151 v13) (at r73 v14) (at r161 v15) (at r56 v16) (at r219 v17) (at r260 v18) (at r215 v19) (free v20) (at r78 v21) (at r74 v22) (at r184 v23) (at r223 v24) (at r237 v25) (at r136 v26) (at r247 v27) (at r141 v28) (at r230 v29) (free v30) (at r130 v31) (at r33 v32) (at r62 v33) (at r84 v34) (at r244 v35) (at r83 v36) (at r194 v37) (at r159 v38) (at r70 v39) (at r137 v40) (at r273 v41) (at r144 v42) (at r220 v43) (at r143 v44) (at r233 v45) (at r112 v46) (at r181 v47) (at r222 v48) (at r239 v49) (at r34 v50) (at r105 v51) (at r134 v52) (at r106 v53) (free v54) (free v55) (at r232 v56) (at r182 v57) (at r236 v58) (at r191 v59) (at r132 v60) (at r158 v61) (free v62) (at r238 v63) (at r46 v64) (at r171 v65) (at r263 v66) (at r193 v67) (at r217 v68) (at r133 v69) (at r218 v70) (at r86 v71) (at r41 v72) (free v73) (at r42 v74) (at r225 v75) (at r199 v76) (free v77) (at r125 v78) (at r72 v79) (at r128 v80) (at r252 v81) (at r165 v82) (at r254 v83) (at r274 v84) (at r82 v85) (at r69 v86) (at r190 v87) (free v88) (at r163 v89) (free v90) (at r95 v91) (at r109 v92) (at r142 v93) (at r229 v94) (at r242 v95) (at r119 v96) (at r146 v97) (at r228 v98) (at r249 v99) (at r224 v100) (at r269 v101) (at r187 v102) (at r61 v103) (at r116 v104) (at r154 v105) (at r272 v106) (at r172 v107) (at r248 v108) (at r48 v109) (at r47 v110) (at r54 v111) (at r179 v112) (at r149 v113) (at r195 v114) (at r37 v115) (at r206 v116) (at r168 v117) (free v118) (at r188 v119) (at r100 v120) (at r114 v121) (at r64 v122) (at r155 v123) (free v124) (at r213 v125) (at r153 v126) (at r148 v127) (at r113 v128) (at r127 v129) (at r150 v130) (at r147 v131) (at r30 v132) (at r202 v133) (at r183 v134) (at r226 v135) (at r27 v136) (at r264 v137) (at r160 v138) (at r175 v139) (at r221 v140) (at r204 v141) (at r166 v142) (at r177 v143) (at r129 v144) (free v145) (free v146) (at r52 v147) (at r258 v148) (at r262 v149) (at r189 v150) (free v151) (at r90 v152) (at r205 v153) (at r276 v154) (at r145 v155) (at r63 v156) (at r173 v157) (at r261 v158) (at r216 v159) (free v160) (at r101 v161) (at r259 v162) (at r88 v163) (at r167 v164) (at r267 v165) (at r60 v166) (at r280 v167) (at r80 v168) (at r89 v169) (at r266 v170) (at r99 v171) (at r76 v172) (at r198 v173) (free v174) (at r234 v175) (at r192 v176) (at r211 v177) (at r45 v178) (at r231 v179) (at r265 v180) (at r117 v181) (at r124 v182) (at r174 v183) (at r28 v184) (at r131 v185) (at r279 v186) (at r29 v187) (at r110 v188) (free v189) (at r201 v190) (at r156 v191) (free v192) (at r251 v193) (at r91 v194) (at r270 v195) (at r186 v196) (at r57 v197) (at r164 v198) (at r71 v199) (at r104 v200) (at r268 v201) (at r120 v202) (free v203) (at r96 v204) (at r212 v205) (at r39 v206) (at r81 v207) (at r102 v208) (at r256 v209) (at r36 v210) (free v211) (at r103 v212) (at r207 v213) (at r210 v214) (at r40 v215) (at r178 v216) (at r169 v217) (at r277 v218) (at r214 v219) (free v220) (at r138 v221) (free v222) (at r31 v223) (at r87 v224) (at r250 v225) (at r55 v226) (at r203 v227) (at r126 v228) (at r209 v229) (at r79 v230) (at r108 v231) (at r123 v232) (at r176 v233) (at r245 v234) (at r115 v235) (free v236) (at r32 v237) (at r121 v238) (at r140 v239) (at r94 v240) (at r253 v241) (at r93 v242) (at r170 v243) (at r118 v244) (at r51 v245) (at r208 v246) (at r122 v247) (free v248) (at r255 v249) (at r246 v250) (at r97 v251) (at r43 v252) (at r135 v253) (at r68 v254) (at r66 v255) (at r77 v256) (at r271 v257) (at r50 v258) (at r98 v259) (at r67 v260) (at r180 v261) (at r139 v262) (at r240 v263) (free v264) (at r35 v265) (at r200 v266) (free v267) (at r38 v268) (at r185 v269) (at r235 v270) (at r157 v271) (at r53 v272) (at r75 v273) (at r243 v274) (at r49 v275) (free v276) (at r85 v277) (at r257 v278) (at r44 v279) (at r107 v280) ) ) )