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