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