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