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