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