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