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