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