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