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