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