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