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