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