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