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