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