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