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