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